summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorge Shapovalov <george@gentoo.org>2007-05-25 12:53:01 +0000
committerGeorge Shapovalov <george@gentoo.org>2007-05-25 12:53:01 +0000
commitedb68700df8960fd63c9b8aed3968c8494fb0fb8 (patch)
treec85cec0c822d1a5ec0b37fd30aa4b7c14662ece7 /dev-lang/gnat-gpl
parentRemove upstream patch that breaks DPI for most users. (diff)
downloadgentoo-2-edb68700df8960fd63c9b8aed3968c8494fb0fb8.tar.gz
gentoo-2-edb68700df8960fd63c9b8aed3968c8494fb0fb8.tar.bz2
gentoo-2-edb68700df8960fd63c9b8aed3968c8494fb0fb8.zip
new version by ACT out
(Portage version: 2.1.2.7)
Diffstat (limited to 'dev-lang/gnat-gpl')
-rw-r--r--dev-lang/gnat-gpl/ChangeLog8
-rw-r--r--dev-lang/gnat-gpl/files/digest-gnat-gpl-4.1.3.200718
-rw-r--r--dev-lang/gnat-gpl/gnat-gpl-4.1.3.2007.ebuild66
3 files changed, 91 insertions, 1 deletions
diff --git a/dev-lang/gnat-gpl/ChangeLog b/dev-lang/gnat-gpl/ChangeLog
index 926ad6540bc6..828068a53bea 100644
--- a/dev-lang/gnat-gpl/ChangeLog
+++ b/dev-lang/gnat-gpl/ChangeLog
@@ -1,6 +1,12 @@
# ChangeLog for dev-lang/gnat-gpl
# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/gnat-gpl/ChangeLog,v 1.17 2007/05/19 10:27:07 george Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/gnat-gpl/ChangeLog,v 1.18 2007/05/25 12:53:01 george Exp $
+
+*gnat-gpl-4.1.3.2007 (25 May 2007)
+
+ 25 May 2007; user account for gentoo cvs access <portage-cvs@gentoo.org>
+ +gnat-gpl-4.1.3.2007.ebuild:
+ new version by ACT out
19 May 2007; user account for gentoo cvs access <portage-cvs@gentoo.org>
gnat-gpl-3.4.6.2006-r1.ebuild:
diff --git a/dev-lang/gnat-gpl/files/digest-gnat-gpl-4.1.3.2007 b/dev-lang/gnat-gpl/files/digest-gnat-gpl-4.1.3.2007
new file mode 100644
index 000000000000..b05ddc9e5d34
--- /dev/null
+++ b/dev-lang/gnat-gpl/files/digest-gnat-gpl-4.1.3.2007
@@ -0,0 +1,18 @@
+MD5 91f813b5dcd60289587092f552b6a037 RM-05-Html.zip 1506487
+RMD160 ec1ff61f887d964256f8242bd2be6c285b512963 RM-05-Html.zip 1506487
+SHA256 e7ba344dc796e66c8104d059161b6b5033b91c0f732d1f35e7bcf8400df498d6 RM-05-Html.zip 1506487
+MD5 e3175012e7a63501256d1b32c00aeca8 gcc-branch-4.1.3.tar.bz2 21242772
+RMD160 49bcfd56628a06968d8a3b3e46949cedff295bdd gcc-branch-4.1.3.tar.bz2 21242772
+SHA256 24d976bcc7545ae5452b38be5f4ae0ebdc7c3cf122ed602c8c58e96ac16edb77 gcc-branch-4.1.3.tar.bz2 21242772
+MD5 8017311ec9e77dea09ad92982800af2b gnat-gpl-4.1.3.2007.tar.bz2 840749
+RMD160 d1d5c6fd155b6ba7c352c0720f4d7a49d5510831 gnat-gpl-4.1.3.2007.tar.bz2 840749
+SHA256 e498b0ddaaeb6a93ff017bc15896e35b9ecc8edb78aca40574b7c2dd2b6d423c gnat-gpl-4.1.3.2007.tar.bz2 840749
+MD5 89cb31ac0e755045e0ded755899062fb gnatboot-4.1-amd64.tar.bz2 15314736
+RMD160 d3042072827d66dff67e57559613f7d4136c8443 gnatboot-4.1-amd64.tar.bz2 15314736
+SHA256 a4016920b84f5934ec7120c7bb17c1028b193d5e146a46a9d1ceae4a456924d2 gnatboot-4.1-amd64.tar.bz2 15314736
+MD5 cee3c35f79a8d88a25d61d5f18ae5167 gnatboot-4.1-i386.tar.bz2 15367514
+RMD160 3a5dcd646a9abe75a62410a9daaf749171bf5aad gnatboot-4.1-i386.tar.bz2 15367514
+SHA256 597b4a16f38fb173b1eecc259c1566ccf81291e13b88e2160102a512cefcc518 gnatboot-4.1-i386.tar.bz2 15367514
+MD5 c299b0f02b3e5da30edb25a522017fbf gnatboot-4.1-ppc.tar.bz2 13651598
+RMD160 1890d8ae2e744d8a26ac5f9d1cf7c923637fff8b gnatboot-4.1-ppc.tar.bz2 13651598
+SHA256 2c9ed035b964a7dfcc427cb5c16dc30d3b99276fb424d25b0ebfde23a68013eb gnatboot-4.1-ppc.tar.bz2 13651598
diff --git a/dev-lang/gnat-gpl/gnat-gpl-4.1.3.2007.ebuild b/dev-lang/gnat-gpl/gnat-gpl-4.1.3.2007.ebuild
new file mode 100644
index 000000000000..27d8899d044f
--- /dev/null
+++ b/dev-lang/gnat-gpl/gnat-gpl-4.1.3.2007.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2007 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/gnat-gpl/gnat-gpl-4.1.3.2007.ebuild,v 1.1 2007/05/25 12:53:01 george Exp $
+
+inherit gnatbuild
+
+DESCRIPTION="GNAT Ada Compiler - AdaCore GPL version"
+HOMEPAGE="https://libre.adacore.com/"
+LICENSE="GPL-2"
+
+SRC_URI="http://dev.gentoo.org/~george/src/gcc-branch-${GCCVER}.tar.bz2
+ http://www.adaic.org/standards/05rm/RM-05-Html.zip
+ http://dev.gentoo.org/~george/src/${P}.tar.bz2
+ x86? ( http://dev.gentoo.org/~george/src/gnatboot-${BOOT_SLOT}-i386.tar.bz2 )
+ ppc? ( http://dev.gentoo.org/~george/src/gnatboot-${BOOT_SLOT}-ppc.tar.bz2 )
+ amd64? ( http://dev.gentoo.org/~george/src/gnatboot-${BOOT_SLOT}-amd64.tar.bz2 )"
+# ${BOOT_SLOT} and ${GCCVER} are defined in gnatbuild.eclass and depend
+# only on $PV, so should be safe to use in DEPEND/SRC_URI
+# http://dev.gentoo.org/~george/src/${PN}-gcc-3.4.6.1.diff.bz2
+
+KEYWORDS="~amd64 ~ppc ~x86"
+DEPEND="app-arch/unzip"
+RDEPEND=""
+
+QA_EXECSTACK="${BINPATH:1}/gnatls ${BINPATH:1}/gnatbind
+ ${BINPATH:1}/gnatmake ${LIBEXECPATH:1}/gnat1
+ ${LIBPATH:1}/adalib/libgnat-2007.so
+ ${LIBPATH:1}/libffi.so.4.0.1 ${LIBPATH:1}/32/libffi.so.4.0.1 "
+
+GNATSOURCE="${WORKDIR}/${PN}-2007-src"
+
+
+src_unpack() {
+ gnatbuild_src_unpack base_unpack common_prep
+
+ # one of the converted gcc->gnatgcc in common_prep needs to stay gcc in
+ # fact in this version
+ sed -i -e 's:(Last3 = "gnatgcc"):(Last3 = "gcc"):' "${S}"/gcc/ada/makegpr.adb
+ # reverting similar conversion in comment - line too long
+ sed -i -e 's:"gnatgcc":"gcc":' "${S}"/gcc/ada/osint.ads
+}
+
+src_install() {
+ gnatbuild_src_install
+
+ # docs have to be fetched from 3rd place, quite messy package
+ dodir /usr/share/doc/${PF}/html
+ dohtml "${WORKDIR}"/*.html
+
+ # misc notes and examples
+ cd ${GNATSOURCE}
+ dodoc COPYING features* known-problems-601
+ cp -pPR examples/ Contributors.html "${D}/usr/share/doc/${PF}/"
+
+ # this version of gnat does not provide info files yet
+ rm -rf ${D}${DATAPATH}/info/
+}
+
+pkg_postinst() {
+ gnatbuild_pkg_postinst
+
+ ewarn "Please note!!!"
+ ewarn "gnat-gpl is distributed under the GPL-2 license, without the GMGPL provision!!"
+ ewarn "For the GMGPL version you may look at the gnat-gcc compiler."
+ ewarn
+}