diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-23 05:28:54 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-23 05:28:54 +0000 |
| commit | 7a0790d0f8c13666124ca7b96072c4ba88644c88 (patch) | |
| tree | 333b23561d54f253511a3019f64b4096df3547da /security/klee | |
| parent | 9d5e0473f0c04c83c5bc8ede74e50857bc469eef (diff) | |
| download | ports-7a0790d0f8c13666124ca7b96072c4ba88644c88.tar.gz ports-7a0790d0f8c13666124ca7b96072c4ba88644c88.zip | |
security/klee: arrowd@FreeBSD.org takes maintainership
The original submitter gave up on the klee port.
Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option section.
PR: 219150
Requested by: arrowd (maintainership change)
Notes
Notes:
svn path=/head/; revision=475146
Diffstat (limited to 'security/klee')
| -rw-r--r-- | security/klee/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile index 804965bed840..e11f60b454b0 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -6,8 +6,8 @@ DISTVERSION= 1.4.0-191 DISTVERSIONSUFFIX= -g79ac709 CATEGORIES= security devel -MAINTAINER= itbot@bk.ru -COMMENT= Symbolic virtual machine built on top of the LLVM +MAINTAINER= arrowd@FreeBSD.org +COMMENT= Symbolic virtual machine built on top of LLVM LICENSE= NCSA LICENSE_FILE= ${WRKSRC}/LICENSE.TXT @@ -24,8 +24,7 @@ USE_LDCONFIG= yes CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_VERSION} \ - -DMAKE_BINARY=${LOCALBASE}/bin/gmake \ - -DFREEBSD_STP_STATIC_LIBRARY:STRING=${LOCALBASE}/lib/libstp.a + -DMAKE_BINARY=${LOCALBASE}/bin/gmake OPTIONS_DEFINE= TCMALLOC OPTIONS_SINGLE= SOLVER @@ -44,6 +43,7 @@ Z3_RUN_DEPENDS= z3:math/z3 STP_DESC= STP SMT solver STP_CMAKE_BOOL= ENABLE_SOLVER_STP +STP_CMAKE_ON= -DFREEBSD_STP_STATIC_LIBRARY:STRING=${LOCALBASE}/lib/libstp.a STP_BUILD_DEPENDS= stp>0:math/stp .include <bsd.port.mk> |