svn commit: r496875 - head/security/klee

[Gleb Popov]

Author: arrowd
Date: Tue Mar 26 04:38:52 2019
New Revision: 496875
URL: https://svnweb.freebsd.org/changeset/ports/496875

Log:
  security/klee: Update to 2.0 and switch to LLVM 8.
  
  PR:		230516
  Submitted by:	brooks
  Approved by:	tcberner (mentor)

Modified:
  head/security/klee/Makefile
  head/security/klee/distinfo
  head/security/klee/pkg-plist

Modified: head/security/klee/Makefile
==============================================================================
--- head/security/klee/Makefile	Tue Mar 26 04:10:50 2019	(r496874)
+++ head/security/klee/Makefile	Tue Mar 26 04:38:52 2019	(r496875)
@@ -2,8 +2,7 @@
 
 PORTNAME=	klee
 DISTVERSIONPREFIX=	v
-DISTVERSION=	1.4.0-191
-DISTVERSIONSUFFIX=	-g79ac709
+DISTVERSION=	2.0
 CATEGORIES=	security devel
 
 MAINTAINER=	arrowd at FreeBSD.org
@@ -12,18 +11,18 @@ 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
+# Should be a LIB_DEPEND, but hard to express in a generic manner
+RUN_DEPENDS=	llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT}
 
-LLVM_VERSION=	38 # the latest llvm version that the master branch (79ac709) currently supports
-
 USES=		cmake localbase pkgconfig python:run shebangfix
 USE_GITHUB=	yes
 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

Modified: head/security/klee/distinfo
==============================================================================
--- head/security/klee/distinfo	Tue Mar 26 04:10:50 2019	(r496874)
+++ head/security/klee/distinfo	Tue Mar 26 04:38:52 2019	(r496875)
@@ -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

Modified: head/security/klee/pkg-plist
==============================================================================
--- head/security/klee/pkg-plist	Tue Mar 26 04:10:50 2019	(r496874)
+++ head/security/klee/pkg-plist	Tue Mar 26 04:38:52 2019	(r496875)
@@ -1,3 +1,4 @@
+bin/gen-bout
 bin/gen-random-bout
 bin/kleaver
 bin/klee