FreeBSD/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00
Code Issues Projects Releases Wiki Activity

math/cvc5: update 1.3.3 → 1.3.4

Browse Source
This commit is contained in:
Yuri Victorovich
2026-05-08 21:41:26 -07:00
parent 041d4f914e
commit ab3906f04f
3 changed files with 13 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/cvc5/Makefile
+7 -7
View File
@@ -1,6 +1,6 @@
PORTNAME= cvc5
DISTVERSIONPREFIX= cvc5-
DISTVERSION= 1.3.3
DISTVERSION= 1.3.4
CATEGORIES= math java
EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX}
@@ -44,19 +44,20 @@ OPTIONS_GROUP= SOLVERS
OPTIONS_GROUP_SOLVERS= CRYPTOMINISAT KISSAT
OPTIONS_RADIO= NUMLIB
OPTIONS_RADIO_NUMLIB= GMP CLN
OPTIONS_DEFAULT= CRYPTOMINISAT EDITLINE GMP KISSAT # COCOALIB GLPK JAVA POLY are broken
OPTIONS_DEFAULT= CRYPTOMINISAT EDITLINE JAVA GMP POLY KISSAT # COCOALIB requires patched version, GLPK requires patched version
OPTIONS_SUB= yes
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
#COCOALIB_BROKEN= fails to compile with cocoalib, see https://github.com/cvc5/cvc5/issues/9484
JAVA_USES= java
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
-DJAVA_JVM_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ARCH}/libjava.so
JAVA_BUILD_DEPENDS= swig:devel/swig
JAVA_BROKEN= compilation fails: error: unmappable character for encoding ASCII, see https://github.com/cvc5/cvc5/issues/11145
#JAVA_BROKEN= compilation fails: error: unmappable character for encoding ASCII, see https://github.com/cvc5/cvc5/issues/11145
EDITLINE_DESC= Use Editline for better interactive support
EDITLINE_CMAKE_BOOL= USE_EDITLINE
@@ -66,7 +67,6 @@ EDITLINE_RUN_DEPENDS= libedit>0:devel/libedit
POLY_DESC= Use LibPoly for polynomial arithmetic
POLY_CMAKE_BOOL= USE_POLY
POLY_LIB_DEPENDS= libpoly.so:math/libpoly
POLY_BROKEN= compilation fails with libpoly API mismatch, see poly_conversion.cpp:250
# SOLVERS options
@@ -102,6 +102,6 @@ CMAKE_ARGS+= -DENABLE_GPL:BOOL=ON
PORTSCOUT= limit:^[1-9]\.[0-9]+\.[0-9]+ # prevent older generation versions like 1.8, 1.7, etc.
# tests as of 1.3.3: 100% tests passed, 0 tests failed out of 4177
# tests as of 1.3.4: 99% tests passed, 6 tests failed out of 4241, see https://github.com/cvc5/cvc5/issues/12662
.include <bsd.port.mk>
math/cvc5/distinfo
+3 -3
View File
@@ -1,3 +1,3 @@
TIMESTAMP = 1772349925
SHA256 (cvc5-cvc5-cvc5-1.3.3_GH0.tar.gz) = 7eeeb65a6c5bfe985a6b3fc7938b87709bbc0e3f72d661b1d0587d4173ad9b33
SIZE (cvc5-cvc5-cvc5-1.3.3_GH0.tar.gz) = 9241613
TIMESTAMP = 1778282554
SHA256 (cvc5-cvc5-cvc5-1.3.4_GH0.tar.gz) = 40e7a0d311ebd583972f412701a0f4bc325632bab74ca25f407b3acbb66db44e
SIZE (cvc5-cvc5-cvc5-1.3.4_GH0.tar.gz) = 9271118
math/cvc5/pkg-plist
+3
View File
@@ -10,12 +10,15 @@ include/cvc5/cvc5_skolem_id.h
include/cvc5/cvc5_types.h
lib/cmake/cvc5/cvc5Config.cmake
lib/cmake/cvc5/cvc5ConfigVersion.cmake
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
lib/libcvc5.so.%%VERSION%%
%%JAVA%%lib/libcvc5jni.so
lib/libcvc5parser.so
lib/libcvc5parser.so.1
lib/libcvc5parser.so.%%VERSION%%
%%JAVA%%%%JAVASHAREDIR%%/cvc5-%%VERSION%%.jar
%%JAVA%%%%JAVASHAREDIR%%/cvc5.jar