Changeset View
Changeset View
Standalone View
Standalone View
head/security/klee/Makefile
| # $FreeBSD$ | # $FreeBSD$ | ||||
| PORTNAME= klee | PORTNAME= klee | ||||
| DISTVERSIONPREFIX= v | DISTVERSIONPREFIX= v | ||||
| DISTVERSION= 2.0 | DISTVERSION= 2.0 | ||||
| CATEGORIES= security devel | CATEGORIES= security devel | ||||
| MAINTAINER= arrowd@FreeBSD.org | MAINTAINER= arrowd@FreeBSD.org | ||||
| COMMENT= Symbolic virtual machine built on top of LLVM | COMMENT= Symbolic virtual machine built on top of LLVM | ||||
| LICENSE= NCSA | LICENSE= NCSA | ||||
| LICENSE_FILE= ${WRKSRC}/LICENSE.TXT | LICENSE_FILE= ${WRKSRC}/LICENSE.TXT | ||||
| BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ | BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ | ||||
| gmake:devel/gmake | gmake:devel/gmake | ||||
| # Should be a LIB_DEPEND, but hard to express in a generic manner | # 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 | USE_GITHUB= yes | ||||
| SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool | SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool | ||||
| USE_LDCONFIG= yes | USE_LDCONFIG= yes | ||||
| CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS | CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS | ||||
| CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \ | CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \ | ||||
| -DMAKE_BINARY=${LOCALBASE}/bin/gmake | -DMAKE_BINARY=${LOCALBASE}/bin/gmake | ||||
| Show All 21 Lines | |||||