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
apache22Sep 19
apache24Sep 19
gitlabSep 14
emacs*Sep 13
emacs-devel*Sep 13
emacs-nox11*Sep 13
linux-flashplayerSep 12
cyrus-imapd30Sep 10
chromiumSep 06
py-django110Sep 06
py-django111Sep 06
asterisk11Sep 01
asterisk13Sep 01
asterisk13Sep 01
libgcryptAug 30

7 vulnerabilities affecting 29 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 31450
Broken 110
Deprecated 74
Ignore 380
Forbidden 0
Restricted 174
No CDROM 78
Vulnerable 49
Expired 18
Set to expire 70
Interactive 0
new 24 hours 132
new 48 hours134
new 7 days2654
new fortnight2700
new month7706

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