freebsd-ports/devel/klee/Makefile

# $FreeBSD$

PORTNAME=	klee
PORTVERSION=	169327.138
CATEGORIES=	devel
MASTER_SITES=	http://cdn.bitbucket.org/arrowdodger/klee/downloads/

MAINTAINER=	6yearold@gmail.com
COMMENT=	Symbolic virtual machine for LLVM bitcode

BUILD_DEPENDS=	llvm-ar:${PORTSDIR}/devel/llvm \
		ccc-analyzer:${PORTSDIR}/lang/clang \
		${LOCALBASE}/lib/libstp.a:${PORTSDIR}/math/stp
RUN_DEPENDS=	llvm-ar:${PORTSDIR}/devel/llvm \
		ccc-analyzer:${PORTSDIR}/lang/clang

BROKEN=		fails to build

OPTIONS_DEFINE=	DEBUG

USES=		cmake:outsource
CMAKE_ARGS=	-DCMAKE_MODULE_PATH=${WRKSRC}/cmake/llvm-3.1-modules \
		-DKLEE_PATH_TO_LLVM_BUILD=${LOCALBASE}

.include <bsd.port.options.mk>

.if ${PORT_OPTIONS:MDEBUG}
WITH_DEBUG=	yes
.endif

.include <bsd.port.mk>
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license. WWW: http://klee.llvm.org/ PR: ports/174274 Submitted by: arrowdodger <6yearold@gmail.com> 2012-12-22 16:01:26 +01:00			`# $FreeBSD$`

			`PORTNAME= klee`
			`PORTVERSION= 169327.138`
			`CATEGORIES= devel`
			`MASTER_SITES= http://cdn.bitbucket.org/arrowdodger/klee/downloads/`

			`MAINTAINER= 6yearold@gmail.com`
			`COMMENT= Symbolic virtual machine for LLVM bitcode`

			`BUILD_DEPENDS= llvm-ar:${PORTSDIR}/devel/llvm \`
			`ccc-analyzer:${PORTSDIR}/lang/clang \`
			`${LOCALBASE}/lib/libstp.a:${PORTSDIR}/math/stp`
			`RUN_DEPENDS= llvm-ar:${PORTSDIR}/devel/llvm \`
			`ccc-analyzer:${PORTSDIR}/lang/clang`

- Broken fails to build /work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp: In member function 'unsigned int klee::Executor::getWidthForLLVMType(llvm::Type) const': /work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp:3516: error: invalid use of incomplete type 'struct llvm::TargetData' /work/a/ports/devel/klee/work/klee-169327.138/include/klee/Internal/Module/KModule.h:27: error: forward declaration of 'struct llvm::TargetData' ** Error code 1 Feature safe: yes 2013-04-17 17:35:27 +02:00			`BROKEN= fails to build`

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license. WWW: http://klee.llvm.org/ PR: ports/174274 Submitted by: arrowdodger <6yearold@gmail.com> 2012-12-22 16:01:26 +01:00			`OPTIONS_DEFINE= DEBUG`

- convert USE_CMAKE to USES - while here clean up some ports from CMAKE_VERBOSE, which is intended for users Approved by: portmgr (miwi) 2013-03-22 21:06:14 +01:00			`USES= cmake:outsource`
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license. WWW: http://klee.llvm.org/ PR: ports/174274 Submitted by: arrowdodger <6yearold@gmail.com> 2012-12-22 16:01:26 +01:00			`CMAKE_ARGS= -DCMAKE_MODULE_PATH=${WRKSRC}/cmake/llvm-3.1-modules \`
			`-DKLEE_PATH_TO_LLVM_BUILD=${LOCALBASE}`

			`.include <bsd.port.options.mk>`

			`.if ${PORT_OPTIONS:MDEBUG}`
			`WITH_DEBUG= yes`
			`.endif`

			`.include <bsd.port.mk>`