mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-21 08:42:23 +00:00
Code Issues Releases Activity

security/klee: Update to 2.0 and switch to LLVM 8.

Browse Source 
PR:		230516
Submitted by:	brooks
Approved by:	tcberner (mentor)
This commit is contained in:
Gleb Popov 2019-03-26 04:38:52 +00:00
parent 0bf2fd367a
commit 85bfd07243
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=496875
3 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
security/klee/Makefile
View File

@ -2,8 +2,7 @@
PORTNAME= klee
DISTVERSIONPREFIX= v
DISTVERSION= 1.4.0-191
DISTVERSIONSUFFIX= -g79ac709
DISTVERSION= 2.0
CATEGORIES= security devel
MAINTAINER= arrowd@FreeBSD.org
@ -12,10 +11,10 @@ COMMENT= Symbolic virtual machine built on top of LLVM
LICENSE= NCSA
LICENSE_FILE= ${WRKSRC}/LICENSE.TXT
BUILD_DEPENDS= llvm-config${LLVM_VERSION}:devel/llvm${LLVM_VERSION} \
BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \
gmake:devel/gmake
LLVM_VERSION= 38 # the latest llvm version that the master branch (79ac709) currently supports
# 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
USE_GITHUB= yes
@ -23,7 +22,7 @@ SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool
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} \
CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \
-DMAKE_BINARY=${LOCALBASE}/bin/gmake
OPTIONS_DEFINE= TCMALLOC

6
security/klee/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1532277676
SHA256 (klee-klee-v1.4.0-191-g79ac709_GH0.tar.gz) = 92d57d88967e5615d5c806e52a427180b3ccd95a5b018c0bfab3e895b8b13111
SIZE (klee-klee-v1.4.0-191-g79ac709_GH0.tar.gz) = 969253
TIMESTAMP = 1553122599
SHA256 (klee-klee-v2.0_GH0.tar.gz) = e1680086a3a2b0c22ef0b48737b75a897ab1d17e116690f04a940ac07eebc86b
SIZE (klee-klee-v2.0_GH0.tar.gz) = 1023318

1
security/klee/pkg-plist
View File

@ -1,3 +1,4 @@
bin/gen-bout
bin/gen-random-bout
bin/kleaver
bin/klee