diff options
author | George Shapovalov <george@gentoo.org> | 2007-05-25 12:53:01 +0000 |
---|---|---|
committer | George Shapovalov <george@gentoo.org> | 2007-05-25 12:53:01 +0000 |
commit | edb68700df8960fd63c9b8aed3968c8494fb0fb8 (patch) | |
tree | c85cec0c822d1a5ec0b37fd30aa4b7c14662ece7 /dev-lang/gnat-gpl | |
parent | Remove upstream patch that breaks DPI for most users. (diff) | |
download | gentoo-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/ChangeLog | 8 | ||||
-rw-r--r-- | dev-lang/gnat-gpl/files/digest-gnat-gpl-4.1.3.2007 | 18 | ||||
-rw-r--r-- | dev-lang/gnat-gpl/gnat-gpl-4.1.3.2007.ebuild | 66 |
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 +} |