Index: head/math/cryptominisat/Makefile =================================================================== --- head/math/cryptominisat/Makefile (revision 541756) +++ head/math/cryptominisat/Makefile (revision 541757) @@ -1,27 +1,26 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.8 -PORTREVISION= 6 +DISTVERSION= 5.7.1 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org COMMENT= General-purpose award-winning SAT solver LICENSE= MIT LGPL21 LICENSE_COMB= multi LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt LIB_DEPENDS= libboost_program_options.so:devel/boost-libs USES= cmake compiler:c++11-lib USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= msoos CMAKE_ON= NOM4RI CMAKE_OFF= ENABLE_PYTHON_INTERFACE .include Index: head/math/cryptominisat/distinfo =================================================================== --- head/math/cryptominisat/distinfo (revision 541756) +++ head/math/cryptominisat/distinfo (revision 541757) @@ -1,3 +1,3 @@ -TIMESTAMP = 1550904410 -SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55 -SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037 +TIMESTAMP = 1594302622 +SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e +SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748 Index: head/math/cryptominisat/pkg-plist =================================================================== --- head/math/cryptominisat/pkg-plist (revision 541756) +++ head/math/cryptominisat/pkg-plist (revision 541757) @@ -1,12 +1,12 @@ bin/cryptominisat5 bin/cryptominisat5_simple include/cryptominisat5/cryptominisat.h include/cryptominisat5/cryptominisat_c.h include/cryptominisat5/dimacsparser.h include/cryptominisat5/solvertypesmini.h include/cryptominisat5/streambuffer.h lib/cmake/cryptominisat5/cryptominisat5Config.cmake lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/cryptominisat5/cryptominisat5Targets.cmake lib/libcryptominisat5.so -lib/libcryptominisat5.so.5.6 +lib/libcryptominisat5.so.5.7 Index: head/math/cvc4/Makefile =================================================================== --- head/math/cvc4/Makefile (revision 541756) +++ head/math/cvc4/Makefile (revision 541757) @@ -1,98 +1,98 @@ # $FreeBSD$ PORTNAME= cvc4 DISTVERSION= 1.7 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= math java MASTER_SITES+= http://www.antlr3.org/download/:antlr3 DISTFILES+= antlr-3.4-complete.jar:antlr3 EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ PATCHFILES+= fc8907afc08d.patch:-p1 # Install Java bindings MAINTAINER= greg@unrelenting.technology COMMENT= Automatic theorem prover for SMT (Satisfiability Modulo Theories) LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= bash:shells/bash LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ libboost_system.so:devel/boost-libs USES= cmake ncurses compiler:c++17-lang \ pkgconfig python:3.5+,build shebangfix SHEBANG_FILES= src/base/mktagheaders \ src/base/mktags USE_GITHUB= yes GH_ACCOUNT= CVC4 GH_PROJECT= CVC4 USE_JAVA= yes JAVA_BUILD= yes USE_LDCONFIG= yes CMAKE_BUILD_TYPE= Production CMAKE_ARGS+= -DANTLR_BINARY=${WRKDIR}/antlr3 OPTIONS_DEFINE= CRYPTOMINISAT JAVA PYTHON READLINE OPTIONS_RADIO= NUMLIB OPTIONS_RADIO_NUMLIB= GMP CLN OPTIONS_DEFAULT= CRYPTOMINISAT JAVA PYTHON READLINE GMP OPTIONS_SUB= yes CRYPTOMINISAT_DESC= Use CryptoMiniSat as the SAT solver GMP_DESC= Use GMP numeric library CLN_DESC= Use CLN numeric library (disables portfolio mode) 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 PYTHON_CMAKE_BOOL= BUILD_BINDINGS_PYTHON USE_PYTHON3 PYTHON_BUILD_DEPENDS= swig:devel/swig READLINE_CMAKE_BOOL= USE_READLINE READLINE_USES= readline:port GMP_CMAKE_BOOL= ENABLE_PORTFOLIO GMP_CMAKE_ON= -DENABLE_DUMPING=OFF GMP_LIB_DEPENDS= libgmp.so:math/gmp \ libboost_thread.so:devel/boost-libs # note: CVC4 already depends on boost-libs, so portfolio mode is "free" in terms of pkg dependencies CLN_CMAKE_BOOL= USE_CLN CLN_LIB_DEPENDS= libcln.so:math/cln \ libgmp.so:math/gmp .include .if ${PORT_OPTIONS:MREADLINE} || ${PORT_OPTIONS:MCLN} LICENSE= GPLv3 CMAKE_ARGS+= -DENABLE_GPL:BOOL=ON .endif post-extract: @${CP} ${DISTDIR}/antlr-3.4-complete.jar ${WRKDIR}/antlr3.jar @${ECHO_CMD} "#!/bin/sh" > ${WRKDIR}/antlr3 @${ECHO_CMD} "exec \"${LOCALBASE}/bin/java\" -classpath \"${WRKDIR}/antlr3.jar\" org.antlr.Tool \"\$$@\"" >> ${WRKDIR}/antlr3 @${CHMOD} +x ${WRKDIR}/antlr3 post-patch: @${REINPLACE_CMD} -e "s|sed -i 's|sed -i '' 's|g" \ ${WRKSRC}/src/fix-install-headers.sh # make a relative symlink instead of absolute to build dir post-install-JAVA-on: @${LN} -sf CVC4-1.7.0.jar ${STAGEDIR}${PREFIX}/share/java/cvc4/CVC4.jar .include Index: head/math/py-cryptominisat/Makefile =================================================================== --- head/math/py-cryptominisat/Makefile (revision 541756) +++ head/math/py-cryptominisat/Makefile (revision 541757) @@ -1,41 +1,40 @@ # $FreeBSD$ PORTNAME= cryptominisat -DISTVERSION= 5.6.8 -PORTREVISION= 1 +DISTVERSION= 5.7.1 CATEGORIES= math python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= arrowd@FreeBSD.org COMMENT= Bindings to CryptoMiniSat (a SAT solver) LICENSE= MIT LGPL21 LICENSE_COMB= multi LICENSE_FILE_LGPL21= ${WRKSRC}/../LICENSE.txt LICENSE_FILE_MIT= ${WRKSRC}/../LICENSE.txt LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat USES= compiler:c++11-lib python USE_PYTHON= autoplist distutils USE_GITHUB= yes GH_ACCOUNT= msoos WRKSRC_SUBDIR= python post-patch: ${REINPLACE_CMD} -e 's|@PROJECT_VERSION@|${PORTVERSION}|' \ -e 's|$${CMAKE_C_COMPILER}|${CC}|' \ -e 's|$${CMAKE_CXX_COMPILER}|${CXX}|' \ -e 's|$${PY_C_CONFIG}||' \ -e 's|$${PY_LD_CONFIG}||' \ -e 's|$${CMS_FULL_VERSION}|${PORTVERSION}|' \ -e 's|$${APPLE}||' ${WRKSRC}/setup.py.in ${CP} ${WRKSRC}/setup.py.in ${WRKSRC}/setup.py ${CP} ${WRKSRC}/src/pycryptosat.cpp.in ${WRKSRC}/src/pycryptosat.cpp post-install: ${STRIP_CMD} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/pycryptosat.so .include Index: head/math/py-cryptominisat/distinfo =================================================================== --- head/math/py-cryptominisat/distinfo (revision 541756) +++ head/math/py-cryptominisat/distinfo (revision 541757) @@ -1,3 +1,3 @@ -TIMESTAMP = 1550905881 -SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55 -SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037 +TIMESTAMP = 1594302755 +SHA256 (msoos-cryptominisat-5.7.1_GH0.tar.gz) = d09f118a3d4392e3352a6285f600a5897e301b186a764404a37a911f4d91528e +SIZE (msoos-cryptominisat-5.7.1_GH0.tar.gz) = 882748 Index: head/math/stp/Makefile =================================================================== --- head/math/stp/Makefile (revision 541756) +++ head/math/stp/Makefile (revision 541757) @@ -1,27 +1,27 @@ # Created by: Li-Wen Hsu # $FreeBSD$ PORTNAME= stp DISTVERSION= 2.3.3 -PORTREVISION= 5 +PORTREVISION= 6 PORTEPOCH= 1 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org COMMENT= Decision Procedure for Bitvectors and Arrays LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE BROKEN_aarch64= fails to compile: undefined reference to sbrk LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ libminisat.so:math/minisat \ libcryptominisat5.so:math/cryptominisat USES= bison:build compiler:c++11-lang cmake perl5 python USE_GITHUB= yes USE_PERL5= build USE_LDCONFIG= yes .include Index: head/security/klee/Makefile =================================================================== --- head/security/klee/Makefile (revision 541756) +++ head/security/klee/Makefile (revision 541757) @@ -1,48 +1,49 @@ # $FreeBSD$ PORTNAME= klee DISTVERSIONPREFIX= v DISTVERSION= 2.1 +PORTREVISION= 1 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org COMMENT= Symbolic virtual machine built on top of LLVM LICENSE= NCSA LICENSE_FILE= ${WRKSRC}/LICENSE.TXT BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ gmake:devel/gmake # Should be a LIB_DEPEND, but hard to express in a generic manner RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} USES= cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run \ shebangfix sqlite USE_GITHUB= yes SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool USE_LDCONFIG= yes CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \ -DMAKE_BINARY=${LOCALBASE}/bin/gmake # TODO METASMT OPTIONS_DEFINE= TCMALLOC Z3 STP OPTIONS_DEFAULT= TCMALLOC Z3 STP TCMALLOC_DESC= Use tcmalloc library for memory management TCMALLOC_CMAKE_BOOL= ENABLE_TCMALLOC TCMALLOC_LIB_DEPENDS= libtcmalloc.so:devel/google-perftools Z3_DESC= Enable Z3 SMT solver Z3_CMAKE_BOOL= ENABLE_SOLVER_Z3 Z3_BUILD_DEPENDS= z3:math/z3 Z3_RUN_DEPENDS= z3:math/z3 STP_DESC= Enable STP SMT solver STP_CMAKE_BOOL= ENABLE_SOLVER_STP STP_BUILD_DEPENDS= stp>0:math/stp STP_LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat .include