diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2019-04-05 05:27:19 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2019-04-05 05:27:19 +0000 |
| commit | 512cb98f2be6ea88df9e6a4047a0f74d5c711503 (patch) | |
| tree | 54a59d8e2e3192e419d329e85c5a0b843b1f581f /security/klee | |
| parent | 292201087e02c3c6561b4765d80c48dfeca14614 (diff) | |
| download | ports-512cb98f2be6ea88df9e6a4047a0f74d5c711503.tar.gz ports-512cb98f2be6ea88df9e6a4047a0f74d5c711503.zip | |
Notes
Diffstat (limited to 'security/klee')
| -rw-r--r-- | security/klee/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile index adfcd212f83f..7f1125f31c1c 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -14,9 +14,10 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.TXT BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ gmake:devel/gmake # 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} \ + ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} -USES= cmake localbase pkgconfig python:run shebangfix +USES= cmake localbase pkgconfig python:3.5+,run shebangfix USE_GITHUB= yes SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool USE_LDCONFIG= yes |