Port details on branch 2022Q2 |
- 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:
|