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>

6 files changed, 96 insertions, 0 deletions

diff --git a/devel/Makefile b/devel/Makefile
index f8337e3f7f1d..1eb7d574e4fd 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -885,6 +885,7 @@
     SUBDIR += kdevelop-php-docs
     SUBDIR += kdevplatform
     SUBDIR += kimwitu
+    SUBDIR += klee
     SUBDIR += kodos
     SUBDIR += kprof
     SUBDIR += kscope
diff --git a/devel/klee/Makefile b/devel/klee/Makefile
new file mode 100644
index 000000000000..56cd6e79acb8
--- /dev/null
+++ b/devel/klee/Makefile
@@ -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>
diff --git a/devel/klee/distinfo b/devel/klee/distinfo
new file mode 100644
index 000000000000..3d65e171a193
--- /dev/null
+++ b/devel/klee/distinfo
@@ -0,0 +1,2 @@
+SHA256 (klee-169327.138.tar.gz) = ae4bdfc05cbb6847ee48786b1a7424895c699af13fca10320c40b7422c7dab62
+SIZE (klee-169327.138.tar.gz) = 1449494
diff --git a/devel/klee/files/patch-CMakeLists.txt b/devel/klee/files/patch-CMakeLists.txt
new file mode 100644
index 000000000000..98426bc0ae23
--- /dev/null
+++ b/devel/klee/files/patch-CMakeLists.txt
@@ -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}")
diff --git a/devel/klee/pkg-descr b/devel/klee/pkg-descr
new file mode 100644
index 000000000000..182860e55362
--- /dev/null
+++ b/devel/klee/pkg-descr
@@ -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/
diff --git a/devel/klee/pkg-plist b/devel/klee/pkg-plist
new file mode 100644
index 000000000000..0b52554d9f9e
--- /dev/null
+++ b/devel/klee/pkg-plist
@@ -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