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

Showing files for just one port: devel/gprbuild

show all files

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
i2pJul 28
i2pJul 28
i2pJul 28
bugzilla44Jul 25
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23
firefox-develJul 23
firefox-esrJul 23
firefox10Jul 23
firefox15Jul 23
firefox3Jul 23

11 vulnerabilities affecting 34 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 24400
Broken 182
Deprecated 845
Ignore 518
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 27
Expired 4
Set to expire 832
Interactive 13
new 24 hours 1
new 48 hours6
new 7 days18
new fortnight35
new month103


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