|
Lines 2-9
Link Here
|
| 2 |
|
2 |
|
| 3 |
PORTNAME= klee |
3 |
PORTNAME= klee |
| 4 |
DISTVERSIONPREFIX= v |
4 |
DISTVERSIONPREFIX= v |
| 5 |
DISTVERSION= 1.4.0-191 |
5 |
DISTVERSION= 2.0 |
| 6 |
DISTVERSIONSUFFIX= -g79ac709 |
|
|
| 7 |
CATEGORIES= security devel |
6 |
CATEGORIES= security devel |
| 8 |
|
7 |
|
| 9 |
MAINTAINER= arrowd@FreeBSD.org |
8 |
MAINTAINER= arrowd@FreeBSD.org |
|
Lines 12-22
Link Here
|
| 12 |
LICENSE= NCSA |
11 |
LICENSE= NCSA |
| 13 |
LICENSE_FILE= ${WRKSRC}/LICENSE.TXT |
12 |
LICENSE_FILE= ${WRKSRC}/LICENSE.TXT |
| 14 |
|
13 |
|
| 15 |
BUILD_DEPENDS= llvm-config${LLVM_VERSION}:devel/llvm${LLVM_VERSION} \ |
14 |
BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \ |
| 16 |
gmake:devel/gmake |
15 |
gmake:devel/gmake |
|
|
16 |
# Should be a LIB_DEPEND, but hard to express in a generic manner |
| 17 |
RUN_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} |
| 17 |
|
18 |
|
| 18 |
LLVM_VERSION= 38 # the latest llvm version that the master branch (79ac709) currently supports |
|
|
| 19 |
|
| 20 |
USES= cmake localbase pkgconfig python:run shebangfix |
19 |
USES= cmake localbase pkgconfig python:run shebangfix |
| 21 |
USE_GITHUB= yes |
20 |
USE_GITHUB= yes |
| 22 |
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool |
21 |
SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool |
|
Lines 23-29
Link Here
|
| 23 |
USE_LDCONFIG= yes |
22 |
USE_LDCONFIG= yes |
| 24 |
|
23 |
|
| 25 |
CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS |
24 |
CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS |
| 26 |
CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_VERSION} \ |
25 |
CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \ |
| 27 |
-DMAKE_BINARY=${LOCALBASE}/bin/gmake |
26 |
-DMAKE_BINARY=${LOCALBASE}/bin/gmake |
| 28 |
|
27 |
|
| 29 |
OPTIONS_DEFINE= TCMALLOC |
28 |
OPTIONS_DEFINE= TCMALLOC |