FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

non port: head/devel/klee/Makefile
SVNWeb

Number of commits found: 5

Fri, 18 Oct 2013
[ 07:19 bapt ] Original commit   Revision:330726
330726 biology/dotter/Makefile
330726 chinese/bitchx/Makefile
330726 converters/pdf2djvu/Makefile
330726 databases/drizzle/Makefile
330726 databases/gomysql/Makefile
330726 databases/p5-DBD-InterBase/Makefile
330726 databases/p5-DBZ_File/Makefile
330726 deskutils/google-gadgets/Makefile
330726 devel/gonzui/Makefile
330726 devel/klee/Makefile

(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 ] Original commit   Revision:327724
327724 devel/k8048/Makefile
327724 devel/kBuild/Makefile
327724 devel/kaptain/Makefile
327724 devel/kcachegrind/Makefile
327724 devel/kdbg/Makefile
327724 devel/kdebindings4/Makefile
327724 devel/kdesdk4/Makefile
327724 devel/kdesvn-kde4/Makefile
327724 devel/kdevelop-kde4/Makefile
327724 devel/kdevelop-pg-qt/Makefile

(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 ] Original commit   Revision:315975
315975 devel/klee/Makefile
- 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 ] Original commit   Revision:314960
314960 archivers/laszip/Makefile
314960 astro/qlandkartegt/Makefile
314960 astro/stellarium/Makefile
314960 audio/acoustid-fingerprinter/Makefile
314960 audio/aften/Makefile
314960 audio/alure/Makefile
314960 audio/amarok-kde4/Makefile
314960 audio/arss/Makefile
314960 audio/audex/Makefile
314960 audio/ccaudio2/Makefile

(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 ] Original commit   Revision:309394
309394 devel/Makefile
309394 devel/klee
309394 devel/klee/Makefile
309394 devel/klee/distinfo
309394 devel/klee/files
309394 devel/klee/files/patch-CMakeLists.txt
309394 devel/klee/pkg-descr
309394 devel/klee/pkg-plist
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, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
icoutilsJan 19
mysql55-serverJan 18
mysql56-serverJan 18
mysql57-serverJan 18
powerdnsJan 18
powerdns-recursorJan 18
groovyJan 15
irssi*Jan 15
mysql57-client*Jan 15
mysql57-server*Jan 15
rabbitmqJan 15
wordpressJan 15
wordpressJan 15
wordpressJan 15
wordpressJan 15

28 vulnerabilities affecting 71 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 27652
Broken 299
Deprecated 127
Ignore 563
Forbidden 1
Restricted 204
No CDROM 83
Vulnerable 71
Expired 11
Set to expire 117
Interactive 0
new 24 hours 17
new 48 hours20
new 7 days68
new fortnight563
new month742

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.