blob: 14943f71780021246516b4ec8201022f4f46bbf2 (
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
PORTNAME= klee
DISTVERSIONPREFIX= v
DISTVERSION= 3.1
CATEGORIES= security devel
MAINTAINER= arrowd@FreeBSD.org
COMMENT= Symbolic virtual machine built on top of LLVM
WWW= https://klee.github.io/
LICENSE= NCSA
LICENSE_FILE= ${WRKSRC}/LICENSE.TXT
NOT_FOR_ARCHS= i386 powerpc
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
USES= cmake compiler:c++14-lang llvm:min=12,max=16,build,run,noexport localbase \
pkgconfig python:run shebangfix sqlite
USE_GITHUB= yes
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti
USE_LDCONFIG= yes
CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS
CMAKE_ARGS= -DLLVM_DIR=${LLVM_PREFIX}/lib/cmake/llvm
OPTIONS_DEFINE= TCMALLOC
OPTIONS_DEFAULT= TCMALLOC Z3 STP
OPTIONS_MULTI= BACKEND
OPTIONS_MULTI_BACKEND= 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_LIB_DEPENDS= libstp.so:math/stp \
libcryptominisat5.so:math/cryptominisat
.include <bsd.port.options.mk>
.if ${ARCH} == powerpc64le || ${ARCH} == aarch64
PLIST_SUB= 32BIT="@comment " \
64BIT=""
.else
PLIST_SUB= 32BIT="" \
64BIT=""
.endif
.include <bsd.port.mk>
|
