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

I am looking for an LTO tape library. Do you have one to spare?
Commit found by message id
Fri, 16 May 2014
[ 09:06:14 marino ] Original commit   Revision:354203
gprbuild devel files touched by this commit Adacore multi-language software build tool
devel/gprbuild: Upgrade version 20130416 (2013) => 20140417 (2014)

Adacore provides annual releases for its major GPL-licensed products.
GPRBuild is an important tool, but it's source is only exposed once
per year, in May.  The 2014 release of GPRBuild relies on features in
Adacore's commercial product, GNAT Pro, that has not yet been migrated
to FSF GNAT.  I had to patch 2014 to get it to build with FSF GNAT 4.9,
losing minor new functionality in the process.

My first decision was to simply skip GPRBuild 2014 stay on the 2013
version, but it turns out packages are already using the new features
in gprinstall, one of the tools in the GPRBuild package.

Tests on adabooch, aws, asis and opentoken indicate they build fine
with GPRBuild 2014.

Number of ports [& non-ports] in this commit: 1

hide all files


16 files found
ActionRevisionLinksFile
modify 354203 View diff View revision /ports/head/devel/gprbuild/Makefile
modify 354203 View diff View revision /ports/head/devel/gprbuild/distinfo
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-Makefile.in
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-gprbuild.gpr
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-share_gprconfig_compilers.xml
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-share_gprconfig_gnat.xml
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-share_gprconfig_linker.xml
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-share_gprconfig_targetset.xml
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-src_gpr__version.adb
import 354203 View revision /ports/head/devel/gprbuild/files/patch-src_gprbuild-compilation-protocol.adb
import 354203 View revision /ports/head/devel/gprbuild/files/patch-src_gprbuild-main.adb
import 354203 View revision /ports/head/devel/gprbuild/files/patch-src_gprinstall-install.adb
modify 354203 View diff View revision /ports/head/devel/gprbuild/files/patch-src_gprlib.adb
import 354203 View revision /ports/head/devel/gprbuild/files/patch-src_gprslave.adb
import 354203 View revision /ports/head/devel/gprbuild/files/patch-src_rewrite__data.ada
modify 354203 View diff View revision /ports/head/devel/gprbuild/pkg-plist
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
phpmyadminSep 13
ossec-hids-clientSep 11
ossec-hids-localSep 11
ossec-hids-serverSep 11
chromiumSep 09
trafficserverSep 05
apache22*Sep 03
apache22-event-mpm*Sep 03
apache22-itk-mpm*Sep 03
apache22-peruser-mpm*Sep 03
apache22-worker-mpm*Sep 03
chromiumAug 26
fileAug 21
py-djangoAug 21
py-django-develAug 21

5 vulnerabilities affecting 12 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 24092
Broken 122
Deprecated 93
Ignore 387
Forbidden 17
Restricted 205
No CDROM 94
Vulnerable 21
Expired 7
Set to expire 88
Interactive 0
new 24 hours 6
new 48 hours24
new 7 days52
new fortnight142
new month252


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