Page MenuHomeFreeBSD
Files F146331665

D19770.id55826.diff
No OneTemporary
Actions

D19770.id55826.diff
View Options

Index: head/security/klee/Makefile
===================================================================
--- head/security/klee/Makefile
+++ head/security/klee/Makefile
@@ -14,9 +14,10 @@
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

File Metadata

Mime Type
text/plain
Expires
Mon, Mar 2, 7:58 PM (7 h, 39 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
29168411
Default Alt Text
D19770.id55826.diff (776 B)

Event Timeline