Page MenuHomeFreeBSD

D19770.id55645.diff
No OneTemporary

D19770.id55645.diff

Index: security/klee/Makefile
===================================================================
--- security/klee/Makefile
+++ security/klee/Makefile
@@ -14,7 +14,8 @@
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} \
+ python3:lang/python3
USES= cmake localbase pkgconfig python:run shebangfix
USE_GITHUB= yes

File Metadata

Mime Type
text/plain
Expires
Fri, Apr 10, 1:46 AM (16 h, 30 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
31187362
Default Alt Text
D19770.id55645.diff (564 B)

Event Timeline