Changeset View
Changeset View
Standalone View
Standalone View
security/klee/Makefile
Show All 9 Lines | |||||
LICENSE= NCSA | LICENSE= NCSA | ||||
LICENSE_FILE= ${WRKSRC}/LICENSE.TXT | LICENSE_FILE= ${WRKSRC}/LICENSE.TXT | ||||
BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ | BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ | ||||
gmake:devel/gmake | gmake:devel/gmake | ||||
# Should be a LIB_DEPEND, but hard to express in a generic manner | # Should be a LIB_DEPEND, but hard to express in a generic manner | ||||
RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} | RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} | ||||
matthew: You shouldn't depend on one of the convenience meta-ports for pkg dependencies. Those are… | |||||
USES= cmake localbase pkgconfig python:run shebangfix | USES= cmake localbase pkgconfig python:3.5+,run shebangfix | ||||
Done Inline ActionsInstead say ... USES= ... python:3.5+,run ... (3.5+ because that's both what's currently available in ports and what is generally supported upstream nowadays for python3) matthew: Instead say ...
USES= ... python:3.5+,run ...
(3.5+ because that's both what's currently… | |||||
USE_GITHUB= yes | USE_GITHUB= yes | ||||
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool | SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool | ||||
USE_LDCONFIG= yes | USE_LDCONFIG= yes | ||||
CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS | CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS | ||||
CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \ | CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \ | ||||
-DMAKE_BINARY=${LOCALBASE}/bin/gmake | -DMAKE_BINARY=${LOCALBASE}/bin/gmake | ||||
Show All 21 Lines |
You shouldn't depend on one of the convenience meta-ports for pkg dependencies. Those are purely for human usage.