sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-01 02:46:27 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

security/klee: Switch to USES=llvm.

Browse source
This commit is contained in:
Gleb Popov 2022-12-18 11:47:29 +03:00
parent 48eb5a86c1
commit 08807ad950
1 changed files with 4 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
security/klee/Makefile
View file

@ -13,14 +13,11 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.TXT
NOT_FOR_ARCHS= i386
BUILD_DEPENDS= llvm-config13:devel/llvm13 \
gmake:devel/gmake
# Should be a LIB_DEPEND, but hard to express in a generic manner
RUN_DEPENDS= llvm-config13:devel/llvm13 \
${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
BUILD_DEPENDS= gmake:devel/gmake
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
USES= cmake compiler:c++14-lang localbase pkgconfig python:3.5+,run \
shebangfix sqlite
USES= cmake compiler:c++14-lang llvm:min=9,max=13,build,run localbase \
pkgconfig python:3.5+,run shebangfix sqlite
USE_GITHUB= yes
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti
USE_LDCONFIG= yes