diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-01-04 07:36:44 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-01-04 10:51:59 +0000 |
| commit | 9e836ff24463fa1e19ed2a9647d893c22e4b6617 (patch) | |
| tree | 0b3bc089e2cb185b30b58ac530cf5899d3e8490f /math/boolector | |
| parent | 23e9c273cdbdcb0e9fffeed64792d58d6a1782f8 (diff) | |
| download | ports-9e836ff24463fa1e19ed2a9647d893c22e4b6617.tar.gz ports-9e836ff24463fa1e19ed2a9647d893c22e4b6617.zip | |
Diffstat (limited to 'math/boolector')
| -rw-r--r-- | math/boolector/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/math/boolector/Makefile b/math/boolector/Makefile index ee58bfb36d0c..419bf7877c46 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -1,5 +1,6 @@ PORTNAME= boolector DISTVERSION= 3.2.2 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -9,10 +10,13 @@ WWW= https://boolector.github.io/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/COPYING -BUILD_DEPENDS= cadical>0:math/cadical +BUILD_DEPENDS= ${LOCALBASE}/lib/libcadical.a:math/cadical \ + ${LOCALBASE}/lib/liblgl.a:math/lingeling LIB_DEPENDS= libbtor2parser.so:math/btor2tools \ + libcryptominisat5.so:math/cryptominisat \ libminisat.so:math/minisat \ - libpicosat.so:math/picosat + libpicosat.so:math/picosat \ + libgmp.so:math/gmp TEST_DEPENDS= bash:shells/bash USES= cmake:noninja compiler:c++11-lang cpe python:test # ninja fails to build tests @@ -22,7 +26,9 @@ CPE_VENDOR= boolector_project USE_GITHUB= yes GH_ACCOUNT= Boolector -CMAKE_ON= BUILD_SHARED_LIBS +CMAKE_ON= BUILD_SHARED_LIBS \ + USE_GMP +CMAKE_ARGS= -DCaDiCaL_INCLUDE_DIR=${LOCALBASE}/include do-test: @${FIND} ${WRKDIR} -name "*.py" \ |