Index: security/klee/Makefile =================================================================== --- security/klee/Makefile +++ security/klee/Makefile @@ -16,7 +16,7 @@ # Should be a LIB_DEPEND, but hard to express in a generic manner RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} -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