notbugAs 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 photosAll times are UTC
This referral link gives you 10% off a account and gives me a discount on my Fastmail account.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
non port: devel/klee/Makefile

Number of commits found: 5

Friday, 18 Oct 2013
07:19 bapt search for other commits by this committer
Deprecated some ports broken for more than 6 month
Original commitRevision:330726 
Friday, 20 Sep 2013
17:13 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)
Original commitRevision:327724 
Wednesday, 17 Apr 2013
15:35 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'
error: forward declaration of 'struct llvm::TargetData'
*** Error code 1

Feature safe:	yes
Original commitRevision:315975 
Friday, 22 Mar 2013
20:06 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)
Original commitRevision:314960 
Saturday, 22 Dec 2012
15:01 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.


PR:		ports/174274
Submitted by:	arrowdodger <>
Original commitRevision:309394 

Number of commits found: 5