svn commit: r309394 - in head/devel: . klee klee/files

[Chris Rees]

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 at 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 at 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
+ at dirrmtry share/llvm/cmake
+ at dirrmtry share/llvm
+ at dirrm include/klee/util
+ at dirrm include/klee/Config
+ at dirrm include/klee