diff options
author | Florian Franzmann | 2011-10-12 14:05:28 +0200 |
---|---|---|
committer | Florian Franzmann | 2011-10-12 14:05:28 +0200 |
commit | c6b7db5e478088acf9a8fd2947298bcb5efd445c (patch) | |
tree | 9a8922b980de1ff0938391cb6fd5e7ab885bf0ab /gnu/gnat-gpl | |
parent | ff81fafb7c0abd49a34071153133f966435b39da (diff) |
gnu/gnat-gpl: version 2011
Diffstat (limited to 'gnu/gnat-gpl')
-rwxr-xr-x | gnu/gnat-gpl/DETAILS | 12 | ||||
-rw-r--r-- | gnu/gnat-gpl/HISTORY | 3 | ||||
-rwxr-xr-x | gnu/gnat-gpl/PRE_BUILD | 2 |
3 files changed, 10 insertions, 7 deletions
diff --git a/gnu/gnat-gpl/DETAILS b/gnu/gnat-gpl/DETAILS index 1f051d4a3c..c573483dcf 100755 --- a/gnu/gnat-gpl/DETAILS +++ b/gnu/gnat-gpl/DETAILS @@ -1,12 +1,12 @@ SPELL=gnat-gpl - VERSION=2010 - GCCVERSION=4.3.5 - SOURCE="gnat-gpl-2010-src.tgz" - SOURCE_URL[0]='http://libre2.adacore.com/ac_download/?ac_download&file=MD5%3A78ba1b83e1bd31f99fdaadd45c9414b9' - SOURCE_HASH=sha512:f9215a3cb8eb148ed26ae8bd8b85f7e27a832495f80e5f710fea3a956bca50f9705b136b99628bf095c1fbd371ca94885ea94a9e18423a8bd75326c815f27a4d + VERSION=2011 + GCCVERSION=4.5.3 + SOURCE="gnat-gpl-${VERSION}-src.tgz" + SOURCE_URL[0]='http://libre2.adacore.com/ac_download/?ac_download&file=MD5%3Abb1dfdecbcfb2b216a08e6a05fec6330' + SOURCE_HASH=sha512:c7beb136e9649f36a512e8671085e4ee459c201dcf1114804f9e73a294139c82937a11b324b97363096bd602280c9dca917bdc93e7cbf370e39b9f359e5c16cc SOURCE2="gcc-${GCCVERSION}.tar.bz2" SOURCE2_URL[0]="$GNU_URL/gcc/gcc-$GCCVERSION/$SOURCE2" - SOURCE2_HASH=sha512:3c4074102b49c9783ecabb183f37741ff878ebc481c4e42661de913d1453fb72f074cfbfafacfb2d7fe6ea662da3c706855fc43afaca26de0c599b8121b60803 + SOURCE2_HASH=sha512:42c03aa0d16a52e95d1857d859ddd0a4923c232b90481ee52b02bc9a3976bc6e5e502e94af3fc76ac054572a420303c47e409c72f816416aeffd74c4bcd443d3 SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}-src" WEB_SITE="http://libre.adacore.com" LICENSE[0]=GPL diff --git a/gnu/gnat-gpl/HISTORY b/gnu/gnat-gpl/HISTORY index 39b80be722..fc5c8ddacf 100644 --- a/gnu/gnat-gpl/HISTORY +++ b/gnu/gnat-gpl/HISTORY @@ -1,3 +1,6 @@ +2011-10-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * PRE_BUILD, DETAILS: version 2011 + 2011-07-30 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DEPENDS: changed dependency on ada to dependency on gcc with sub-depends on ADA (scripted) diff --git a/gnu/gnat-gpl/PRE_BUILD b/gnu/gnat-gpl/PRE_BUILD index fbdc435a5a..05e69576c7 100755 --- a/gnu/gnat-gpl/PRE_BUILD +++ b/gnu/gnat-gpl/PRE_BUILD @@ -7,6 +7,6 @@ sed -i 's@\./fixinc\.sh@-c true@' gcc/Makefile.in && unpack_file && rm -rf ${SOURCE_DIRECTORY}/src/gcc/ada && mv ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/ada ${SOURCE_DIRECTORY}/src/gcc/ && -patch -p0 < ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/gcc-43.dif && +patch -p0 < ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/gcc-45.dif && cd ${SOURCE_DIRECTORY} && mkdir build |