From owner-freebsd-ports-bugs@FreeBSD.ORG Sat Dec 8 09:50:00 2012 Return-Path: Delivered-To: freebsd-ports-bugs@smarthost.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id C9D92A31 for ; Sat, 8 Dec 2012 09:50:00 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) by mx1.freebsd.org (Postfix) with ESMTP id 9D5768FC15 for ; Sat, 8 Dec 2012 09:50:00 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.5/8.14.5) with ESMTP id qB89o0Bs005722 for ; Sat, 8 Dec 2012 09:50:00 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.5/8.14.5/Submit) id qB89o0Wi005721; Sat, 8 Dec 2012 09:50:00 GMT (envelope-from gnats) Resent-Date: Sat, 8 Dec 2012 09:50:00 GMT Resent-Message-Id: <201212080950.qB89o0Wi005721@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, arrowdodger <6yearold@gmail.com> Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 12A21579 for ; Sat, 8 Dec 2012 09:41:23 +0000 (UTC) (envelope-from nobody@FreeBSD.org) Received: from red.freebsd.org (red.freebsd.org [IPv6:2001:4f8:fff6::22]) by mx1.freebsd.org (Postfix) with ESMTP id E7DE38FC12 for ; Sat, 8 Dec 2012 09:41:22 +0000 (UTC) Received: from red.freebsd.org (localhost [127.0.0.1]) by red.freebsd.org (8.14.5/8.14.5) with ESMTP id qB89fMDV058758 for ; Sat, 8 Dec 2012 09:41:22 GMT (envelope-from nobody@red.freebsd.org) Received: (from nobody@localhost) by red.freebsd.org (8.14.5/8.14.5/Submit) id qB89fM7K058755; Sat, 8 Dec 2012 09:41:22 GMT (envelope-from nobody) Message-Id: <201212080941.qB89fM7K058755@red.freebsd.org> Date: Sat, 8 Dec 2012 09:41:22 GMT From: arrowdodger <6yearold@gmail.com> To: freebsd-gnats-submit@FreeBSD.org X-Send-Pr-Version: www-3.1 Subject: ports/174274: New port: devel/klee, the symbolic VM for LLVM bitcode X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 08 Dec 2012 09:50:00 -0000 >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 X X.if ${PORT_OPTIONS:MDEBUG} XWITH_DEBUG= yes X.endif X X.include 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: