| Port details |
- klee Symbolic virtual machine for LLVM bitcode
- 169327.138 devel
 =0      169327.138Version of this port present on the latest quarterly branch.  BROKEN: fails to build
 DEPRECATED: Broken for more than 6 month
 This port expired on: 2013-11-18
 IGNORE: is marked as broken: fails to build
- Maintainer: 6yearold@gmail.com
- Port Added: 2012-12-22 15:01:35
- Last Update: 2013-11-18 13:54:18
- SVN Revision: 334196
- License: not specified in port
- WWW:
- http://klee.llvm.org/
- Description:
- 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/
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: klee
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- llvm-ar : devel/llvm
- ccc-analyzer : lang/clang
- libstp.a : math/stp
- cmake : devel/cmake
- Runtime dependencies:
-
- llvm-ar : devel/llvm
- ccc-analyzer : lang/clang
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for klee-169327.138:
DEBUG=off: Install debug symbols
===> Use 'make config' to modify these settings
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 6
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
169327.138
18 Nov 2013 13:54:18
  |
rene |
Remove expired ports:
2013-11-18 devel/libXGP: Broken for more than 6 month
2013-11-18 deskutils/google-gadgets: Broken for more than 6 month
2013-11-18 palm/synce-trayicon: Broken for more than 6 month
2013-11-18 security/linux-pam-docs: Broken for more than 6 month
2013-11-18 net-p2p/mooseekd: Broken for more than 6 month
2013-11-18 textproc/p5-Lucene: Broken for more than 6 month
2013-11-18 net-mgmt/zenpack-dellmonitor: Broken for more than 6 month
2013-11-18 x11-wm/fbpager: BRoken for more than 6 month
2013-11-18 net/hf6to4: Broken for more than 6 month
2013-11-18 x11-themes/kde-icons-exquisite: Broken for more than 6 month
2013-11-18 x11-themes/kde-icons-marbles-translucent: Broken for more than 6
month
2013-11-18 security/dissembler: Broken for more than 6 month
2013-11-18 net-mgmt/zenpack-apachemonitor: Broken for more than 6 month
2013-11-18 textproc/rst.el: Broken for more than 6 month (Only the first 15 lines of the commit message are shown above  ) |
169327.138
18 Oct 2013 07:19:26
|
bapt |
Deprecated some ports broken for more than 6 month |
169327.138
20 Sep 2013 17:13:47
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
169327.138
17 Apr 2013 15:35:27
|
miwi |
- Broken fails to build
/work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp: In member
function 'unsigned int klee::Executor::getWidthForLLVMType(llvm::Type*) const':
/work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp:3516: error:
invalid use of incomplete type 'struct llvm::TargetData'
/work/a/ports/devel/klee/work/klee-169327.138/include/klee/Internal/Module/KModule.h:27:
error: forward declaration of 'struct llvm::TargetData'
*** Error code 1
Feature safe: yes |
169327.138
22 Mar 2013 20:06:15
|
makc |
- convert USE_CMAKE to USES
- while here clean up some ports from CMAKE_VERBOSE, which is intended
for users
Approved by: portmgr (miwi) |
169327.138
22 Dec 2012 15:01:26
|
crees |
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> |
Number of commits found: 6
|
As an Amazon Associate I earn from qualifying purchases.