Attachment 203015 Details for Bug 230516 – Upgrade to latest and switch to llvm60

[patch] Upgrade to latest and switch to llvm60

klee-2.0.diff (text/plain), 1.27 KB, created by Brooks Davis on 2019-03-20 23:06:57 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Brooks Davis

Created: 2019-03-20 23:06:57 UTC

Size: 1.27 KB

patch

obsolete

>Index: Makefile
>===================================================================
>--- Makefile	(revision 496386)
>+++ 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
>@@ -14,8 +13,10 @@
> 
> BUILD_DEPENDS=	llvm-config${LLVM_VERSION}:devel/llvm${LLVM_VERSION} \
> 		gmake:devel/gmake
>+# Should be a LIB_DEPEND, but hard to express in a generic manner
>+RUN_DEPENDS=	llvm-config${LLVM_VERSION}:devel/llvm${LLVM_VERSION}
> 
>-LLVM_VERSION=	38 # the latest llvm version that the master branch (79ac709) currently supports
>+LLVM_VERSION=	60
> 
> USES=		cmake localbase pkgconfig python:run shebangfix
> USE_GITHUB=	yes
>Index: distinfo
>===================================================================
>--- distinfo	(revision 496386)
>+++ 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

Actions: View | Diff

Attachments on bug 230516: 203015 | 203133