Current status

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

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/

SVNWeb : Homepage

There is no configure plist information for this port.

Dependency lines:

• klee>0:devel/klee

No installation instructions: this port has been deleted.

The package name of this deleted port was: klee

PKGNAME: klee

Flavors: there is no flavor information for this port.

distinfo:

There is no distinfo for this port.

Packages: (move your mouse over the cells for more information)

No package information in database for this port.

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

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.

• port deleted on 2013-11-18
  REASON: Has expired: Broken for more than 6 months
  

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

Deprecated some ports broken for more than 6 month

Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3)

- 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

- convert USE_CMAKE to USES
- while here clean up some ports from CMAKE_VERBOSE, which is intended
  for users

Approved by:	portmgr (miwi)

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>

12 vulnerabilities affecting 72 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2021-03-28 22:40:29