notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
non port: devel/klee/Makefile
SVNWeb

Number of commits found: 5

Fri, 18 Oct 2013
[ 07:19 bapt search for other commits by this committer ] Original commit   Revision:330726 (Only the first 10 of 24 ports in this commit are shown above. View all ports for this commit)
Deprecated some ports broken for more than 6 month
Fri, 20 Sep 2013
[ 17:13 bapt search for other commits by this committer ] Original commit   Revision:327724 (Only the first 10 of 2998 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3)
Wed, 17 Apr 2013
[ 15:35 miwi search for other commits by this committer ] Original commit   Revision:315975
- 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
Fri, 22 Mar 2013
[ 20:06 makc search for other commits by this committer ] Original commit   Revision:314960 (Only the first 10 of 464 ports in this commit are shown above. View all ports for this commit)
- convert USE_CMAKE to USES
- while here clean up some ports from CMAKE_VERBOSE, which is intended
  for users

Approved by:	portmgr (miwi)
Sat, 22 Dec 2012
[ 15:01 crees search for other commits by this committer ] Original commit   Revision:309394
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: 5