ports/174274: New port: devel/klee, the symbolic VM for LLVM bitcode

[arrowdodger]

>Number:         174274
>Category:       ports
>Synopsis:       New port: devel/klee, the symbolic VM for LLVM bitcode
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Sat Dec 08 09:50:00 UTC 2012
>Closed-Date:
>Last-Modified:
>Originator:     arrowdodger
>Release:        9-stable
>Organization:
>Environment:
>Description:

>How-To-Repeat:

>Fix:


Patch attached with submission follows:

# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	devel/klee
#	devel/klee/files
#	devel/klee/files/patch-CMakeLists.txt
#	devel/klee/pkg-descr
#	devel/klee/Makefile
#	devel/klee/pkg-plist
#	devel/klee/distinfo
#
echo c - devel/klee
mkdir -p devel/klee > /dev/null 2>&1
echo c - devel/klee/files
mkdir -p devel/klee/files > /dev/null 2>&1
echo x - devel/klee/files/patch-CMakeLists.txt
sed 's/^X//' >devel/klee/files/patch-CMakeLists.txt << 'f2c41f07c76fe1c1181894e40d037030'
X--- _CMakeLists.txt	2012-10-26 11:48:24.000000000 +0400
X+++ CMakeLists.txt	2012-10-27 14:00:20.173557951 +0400
X@@ -29,7 +29,7 @@
X     ABSOLUTE)
X 
X   include(AddLLVM)
X-  include("${KLEE_PATH_TO_LLVM_BUILD}/share/llvm/cmake/LLVMConfig.cmake")
X+  include(LLVMConfig)
X   include(HandleLLVMOptions)
X 
X   set(PACKAGE_VERSION "${LLVM_PACKAGE_VERSION}")
f2c41f07c76fe1c1181894e40d037030
echo x - devel/klee/pkg-descr
sed 's/^X//' >devel/klee/pkg-descr << '55775b8b181246f071b17dc22f5d5173'
XKLEE is a symbolic virtual machine built on top of the
XLLVM compiler infrastructure, and available under the
XUIUC open source license.
X
XWWW:	http://klee.llvm.org/
55775b8b181246f071b17dc22f5d5173
echo x - devel/klee/Makefile
sed 's/^X//' >devel/klee/Makefile << 'c8c38154bce372c2f488e8e841940378'
X# $FreeBSD$
X
XPORTNAME=	klee
XPORTVERSION=	169327.138
XCATEGORIES=	devel
XMASTER_SITES=	http://cdn.bitbucket.org/arrowdodger/klee/downloads/
X
XMAINTAINER=	6yearold at gmail.com
XCOMMENT=	Symbolic virtual machine for LLVM bitcode
X
XBUILD_DEPENDS=	llvm-ar:${PORTSDIR}/devel/llvm \
X		ccc-analyzer:${PORTSDIR}/lang/clang \
X		${LOCALBASE}/lib/libstp.a:${PORTSDIR}/math/stp
XRUN_DEPENDS=	llvm-ar:${PORTSDIR}/devel/llvm \
X		ccc-analyzer:${PORTSDIR}/lang/clang
X
XOPTIONS_DEFINE=	DEBUG
XDEBUG_DESC=	Build with debugging symbols
X
XUSE_CMAKE=	yes
XCMAKE_OUTSOURCE=yes
XCMAKE_ARGS=	-DCMAKE_MODULE_PATH=${WRKSRC}/cmake/llvm-3.1-modules \
X		-DKLEE_PATH_TO_LLVM_BUILD=${LOCALBASE}
X
X.include <bsd.port.options.mk>
X
X.if ${PORT_OPTIONS:MDEBUG}
XWITH_DEBUG=	yes
X.endif
X
X.include <bsd.port.mk>
c8c38154bce372c2f488e8e841940378
echo x - devel/klee/pkg-plist
sed 's/^X//' >devel/klee/pkg-plist << '1dccc960ba3ab90bd580f0176df58c95'
Xbin/klee
Xbin/kleaver
Xbin/gen-random-bout
Xinclude/klee/Solver.h
Xinclude/klee/Constraints.h
Xinclude/klee/ExprBuilder.h
Xinclude/klee/Config/Version.h
Xinclude/klee/util/ExprHashMap.h
Xinclude/klee/util/ArrayExprHash.h
Xinclude/klee/util/Ref.h
Xinclude/klee/util/ExprUtil.h
Xinclude/klee/util/Bits.h
Xinclude/klee/util/ExprPPrinter.h
Xinclude/klee/util/ExprRangeEvaluator.h
Xinclude/klee/util/BitArray.h
Xinclude/klee/util/ExprVisitor.h
Xinclude/klee/util/ExprSMTLIBLetPrinter.h
Xinclude/klee/util/ExprEvaluator.h
Xinclude/klee/util/Assignment.h
Xinclude/klee/util/GetElementPtrTypeIterator.h
Xinclude/klee/util/PrintContext.h
Xinclude/klee/util/ExprSMTLIBPrinter.h
Xinclude/klee/Expr.h
Xinclude/klee/Statistic.h
Xinclude/klee/SolverImpl.h
Xinclude/klee/IncompleteSolver.h
Xinclude/klee/Statistics.h
Xinclude/klee/ExecutionState.h
Xinclude/klee/klee.h
Xinclude/klee/Interpreter.h
Xinclude/klee/TimerStatIncrementer.h
Xinclude/klee/Config/config.h
Xshare/llvm/cmake/KLEEConfig.cmake
Xlib/libkleeBasic.a
Xlib/libkleeCore.a
Xlib/libkleaverExpr.a
Xlib/libkleeModule.a
Xlib/libkleaverSolver.a
Xlib/libkleeSupport.a
Xlib/libkleeRuntimeIntrinsic.bca
Xlib/libklee-libc.bca
Xlib/libkleeRuntest.so
X at dirrm include/klee/util
X at dirrm include/klee/Config
X at dirrm include/klee
1dccc960ba3ab90bd580f0176df58c95
echo x - devel/klee/distinfo
sed 's/^X//' >devel/klee/distinfo << '7ff3fb23cd8f3f613d2b08449bacc57c'
XSHA256 (klee-169327.138.tar.gz) = ae4bdfc05cbb6847ee48786b1a7424895c699af13fca10320c40b7422c7dab62
XSIZE (klee-169327.138.tar.gz) = 1449494
7ff3fb23cd8f3f613d2b08449bacc57c
exit



>Release-Note:
>Audit-Trail:
>Unformatted: