mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-06 11:41:52 +00:00
Code Issues Releases Activity

KLEE is a symbolic virtual machine built on top of the

Browse Source 
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>
This commit is contained in:
Chris Rees 2012-12-22 15:01:26 +00:00
parent 62f637b8c6
commit 19948f49d0
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=309394
6 changed files with 96 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
devel/Makefile
View File

@ -885,6 +885,7 @@
SUBDIR += kdevelop-php-docs
SUBDIR += kdevplatform
SUBDIR += kimwitu
SUBDIR += klee
SUBDIR += kodos
SUBDIR += kprof
SUBDIR += kscope

30
devel/klee/Makefile Normal file
View File

@ -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>

2
devel/klee/distinfo Normal file
View File

@ -0,0 +1,2 @@
SHA256 (klee-169327.138.tar.gz) = ae4bdfc05cbb6847ee48786b1a7424895c699af13fca10320c40b7422c7dab62
SIZE (klee-169327.138.tar.gz) = 1449494

11
devel/klee/files/patch-CMakeLists.txt Normal file
View File

@ -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}")

5
devel/klee/pkg-descr Normal file
View File

@ -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/

47
devel/klee/pkg-plist Normal file
View File

@ -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