From owner-svn-ports-all@FreeBSD.ORG Sat Dec 22 15:01:28 2012 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 20B3DC3B; Sat, 22 Dec 2012 15:01:28 +0000 (UTC) (envelope-from crees@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) by mx1.freebsd.org (Postfix) with ESMTP id 0504A8FC0A; Sat, 22 Dec 2012 15:01:28 +0000 (UTC) Received: from svn.freebsd.org (localhost [127.0.0.1]) by svn.freebsd.org (8.14.5/8.14.5) with ESMTP id qBMF1RjS098484; Sat, 22 Dec 2012 15:01:27 GMT (envelope-from crees@svn.freebsd.org) Received: (from crees@localhost) by svn.freebsd.org (8.14.5/8.14.5/Submit) id qBMF1Q7F098477; Sat, 22 Dec 2012 15:01:26 GMT (envelope-from crees@svn.freebsd.org) Message-Id: <201212221501.qBMF1Q7F098477@svn.freebsd.org> From: Chris Rees Date: Sat, 22 Dec 2012 15:01:26 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r309394 - in head/devel: . klee klee/files X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 22 Dec 2012 15:01:28 -0000 Author: crees Date: Sat Dec 22 15:01:26 2012 New Revision: 309394 URL: http://svnweb.freebsd.org/changeset/ports/309394 Log: 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> Added: head/devel/klee/ head/devel/klee/Makefile (contents, props changed) head/devel/klee/distinfo (contents, props changed) head/devel/klee/files/ head/devel/klee/files/patch-CMakeLists.txt (contents, props changed) head/devel/klee/pkg-descr (contents, props changed) head/devel/klee/pkg-plist (contents, props changed) Modified: head/devel/Makefile Modified: head/devel/Makefile ============================================================================== --- head/devel/Makefile Sat Dec 22 14:26:44 2012 (r309393) +++ head/devel/Makefile Sat Dec 22 15:01:26 2012 (r309394) @@ -885,6 +885,7 @@ SUBDIR += kdevelop-php-docs SUBDIR += kdevplatform SUBDIR += kimwitu + SUBDIR += klee SUBDIR += kodos SUBDIR += kprof SUBDIR += kscope Added: head/devel/klee/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/klee/Makefile Sat Dec 22 15:01:26 2012 (r309394) @@ -0,0 +1,30 @@ +# $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 + +OPTIONS_DEFINE= DEBUG + +USE_CMAKE= yes +CMAKE_OUTSOURCE=yes +CMAKE_ARGS= -DCMAKE_MODULE_PATH=${WRKSRC}/cmake/llvm-3.1-modules \ + -DKLEE_PATH_TO_LLVM_BUILD=${LOCALBASE} + +.include + +.if ${PORT_OPTIONS:MDEBUG} +WITH_DEBUG= yes +.endif + +.include Added: head/devel/klee/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/klee/distinfo Sat Dec 22 15:01:26 2012 (r309394) @@ -0,0 +1,2 @@ +SHA256 (klee-169327.138.tar.gz) = ae4bdfc05cbb6847ee48786b1a7424895c699af13fca10320c40b7422c7dab62 +SIZE (klee-169327.138.tar.gz) = 1449494 Added: head/devel/klee/files/patch-CMakeLists.txt ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/klee/files/patch-CMakeLists.txt Sat Dec 22 15:01:26 2012 (r309394) @@ -0,0 +1,11 @@ +--- _CMakeLists.txt 2012-10-26 11:48:24.000000000 +0400 ++++ CMakeLists.txt 2012-10-27 14:00:20.173557951 +0400 +@@ -29,7 +29,7 @@ + ABSOLUTE) + + include(AddLLVM) +- include("${KLEE_PATH_TO_LLVM_BUILD}/share/llvm/cmake/LLVMConfig.cmake") ++ include(LLVMConfig) + include(HandleLLVMOptions) + + set(PACKAGE_VERSION "${LLVM_PACKAGE_VERSION}") Added: head/devel/klee/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/klee/pkg-descr Sat Dec 22 15:01:26 2012 (r309394) @@ -0,0 +1,5 @@ +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/ Added: head/devel/klee/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/klee/pkg-plist Sat Dec 22 15:01:26 2012 (r309394) @@ -0,0 +1,47 @@ +bin/klee +bin/kleaver +bin/gen-random-bout +include/klee/Solver.h +include/klee/Constraints.h +include/klee/ExprBuilder.h +include/klee/Config/Version.h +include/klee/util/ExprHashMap.h +include/klee/util/ArrayExprHash.h +include/klee/util/Ref.h +include/klee/util/ExprUtil.h +include/klee/util/Bits.h +include/klee/util/ExprPPrinter.h +include/klee/util/ExprRangeEvaluator.h +include/klee/util/BitArray.h +include/klee/util/ExprVisitor.h +include/klee/util/ExprSMTLIBLetPrinter.h +include/klee/util/ExprEvaluator.h +include/klee/util/Assignment.h +include/klee/util/GetElementPtrTypeIterator.h +include/klee/util/PrintContext.h +include/klee/util/ExprSMTLIBPrinter.h +include/klee/Expr.h +include/klee/Statistic.h +include/klee/SolverImpl.h +include/klee/IncompleteSolver.h +include/klee/Statistics.h +include/klee/ExecutionState.h +include/klee/klee.h +include/klee/Interpreter.h +include/klee/TimerStatIncrementer.h +include/klee/Config/config.h +share/llvm/cmake/KLEEConfig.cmake +lib/libkleeBasic.a +lib/libkleeCore.a +lib/libkleaverExpr.a +lib/libkleeModule.a +lib/libkleaverSolver.a +lib/libkleeSupport.a +lib/libkleeRuntimeIntrinsic.bca +lib/libklee-libc.bca +lib/libkleeRuntest.so +@dirrmtry share/llvm/cmake +@dirrmtry share/llvm +@dirrm include/klee/util +@dirrm include/klee/Config +@dirrm include/klee