diff options
Diffstat (limited to 'security/klee/Makefile')
| -rw-r--r-- | security/klee/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile index c6e9456f0734..14943f717800 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -12,7 +12,6 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.TXT NOT_FOR_ARCHS= i386 powerpc -BUILD_DEPENDS= gmake:devel/gmake 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 \ @@ -22,8 +21,7 @@ SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/kle USE_LDCONFIG= yes CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS -CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/${LLVM_CONFIG} \ - -DMAKE_BINARY=${GMAKE} +CMAKE_ARGS= -DLLVM_DIR=${LLVM_PREFIX}/lib/cmake/llvm OPTIONS_DEFINE= TCMALLOC OPTIONS_DEFAULT= TCMALLOC Z3 STP |