gnu/gnat-gpl: new spell, the most recent version of gcc's ada frontend

6 files changed, 57 insertions, 0 deletions

diff --git a/gnu/gnat-gpl/BUILD b/gnu/gnat-gpl/BUILD
new file mode 100755
index 0000000000..8440e4e741
--- /dev/null
+++ b/gnu/gnat-gpl/BUILD
@@ -0,0 +1,16 @@
+OPTS="${OPTS} --prefix=${INSTALL_ROOT}/opt/${SPELL}-${VERSION}" &&
+OPTS="${OPTS} --disable-libada"                                 &&
+OPTS="${OPTS} --enable-threads=posix"                           &&
+OPTS="${OPTS} --enable-bootstrap"                               &&
+OPTS="${OPTS} --enable-clocale=gnu"                             &&
+if [[ $CROSS_INSTALL == on ]]; then
+  OPTS="--host=$HOST $OPTS"
+else
+  OPTS="--build=$HOST $OPTS"
+fi  &&
+cd ${SOURCE_DIRECTORY}/build &&
+../src/configure --enable-languages="c,ada,c++" ${OPTS} &&
+make_single                                             &&
+make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" bootstrap                &&
+make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" -C gcc gnatlib gnattools &&
+make_normal
diff --git a/gnu/gnat-gpl/DEPENDS b/gnu/gnat-gpl/DEPENDS
new file mode 100755
index 0000000000..5952923693
--- /dev/null
+++ b/gnu/gnat-gpl/DEPENDS
@@ -0,0 +1,3 @@
+depends ada                       &&
+depends gmp                       &&
+depends mpfr
diff --git a/gnu/gnat-gpl/DETAILS b/gnu/gnat-gpl/DETAILS
new file mode 100755
index 0000000000..1f051d4a3c
--- /dev/null
+++ b/gnu/gnat-gpl/DETAILS
@@ -0,0 +1,19 @@
+           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
+         SOURCE2="gcc-${GCCVERSION}.tar.bz2"
+  SOURCE2_URL[0]="$GNU_URL/gcc/gcc-$GCCVERSION/$SOURCE2"
+    SOURCE2_HASH=sha512:3c4074102b49c9783ecabb183f37741ff878ebc481c4e42661de913d1453fb72f074cfbfafacfb2d7fe6ea662da3c706855fc43afaca26de0c599b8121b60803
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}-src"
+        WEB_SITE="http://libre.adacore.com"
+      LICENSE[0]=GPL
+         ENTERED=20110305
+           SHORT="a compiler for the ada programming language"
+cat << EOF
+This Ada compiler is based on gcc and is being developed by AdaCore. AdaCore
+merges gnat-gpl with gcc's gnat regularly. This version of gnat is usually
+more recent than the one in gcc.
+EOF
diff --git a/gnu/gnat-gpl/HISTORY b/gnu/gnat-gpl/HISTORY
new file mode 100644
index 0000000000..7c32c72441
--- /dev/null
+++ b/gnu/gnat-gpl/HISTORY
@@ -0,0 +1,3 @@
+2011-03-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
+	* BUILD, DEPENDS, DETAILS, INSTALL, PRE_BUILD: spell created
+
diff --git a/gnu/gnat-gpl/INSTALL b/gnu/gnat-gpl/INSTALL
new file mode 100755
index 0000000000..e7044dd572
--- /dev/null
+++ b/gnu/gnat-gpl/INSTALL
@@ -0,0 +1,4 @@
+cd ${SOURCE_DIRECTORY}/build &&
+make_single                  &&
+make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" install &&
+make_normal
diff --git a/gnu/gnat-gpl/PRE_BUILD b/gnu/gnat-gpl/PRE_BUILD
new file mode 100755
index 0000000000..fbdc435a5a
--- /dev/null
+++ b/gnu/gnat-gpl/PRE_BUILD
@@ -0,0 +1,12 @@
+mk_source_dir              &&
+cd ${SOURCE_DIRECTORY}     &&
+unpack_file 2              &&
+mv gcc-${GCCVERSION} src   &&
+cd ${SOURCE_DIRECTORY}/src &&
+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 &&
+cd ${SOURCE_DIRECTORY}     &&
+mkdir build