Date: Sat, 8 Dec 2012 09:41:22 GMT From: arrowdodger <6yearold@gmail.com> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/174274: New port: devel/klee, the symbolic VM for LLVM bitcode Message-ID: <201212080941.qB89fM7K058755@red.freebsd.org> Resent-Message-ID: <201212080950.qB89o0Wi005721@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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@dirrm include/klee/util
X@dirrm include/klee/Config
X@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201212080941.qB89fM7K058755>