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
Login
User Login
Create account

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
clamavMay 19
goMay 15
go117May 15
curlMay 13
postgresql10-serverMay 11
postgresql11-serverMay 11
postgresql12-serverMay 11
postgresql13-serverMay 11
postgresql14-serverMay 11
chromiumMay 10
rsyslog8May 06
giteaMay 05
gogsMay 05
openssl*May 05
openssl-devel*May 05

9 vulnerabilities affecting 141 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2022-05-19 18:36:39


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 50345
Broken 87
Deprecated 193
Ignore 266
Forbidden 4
Restricted 2
No CDROM 0
Vulnerable 34
Expired 13
Set to expire 162
Interactive 0
new 24 hours 16
new 48 hours20
new 7 days46
new fortnight80
new month164
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2022 Dan Langille. All rights reserved.