Attachment 203133 Details for Bug 230516 – Updated patch

[patch] Updated patch

klee.diff (text/plain), 2.11 KB, created by Gleb Popov on 2019-03-25 13:43:04 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Gleb Popov

Created: 2019-03-25 13:43:04 UTC

Size: 2.11 KB

patch

obsolete

>Index: security/klee/Makefile
>===================================================================
>--- security/klee/Makefile	(revision 496549)
>+++ security/klee/Makefile	(working copy)
>@@ -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,11 +11,11 @@
> 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
>@@ -23,7 +22,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} \
>+CMAKE_ARGS=	-DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \
> 		-DMAKE_BINARY=${LOCALBASE}/bin/gmake
> 
> OPTIONS_DEFINE=		TCMALLOC
>Index: security/klee/distinfo
>===================================================================
>--- security/klee/distinfo	(revision 496549)
>+++ security/klee/distinfo	(working copy)
>@@ -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
>Index: security/klee/pkg-plist
>===================================================================
>--- security/klee/pkg-plist	(revision 496549)
>+++ security/klee/pkg-plist	(working copy)
>@@ -1,3 +1,4 @@
>+bin/gen-bout
> bin/gen-random-bout
> bin/kleaver
> bin/klee

Actions: View | Diff

Attachments on bug 230516: 203015 | 203133