diff options
Diffstat (limited to 'dev-ada/libadalang')
-rw-r--r-- | dev-ada/libadalang/Manifest | 3 | ||||
-rw-r--r-- | dev-ada/libadalang/libadalang-2018-r1.ebuild | 60 | ||||
-rw-r--r-- | dev-ada/libadalang/metadata.xml | 1 |
3 files changed, 63 insertions, 1 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest index 923854bf431b..b93f81c7b71b 100644 --- a/dev-ada/libadalang/Manifest +++ b/dev-ada/libadalang/Manifest @@ -3,5 +3,6 @@ AUX libadalang-2018-gentoo.patch 678 BLAKE2B ebc0c63b62a0b5c2b53a036de1a71ca33af DIST libadalang-2017-src.tar.gz 1862217 BLAKE2B 58f72726285e56a15278e85902fabf988327ea86a08cc6c86271d61075a6b19a0bffa86e5302f5c32e6d35ef95473ad747853b14899a12d09d49d656f4e6559e SHA512 c8663a7214c3c1dd73a6589a6db10d219fcd2db39ba2ce184eea85272c5f206ab0aa8d13b0e19b08a5996906c7fbddd479795363ec22e889dfceda9967c346c7 DIST libadalang-gpl-2018-src.tar.gz 1990774 BLAKE2B ffad46d4988de7fb8c9bf94d24360a726c59e3c70a2318725a59e0b6b62351e8f5d8dd6501964618607122e3c7cb3bda0e1181818c68324d4067d59ac93e2b1c SHA512 b95196323097065be2996ced767f8f89fb77445f99c249d84043c68d926d61c78b310b4fef0699d08f9112dc423596c076f452745469a75a8467c35b5e10ac2c EBUILD libadalang-2017-r1.ebuild 1089 BLAKE2B ff0e7e37c2f2cf5f7ce0d38b5d0efc073edaf16aa77d65bcf5edad54d234549c33a105164e417a7dc838300415568d34bd2a1dbf3d5d07df99a5e00b2940c331 SHA512 1673bb70bc3a2f323b8ca3cc00d2213e5b6ee81eb90319776845b2ec797ebfca1709ce264cfbe995a76f5ca5d0dd9d91bc80b812d94fef650cc3f6e98b8c5510 +EBUILD libadalang-2018-r1.ebuild 1375 BLAKE2B 75d0bf05bd6d196daf9dc39d60371540dbcfa9459181bb571b521123b85e383e8e66d9a3f116f454bbf10bc669c6b4cd9b8706ecab980f4c21cdc20c52ff973a SHA512 a993c93fb3ff5b4953525e675c8b9d8308128ce21361a5670153c50cf6388036c2a1407a21c57c18e7cc529f9634b3b1ec2603356a677276a6cc9a94b4c6ffd7 EBUILD libadalang-2018.ebuild 1328 BLAKE2B 2383fa22a63f725534503d4b70887f68ad807f64290737075b5dc010410006e8c7a2e0ad337f051a887e2982de9096a79a89d2e29252a4f947c5f01fd2fd262b SHA512 2cbb2b9c76b319326a2717be045993d1f465dcfcb4b80b06438a2918d6a3c0dc22c864ffc5a125453ea7fa8159318b36cd63a058f28bc02c17359a83a7c1fe56 -MISC metadata.xml 810 BLAKE2B 89dbced5c050ba4dea4ba0537cda9512bc534bee25aa8260cd7ac30129ada091ced7c37d29efdbf11ceac9e295171e84b248d186cfb11b2072fd2beb7997089a SHA512 6857c4ac7b2cd9de167039889a99d9cdac1ba0235379f36630d51e075f1fbfccab974bbd9f34a1be08cab7869c8dbc5ec14da9ff4ec6225bd89470c350f22ebd +MISC metadata.xml 878 BLAKE2B b8b5f581aa552350fdb737fd9d89fc33a02ccccad106424333f87992a8f9c6ba60d5e70f3aaba1dae13bc117e2ac97f81a66ae6cc34a1aa13a8c86cab08c2a65 SHA512 02ea95c2cf1d7c131edb2634a6daf3fe77d50d2368c1d2afa5ab18c802de0a8b596bd3bf176fbfa67f7cada1d4a8bddc8c51cb444e23ebf0d437c19922c511f9 diff --git a/dev-ada/libadalang/libadalang-2018-r1.ebuild b/dev-ada/libadalang/libadalang-2018-r1.ebuild new file mode 100644 index 000000000000..8bb71fe888b0 --- /dev/null +++ b/dev-ada/libadalang/libadalang-2018-r1.ebuild @@ -0,0 +1,60 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +PYTHON_COMPAT=( python2_7 ) + +inherit python-single-r1 + +MYP=${PN}-gpl-${PV}-src +DESCRIPTION="high performance semantic engine for the Ada programming language" +HOMEPAGE="https://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf9adc7a4475263382c18 + -> ${MYP}.tar.gz" + +LICENSE="GPL-3 gcc-runtime-library-exception-3.1" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 gnat_2017 +gnat_2018 gnat_2019 +shared static-libs" + +RDEPEND="dev-python/pyyaml + dev-ada/gnatcoll-bindings[gnat_2016=,gnat_2017=,gnat_2018=,gnat_2019=] + dev-ada/gnatcoll-bindings[iconv,shared=,static-libs=] + ${PYTHON_DEPS}" +DEPEND="${RDEPEND} + >=dev-ada/langkit-2018" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" + +S="${WORKDIR}"/${MYP} + +PATCHES=( + "${FILESDIR}"/${P}-gentoo.patch + "${FILESDIR}"/${PN}-2017-gentoo.patch +) + +src_configure() { + ada/manage.py -v debug generate || die +} + +src_compile() { + ada/manage.py \ + -v \ + $(use_enable shared) \ + $(use_enable static-libs static) \ + build \ + --build-mode='prod' || die +} + +src_test () { + ada/manage.py test | grep FAILED && die +} + +src_install () { + ada/manage.py \ + $(use_enable shared) \ + $(use_enable static-libs static) \ + install "${D}"usr || die + python_domodule build/python/libadalang.py + rm -r "${D}"usr/python || die +} diff --git a/dev-ada/libadalang/metadata.xml b/dev-ada/libadalang/metadata.xml index a2f3f0910000..5ed09e4fd913 100644 --- a/dev-ada/libadalang/metadata.xml +++ b/dev-ada/libadalang/metadata.xml @@ -9,6 +9,7 @@ <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> + <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag> <flag name="shared">Build shared library</flag> </use> <longdescription lang="en"> |