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 
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 
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 
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 
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 
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
tomcat7Jun 26
tomcat8Jun 26
php55Jun 25
php55-gdJun 25
php55-mbstringJun 25
php55-wddxJun 25
php55-zipJun 25
php56Jun 25
php56-gdJun 25
php56-mbstringJun 25
php56-pharJun 25
php56-wddxJun 25
php56-zipJun 25
php70Jun 25
php70-gdJun 25

17 vulnerabilities affecting 44 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 26149
Broken 280
Deprecated 284
Ignore 546
Forbidden 0
Restricted 202
No CDROM 85
Vulnerable 58
Expired 14
Set to expire 271
Interactive 0
new 24 hours 0
new 48 hours2
new 7 days28
new fortnight51
new month105

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