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
janssonMay 04
gitlabMay 03
libksbaMay 03
libressl*May 03
libressl-devel*May 03
linux-c6-openssl*May 03
openssl*May 03
php55May 03
php55-bcmathMay 03
php55-exifMay 03
php55-gdMay 03
php55-xmlMay 03
php56May 03
php56-bcmathMay 03
php56-exifMay 03

17 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 25993
Broken 283
Deprecated 63
Ignore 550
Forbidden 0
Restricted 203
No CDROM 86
Vulnerable 57
Expired 25
Set to expire 51
Interactive 0
new 24 hours 3
new 48 hours3
new 7 days16
new fortnight42
new month111

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