mirror of
https://git.freebsd.org/ports.git
synced 2025-07-17 17:29:23 -04:00
math/cvc5: Update 1.0.3 → 1.0.4
This commit is contained in:
Yuri Victorovich
parent
5b60223403
commit
7c8a6b010b
3 changed files with 47 additions and 32 deletions
|
|
@ -1,7 +1,6 @@
|
|||
PORTNAME= cvc5
|
||||
DISTVERSIONPREFIX= cvc5-
|
||||
DISTVERSION= 1.0.3
|
||||
PORTREVISION= 1
|
||||
DISTVERSION= 1.0.4
|
||||
CATEGORIES= math java
|
||||
MASTER_SITES+= http://www.antlr3.org/download/:antlr3
|
||||
DISTFILES+= antlr-3.4-complete.jar:antlr3
|
||||
|
|
@ -17,11 +16,12 @@ LICENSE_FILE= ${WRKSRC}/COPYING
|
|||
BUILD_DEPENDS= bash:shells/bash \
|
||||
${LOCALBASE}/lib/libcadical.a:math/cadical \
|
||||
${LOCALBASE}/lib/symfpu.a:math/symfpu \
|
||||
${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR}
|
||||
${PYTHON_PKGNAMEPREFIX}toml>0:textproc/py-toml@${PY_FLAVOR} \
|
||||
${PYTHON_PKGNAMEPREFIX}pyparsing>0:devel/py-pyparsing@${PY_FLAVOR}
|
||||
LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \
|
||||
libboost_system.so:devel/boost-libs
|
||||
|
||||
USES= cmake ncurses compiler:c++17-lang \
|
||||
USES= cmake:testing ncurses compiler:c++17-lang \
|
||||
localbase:ldflags pkgconfig python:3.5+,build
|
||||
USE_LDCONFIG= yes
|
||||
USE_GITHUB= yes
|
||||
|
|
@ -31,39 +31,54 @@ JAVA_BUILD= yes
|
|||
|
||||
CMAKE_BUILD_TYPE= Production
|
||||
CMAKE_ARGS+= -DANTLR_BINARY=${WRKDIR}/antlr3 \
|
||||
-DFREEBSD_DISTDIR=${DISTDIR}
|
||||
-DFREEBSD_DISTDIR=${DISTDIR} \
|
||||
-DPython_EXECUTABLE:STRING=${PYTHON_CMD}
|
||||
CMAKE_ON= BUILD_SHARED_LIBS
|
||||
CMAKE_OFF= BUILD_BINDINGS_PYTHON USE_PYTHON3 # Python binding should be a separate port
|
||||
CMAKE_TESTING_ON= ENABLE_UNIT_TESTING
|
||||
|
||||
OPTIONS_DEFINE= CRYPTOMINISAT JAVA EDITLINE
|
||||
OPTIONS_RADIO= NUMLIB
|
||||
OPTIONS_RADIO_NUMLIB= GMP CLN
|
||||
OPTIONS_DEFAULT= CRYPTOMINISAT JAVA EDITLINE GMP
|
||||
OPTIONS_SUB= yes
|
||||
OPTIONS_DEFINE= JAVA EDITLINE # COCOALIB
|
||||
OPTIONS_GROUP= SOLVERS
|
||||
OPTIONS_GROUP_SOLVERS= CRYPTOMINISAT KISSAT
|
||||
OPTIONS_RADIO= NUMLIB
|
||||
OPTIONS_RADIO_NUMLIB= GMP CLN
|
||||
OPTIONS_DEFAULT= COCOALIB CRYPTOMINISAT JAVA EDITLINE GMP # KISSAT
|
||||
OPTIONS_SUB= yes
|
||||
|
||||
CRYPTOMINISAT_DESC= Use CryptoMiniSat as the SAT solver
|
||||
COCOALIB_DESC= Use CoCoALib for further polynomial operations
|
||||
COCOALIB_CMAKE_BOOL= USE_COCOA
|
||||
COCOALIB_BROKEN= fails to compile with cocoalib, see https://github.com/cvc5/cvc5/issues/9484
|
||||
|
||||
JAVA_CMAKE_BOOL= BUILD_BINDINGS_JAVA
|
||||
JAVA_CMAKE_ON= -DJAVA_INCLUDE_PATH:PATH=${JAVA_HOME}/include \
|
||||
-DJAVA_AWT_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ARCH}/libjawt.so \
|
||||
-DJAVA_JVM_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ATCH}/libjava.so
|
||||
JAVA_BUILD_DEPENDS= swig:devel/swig
|
||||
|
||||
EDITLINE_DESC= Use Editline for better interactive support
|
||||
EDITLINE_CMAKE_BOOL= USE_EDITLINE
|
||||
EDITLINE_BUILD_DEPENDS= libedit>0:devel/libedit
|
||||
EDITLINE_RUN_DEPENDS= libedit>0:devel/libedit
|
||||
|
||||
# SOLVERS options
|
||||
|
||||
CRYPTOMINISAT_DESC= Use CryptoMiniSat as the SAT solver
|
||||
CRYPTOMINISAT_CMAKE_BOOL= USE_CRYPTOMINISAT
|
||||
CRYPTOMINISAT_LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat
|
||||
|
||||
JAVA_CMAKE_BOOL= BUILD_BINDINGS_JAVA
|
||||
JAVA_CMAKE_ON= -DJAVA_INCLUDE_PATH:PATH=${JAVA_HOME}/include \
|
||||
-DJAVA_AWT_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ARCH}/libjawt.so \
|
||||
-DJAVA_JVM_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ATCH}/libjava.so
|
||||
JAVA_BUILD_DEPENDS= swig:devel/swig
|
||||
KISSAT_DESC= Use Kissat solver
|
||||
KISSAT_CMAKE_BOOL= USE_KISSAT
|
||||
KISSAT_BROKEN= fails to link with libkissat.so, see https://github.com/cvc5/cvc5/issues/9483
|
||||
|
||||
EDITLINE_DESC= Use Editline for better interactive support
|
||||
EDITLINE_CMAKE_BOOL= USE_EDITLINE
|
||||
EDITLINE_BUILD_DEPENDS= libedit>0:devel/libedit
|
||||
EDITLINE_RUN_DEPENDS= libedit>0:devel/libedit
|
||||
# NUMLIB options
|
||||
|
||||
GMP_DESC= Use GMP numeric library
|
||||
GMP_LIB_DEPENDS= libgmp.so:math/gmp
|
||||
GMP_DESC= Use GMP numeric library
|
||||
GMP_LIB_DEPENDS= libgmp.so:math/gmp
|
||||
|
||||
CLN_DESC= Use CLN numeric library
|
||||
CLN_CMAKE_BOOL= USE_CLN
|
||||
CLN_LIB_DEPENDS= libcln.so:math/cln \
|
||||
libgmp.so:math/gmp
|
||||
CLN_DESC= Use CLN numeric library
|
||||
CLN_CMAKE_BOOL= USE_CLN
|
||||
CLN_LIB_DEPENDS= libcln.so:math/cln \
|
||||
libgmp.so:math/gmp
|
||||
|
||||
.include <bsd.port.options.mk>
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,5 @@
|
|||
TIMESTAMP = 1672779263
|
||||
TIMESTAMP = 1675723547
|
||||
SHA256 (antlr-3.4-complete.jar) = 9d3e866b610460664522520f73b81777b5626fb0a282a5952b9800b751550bf7
|
||||
SIZE (antlr-3.4-complete.jar) = 2388361
|
||||
SHA256 (cvc5-cvc5-cvc5-1.0.3_GH0.tar.gz) = bf787b74c35ef61958865902e21dcb8f98f79d910b00a9e762a00ff8fcd2c462
|
||||
SIZE (cvc5-cvc5-cvc5-1.0.3_GH0.tar.gz) = 8335175
|
||||
SHA256 (fc8907afc08d.patch) = dfb42f7c9fbc4091d21ce4804f11c72945ccc9131f3d79dbc275fd9238ff55d4
|
||||
SIZE (fc8907afc08d.patch) = 1156
|
||||
SHA256 (cvc5-cvc5-cvc5-1.0.4_GH0.tar.gz) = b9cc1924fcbc289a5855967cb1528deac857b9aa8f71847483eb2f58370d70d2
|
||||
SIZE (cvc5-cvc5-cvc5-1.0.4_GH0.tar.gz) = 8409826
|
||||
|
|
|
|||
|
|
@ -2,6 +2,7 @@ bin/cvc5
|
|||
include/cvc5/cvc5.h
|
||||
include/cvc5/cvc5_export.h
|
||||
include/cvc5/cvc5_kind.h
|
||||
include/cvc5/cvc5_sort_kind.h
|
||||
include/cvc5/cvc5_types.h
|
||||
lib/cmake/cvc5/cvc5Config.cmake
|
||||
lib/cmake/cvc5/cvc5ConfigVersion.cmake
|
||||
|
|
@ -9,8 +10,9 @@ lib/cmake/cvc5/cvc5JavaTargets.cmake
|
|||
lib/cmake/cvc5/cvc5Targets-%%CMAKE_BUILD_TYPE%%.cmake
|
||||
lib/cmake/cvc5/cvc5Targets.cmake
|
||||
lib/libcvc5.so
|
||||
lib/libcvc5.so.1
|
||||
%%JAVA%%lib/libcvc5jni.so
|
||||
lib/libcvc5parser.so
|
||||
lib/libcvc5parser.so.1
|
||||
%%JAVA%%%%JAVASHAREDIR%%/cvc5-1.0.3.jar
|
||||
%%JAVA%%%%JAVASHAREDIR%%/cvc5-1.0.4.jar
|
||||
%%JAVA%%%%JAVASHAREDIR%%/cvc5.jar
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue