Commit a9971cab authored by crees's avatar crees
Browse files

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>
parent 7d6ecfd5
......@@ -885,6 +885,7 @@
SUBDIR += kdevelop-php-docs
SUBDIR += kdevplatform
SUBDIR += kimwitu
SUBDIR += klee
SUBDIR += kodos
SUBDIR += kprof
SUBDIR += kscope
......
# $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>
SHA256 (klee-169327.138.tar.gz) = ae4bdfc05cbb6847ee48786b1a7424895c699af13fca10320c40b7422c7dab62
SIZE (klee-169327.138.tar.gz) = 1449494
--- _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}")
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/
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
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment