blob: 2450bea7df9437d6f1096d2b4a280c08d0aac4a3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
PORTNAME= boolector
DISTVERSION= 3.2.4
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Satisfiability Modulo Theories (SMT) solver
WWW= https://boolector.github.io/
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= ${LOCALBASE}/lib/liblgl.a:math/lingeling
LIB_DEPENDS= libbtor2parser.so:math/btor2tools \
libcadical.so:math/cadical \
libcryptominisat5.so:math/cryptominisat \
libminisat.so:math/minisat \
libpicosat.so:math/picosat \
libgmp.so:math/gmp
TEST_DEPENDS= bash:shells/bash
USES= cmake:noninja,testing compiler:c++11-lang cpe python:build,test shebangfix
CPE_VENDOR= boolector_project
USE_GITHUB= yes
GH_ACCOUNT= Boolector
SHEBANG_GLOB= *.sh
CMAKE_ON= BUILD_SHARED_LIBS \
USE_GMP
CMAKE_OFF= TESTING
CMAKE_TESTING_ON= TESTING # 1 test hangs, see https://github.com/Boolector/boolector/issues/227
CMAKE_ARGS= -DCaDiCaL_INCLUDE_DIR=${LOCALBASE}/include
BINARY_ALIAS= python=${PYTHON_CMD} python3=${PYTHON_CMD} # only for tests
.include <bsd.port.mk>
|
