As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photos
All times are UTCnotbug
Remember
I remember
Menu ☰ Menu
Searches without login should now work. You must get asked to click a button.
Some translations wanted please.
New RSS 2.0 and Atom feeds are here. The old /backend/ feeds still work, but will be redirected later, so please update your subscriptions. Details.
Port details
klee Symbolic virtual machine for LLVM bitcode
169327.138 devel Deleted Σ=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 169327.138Version of this port present on the latest quarterly branch.
Broken BROKEN: fails to build
Deprecated DEPRECATED: Broken for more than 6 month
Expired This port expired on: 2013-11-18
Ignore IGNORE: is marked as broken: fails to build
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
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/
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb
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.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
Dependency lines:
  • klee>0:devel/klee
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. Perhaps there is a build error. Check the fallout link: pkg-fallout
Dependencies #
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies: #
  1. llvm-ar : devel/llvm
  2. ccc-analyzer : lang/clang
  3. libstp.a : math/stp
  4. cmake : devel/cmake
Runtime dependencies: #
  1. llvm-ar : devel/llvm
  2. 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
pkg-message: #
FreshPorts was unable to extract/find any pkg message
Master Sites: #
Expand this list (2 items)
Collapse this list.
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://cdn.bitbucket.org/arrowdodger/klee/downloads/
Collapse this list.

Number of commits found: 6 #

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
169327.138
18 Nov 2013 13:54:18
Revision:334196Original commit files touched by this commit		 rene search for other commits by this committer 
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 View all of this commit message)
169327.138
18 Oct 2013 07:19:26
Revision:330726Original commit files touched by this commit		 bapt search for other commits by this committer 
Deprecated some ports broken for more than 6 month
169327.138
20 Sep 2013 17:13:47
Revision:327724Original commit files touched by this commit		 bapt search for other commits by this committer 
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
Revision:315975Original commit files touched by this commit		 miwi search for other commits by this committer 
- 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
Revision:314960Original commit files touched by this commit		 makc search for other commits by this committer 
- 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
Revision:309394Original commit files touched by this commit		 crees search for other commits by this committer 
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

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Latest Vulnerabilities
ankiNov 05
giteaNov 05
openexrNov 05
openvox-agent8Nov 05
openvox-agent9Nov 05
openvox-server8Nov 05
openvox-server8Nov 05
openvox-server9Nov 05
openvox-server9Nov 05
openvoxdb8Nov 05
openvoxdb9Nov 05
chromium*Nov 04
chromiumNov 04
chromium*Nov 04
linux-chrome*Nov 04

73 vulnerabilities affecting 683 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-11-05 10:29:12 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35430
Broken 59
Deprecated 350
Ignore 182
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 57
Expired 11
Set to expire 270
Interactive 0
new 24 hours 60
new 48 hours67
new 7 days122
new fortnight167
new month305
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.