Attachment #203015 for bug #230516





PORTNAME=	klee
DISTVERSIONPREFIX=	v
DISTVERSION=	2.0
DISTVERSIONSUFFIX=	-g79ac709
CATEGORIES=	security devel

MAINTAINER=	arrowd@FreeBSD.org


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=	60

USES=		cmake localbase pkgconfig python:run shebangfix
USE_GITHUB=	yes

Lines 1-3 Link Here

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

Return to bug 230516

Lines 2-9 Link Here

(-)Makefile (-3 / +4 lines)
2		2
3	PORTNAME= klee	3	PORTNAME= klee
4	DISTVERSIONPREFIX= v	4	DISTVERSIONPREFIX= v
5	DISTVERSION= 1.4.0-191	5	DISTVERSION= 2.0
6	DISTVERSIONSUFFIX= -g79ac709
7	CATEGORIES= security devel	6	CATEGORIES= security devel
8		7
9	MAINTAINER= arrowd@FreeBSD.org	8	MAINTAINER= arrowd@FreeBSD.org
Lines 14-21 Link Here
14		13
15	BUILD_DEPENDS= llvm-config${LLVM_VERSION}:devel/llvm${LLVM_VERSION} \	14	BUILD_DEPENDS= llvm-config${LLVM_VERSION}:devel/llvm${LLVM_VERSION} \
16	gmake:devel/gmake	15	gmake:devel/gmake
		16	# Should be a LIB_DEPEND, but hard to express in a generic manner
		17	RUN_DEPENDS= llvm-config${LLVM_VERSION}:devel/llvm${LLVM_VERSION}
17		18
18	LLVM_VERSION= 38 # the latest llvm version that the master branch (79ac709) currently supports	19	LLVM_VERSION= 60
19		20
20	USES= cmake localbase pkgconfig python:run shebangfix	21	USES= cmake localbase pkgconfig python:run shebangfix
21	USE_GITHUB= yes	22	USE_GITHUB= yes