Date: Sat, 22 Dec 2012 15:01:26 +0000 (UTC) From: Chris Rees <crees@FreeBSD.org> 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 Message-ID: <201212221501.qBMF1Q7F098477@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 <bsd.port.options.mk> + +.if ${PORT_OPTIONS:MDEBUG} +WITH_DEBUG= yes +.endif + +.include <bsd.port.mk> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201212221501.qBMF1Q7F098477>