diff options
Diffstat (limited to 'dev-ada/asis')
| -rw-r--r-- | dev-ada/asis/Manifest | 4 | ||||
| -rw-r--r-- | dev-ada/asis/asis-2018.ebuild | 45 | ||||
| -rw-r--r-- | dev-ada/asis/metadata.xml | 2 |
3 files changed, 49 insertions, 2 deletions
diff --git a/dev-ada/asis/Manifest b/dev-ada/asis/Manifest index 35078156d0ec..2c7a10e8b683 100644 --- a/dev-ada/asis/Manifest +++ b/dev-ada/asis/Manifest @@ -2,6 +2,8 @@ AUX asis-2016-gentoo.patch 1535 BLAKE2B 726f03a935c9cf26f5fc405ff6d3c18d01405d5b AUX asis-2017-gentoo.patch 2030 BLAKE2B 261d2e32b818f17ea4ea51047cf71b73f89d918094397702d6b7f9eaa9e2edb39d754d12beb23b2b6b0a55012773767915c2dc3bd69db850558c8c3afbe44dd5 SHA512 9697264392827254fc23993979ddb1cef8276e8f699f776f85a4ce09fcaf2e87b68e4187622fc16c809d71e7e360626c72f5d5f7be33c72a9544996cbf1321f9 DIST asis-gpl-2016-src.tar.gz 5240554 BLAKE2B b95be816f5f52ac2b29814c09166774884dc166df6e08b26769c9502443f9797c42a1f9b6168336636add6515b748b3ef4b38c6a1dc6f49c1afb9ecec8e50c50 SHA512 439195d4cb5d58328dcc8c815cb6a32c5f8ed1d6581246dfa5dcca7c212ffad38dd63df25e490c4ac628eaf8c8e6d286f8ea036b7f39499704565b60c1bba8ee DIST asis-gpl-2017-src.tar.gz 5909758 BLAKE2B 93b2f87c6945b27cff90cb3e227d6e6ae061dc6fc693ee8960cd9b4abf68cc398f6b6d7dba864399c8e007aee2a91789614b7d2bf146645a5d983f20c1ccbc64 SHA512 dee6b8e0851a4b3181d50256697865f7a6a613eef7b59e43cb1a0b066e794d927db9f60df33f7e1af343d41801a6b66feb1f7a963523b2442c85ca506d7e112f +DIST asis-gpl-2018-src.tar.gz 5983604 BLAKE2B d91e3ff5cb95ec5b69121ed09e73f7bff234147b809353577315cd25cae0069ec5ebfc221a9798341b2a33bde316d74c4ce47c7ace580fe4d867e47032e207f2 SHA512 e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a EBUILD asis-2016.ebuild 1175 BLAKE2B c896467c59d095c44b4f7bc83df71be00c5f416e707f08e688cd6770e53767710c456b1fcb75efff4192c52767c6238431e48c207c7ca5e8d19893a19a7dbd2f SHA512 46f43724b8b648f3a5a7d921209a08c59d3a4bdae75b1b4966dfdab8bdfe14cbdde01c2d1cba5e1a91d739a39838931d7ae17e4be486f2e281521cb70023c995 EBUILD asis-2017.ebuild 1066 BLAKE2B dcca612165bfaa48d636e34606fb4f03eac1cf6fa5651458af91a923317090e5101911af771b82756eb6b0baf0bd6258b0d0c1a212f050f8294eaa8c92b61395 SHA512 6e1c71b2cbefa467fe434dbad8b600244adf6cda2f7cd40ab8497d093e483684591bdf571e6ad03019b90bc40494b7c7ec0b96b2540dc3f23dd3af8a69daeeef -MISC metadata.xml 691 BLAKE2B 404b4929f2d73b2d8feae8e71107211d82f1b264fade79e88752d3e8e31d9d4321163522cbdcf6223ee2f0f5e04680ad127d9b953e1c5afd6ee8b972458cd9b4 SHA512 ec079b9cfceb47d66966db417e9e6666ca56284413cd9aae3881a488837d9928560d499a4f33fe9b4143281d81dcbdf3a129543c9e7669d4a0da6386d644c1c6 +EBUILD asis-2018.ebuild 1091 BLAKE2B 11206881114e73637f9c063933bcfcba6cf663f864edf64037e51625918b1c05da79ea586d4fd76f2b096920c992f1a3e1cad10981f6370239e644da5de3c99a SHA512 31120e76cc569c89b406365b50914b1f5698b1e8b5c1cfda61b504dd420c374bf62170da5a2f4506b8e9e2f0033dac5d476677f5f5ec8c3114c52acb180c88f6 +MISC metadata.xml 758 BLAKE2B aebcdb7e9be0cccf7350d68082d2461ec6a28c94df18dd936f689a3cf02a0139b96c0208fb7e8ff677ff0cb977199f8b4ef097faf6b3376624c4bf220845f216 SHA512 b673b7f404971e44cd09f746338dc2cd655b4b5cd0ced7a742e6986a8d454b4c2738a7576dd5b1ebe5fbea4ff073de60a1fbaf8dddac90e54981159affa0fb07 diff --git a/dev-ada/asis/asis-2018.ebuild b/dev-ada/asis/asis-2018.ebuild new file mode 100644 index 000000000000..c23aae9d5e1b --- /dev/null +++ b/dev-ada/asis/asis-2018.ebuild @@ -0,0 +1,45 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit multiprocessing +MYP=${PN}-gpl-${PV}-src + +DESCRIPTION="To develop tools for Ada software" +HOMEPAGE="http://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 +gnat_2018" + +DEPEND="dev-ada/gnat_util[gnat_2018] + dev-ada/gnatcoll-core[gnat_2018,shared] + dev-ada/gprbuild[gnat_2018] + dev-ada/xmlada[gnat_2018] + dev-lang/gnat-gpl:7.3.0" +RDEPEND="${RDEPEND}" +REQUIRED_USE="!gnat_2016 !gnat_2017 gnat_2018" + +S="${WORKDIR}"/${MYP} + +PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) + +src_compile() { + emake PROCESSORS=$(makeopts_jobs) + emake tools PROCESSORS=$(makeopts_jobs) \ + GPRBUILD_FLAGS="-vl \ + -XLIBRARY_TYPE=relocatable \ + -XXMLADA_BUILD=relocatable" +} + +src_install() { + emake prefix="${D}"/usr install + emake prefix="${D}"/usr install-tools \ + GPRINSTALL="gprinstall \ + -XLIBRARY_TYPE=relocatable \ + -XXMLADA_BUILD=relocatable" +} diff --git a/dev-ada/asis/metadata.xml b/dev-ada/asis/metadata.xml index f4734803a247..416ad818fe85 100644 --- a/dev-ada/asis/metadata.xml +++ b/dev-ada/asis/metadata.xml @@ -8,7 +8,7 @@ <use> <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> - + <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> </use> <longdescription lang="en"> ASIS is a library that gives applications access to the complete |