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

We also have a status page: https://freshports.wordpress.com/

non port: 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
opensslNov 02
openssl-develNov 02
wordpressNov 01
php56Oct 30
php70Oct 30
php71Oct 30
wiresharkOct 30
chromiumOct 28
wgetOct 27
wgetOct 27
openoffice-4*Oct 26
openoffice-devel*Oct 26
gitlabOct 25
nodeOct 25
node4Oct 25

1 vulnerabilities affecting 7 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 31864
Broken 126
Deprecated 55
Ignore 364
Forbidden 0
Restricted 175
No CDROM 78
Vulnerable 51
Expired 11
Set to expire 47
Interactive 0
new 24 hours 2
new 48 hours3183
new 7 days3218
new fortnight3392
new month3444

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