diff options
Diffstat (limited to 'dev-ada/libadalang')
| -rw-r--r-- | dev-ada/libadalang/Manifest | 5 | ||||
| -rw-r--r-- | dev-ada/libadalang/files/libadalang-2017-gentoo.patch | 28 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-2017-r1.ebuild | 51 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-2017.ebuild | 9 |
4 files changed, 76 insertions, 17 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest index 95fa35110a84..73935cd23e2e 100644 --- a/dev-ada/libadalang/Manifest +++ b/dev-ada/libadalang/Manifest @@ -1,7 +1,8 @@ -AUX libadalang-2017-gentoo.patch 521 BLAKE2B 0493204f7a71f9f906017b69b988260add9744888559034e066dd0e33114aaad3c1f69cca23ca59b2c0b2d3503469772a91d6c278595ad8dbda5cf7fb063f8db SHA512 88613409e2ba5aa4e33ae01bdab3ac5298a363732372a33334a85781d1b29d045c7e1207650a1f9a819acad671c5dbfc1d3940a2eda9bf923456dadebb6c9af0 +AUX libadalang-2017-gentoo.patch 927 BLAKE2B 3c0a92df8aee109faa4be73bc1950af46fbf083a165582bc6ee270171d4317508fe794f8583b5cf6da7ad72ab8ff706befe4339d44319559341228a823b4c188 SHA512 0436780f1eb872c10b30405d467534a752a293d49b5522ff1fafa9524474b3fbc99889a991030ce81178461cb875dca31e1283a3f89a3fc338f4ec3d1a9de4fb AUX libadalang-2018-gentoo.patch 678 BLAKE2B ebc0c63b62a0b5c2b53a036de1a71ca33af992dd3774d894f4e0407e291bee15fac5be358c5f2600516ecb15c7b7846c7213b1fdd3c522ecd2f1393247d4b4b4 SHA512 346b561e2db3258e768bc4c4ee92a3ba6977f58de3cdae0ab84df9c31ba178dad3788309db2505c2dc8c8fd4319ef68201499303a6b92d837508a6bd91e49779 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.ebuild 1096 BLAKE2B f0ee4b436c3a7c0288e9360ecf392e7f8b2ae9592f4e3e1a2c3cd50f1979849c52bc52835e8b331ed14c7beaa28ca1f794d3d1bed189935644910505b2c70efa SHA512 802a402622df6d21390aa497342ad4b2fd9b8ba18f7cb52a5377909eedb8e47085f9f3df35d16763904cfaf3dd51413c8526d25a04bd0e1bf26477b6d86ec09c +EBUILD libadalang-2017-r1.ebuild 1085 BLAKE2B 2239f79e2282925ee0cccda64f41cbf9bd459de1e04f09bdf5be73bd0f01a86d00fc7249c13e8e06373b5a69268ddd5b623a973162da8551b91027b14b9f496e SHA512 b6513432ff0c96cb159325c47aa2af4fc6ab19437c43c94d213f35eb0c1b89226e182da0f80cfb8935e61d50da82731af7e94cd8193f7c26e3472a7918a57976 +EBUILD libadalang-2017.ebuild 1038 BLAKE2B 728c3c30f2b791e8fc88f49f3726118d24221d7b2dd782b08a866c816cbdc3dc0d156022ae2fa61c6e5c891195e898ee8fd4b696d32ffa030568340530f3e44d SHA512 531f5f84f4685038efa9d1bf742aaff2826b0445216d6c7f5664f35d9642f799ea1d50295ec700d7861f6c74b77024fab68175890b89d5189f418fead58bfd6e EBUILD libadalang-2018.ebuild 1341 BLAKE2B 2440d20e69e4991a5e0f28f47658080c6c2a3784e6339ae85f01d053dfa5f93c4c8aeb31cdcac4be5c5e99b6c59ef7f30963281604428ad1d539cf5890f49020 SHA512 53570131296ef159031711c777d9b20dc34cc2171f3aea67608267f775ccc1bfaa2b5318952c318868a6bfdc812425c2e6d1d00bb3fcefaa487bd70ebfe58c54 MISC metadata.xml 810 BLAKE2B 89dbced5c050ba4dea4ba0537cda9512bc534bee25aa8260cd7ac30129ada091ced7c37d29efdbf11ceac9e295171e84b248d186cfb11b2072fd2beb7997089a SHA512 6857c4ac7b2cd9de167039889a99d9cdac1ba0235379f36630d51e075f1fbfccab974bbd9f34a1be08cab7869c8dbc5ec14da9ff4ec6225bd89470c350f22ebd diff --git a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch b/dev-ada/libadalang/files/libadalang-2017-gentoo.patch index dc84915ad5a0..00f9aca46959 100644 --- a/dev-ada/libadalang/files/libadalang-2017-gentoo.patch +++ b/dev-ada/libadalang/files/libadalang-2017-gentoo.patch @@ -1,10 +1,20 @@ ---- libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:01:31.495287196 +0200 -+++ libadalang-gps-src/ada/testsuite/testsuite_support/capi_driver.py.old 2017-07-30 16:00:08.104464440 +0200 -@@ -72,6 +72,7 @@ - -- different default standard. +--- a/ada/testsuite/python_support/utils.py 2018-11-14 22:21:36.366873970 +0100 ++++ b/ada/testsuite/python_support/utils.py 2018-11-14 22:21:59.397477086 +0100 +@@ -28,6 +28,7 @@ + library_kind = 'static' if LAL_DISABLE_SHARED else 'relocatable' + argv.extend([ + '-XLIBRARY_TYPE={}'.format(library_kind), ++ '-XGPR_BUILD={}'.format(library_kind), + '-XXMLADA_BUILD={}'.format(library_kind), + ]) + subprocess.check_call(argv) +--- a/ada/testsuite/testsuite_support/base_driver.py 2018-11-14 22:22:37.698817058 +0100 ++++ b/ada/testsuite/testsuite_support/base_driver.py 2018-11-14 22:30:37.631613448 +0100 +@@ -310,6 +310,7 @@ + """ + library_type = 'static' if self.disable_shared else 'relocatable' + return ['-XLIBRARY_TYPE={}'.format(library_type), ++ '-XGPR_BUILD={}'.format(library_type), + '-XXMLADA_BUILD={}'.format(library_type)] - "-I{support_include_dir}", "-g"); -+ for Driver ("C") use External ("GCC", "gcc"); - end Compiler; - end P; - '''.format(main_source=compile_units[0], + # diff --git a/dev-ada/libadalang/libadalang-2017-r1.ebuild b/dev-ada/libadalang/libadalang-2017-r1.ebuild new file mode 100644 index 000000000000..b4185f05c645 --- /dev/null +++ b/dev-ada/libadalang/libadalang-2017-r1.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2018 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +PYTHON_COMPAT=( python2_7 ) + +inherit python-single-r1 + +DESCRIPTION="high performance semantic engine for the Ada programming language" +HOMEPAGE="https://libre.adacore.com/" +SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed042 + -> ${P}-src.tar.gz" + +LICENSE="GPL-3 gcc-runtime-library-exception-3.1" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="gnat_2016 +gnat_2017" + +RDEPEND="dev-python/pyyaml + dev-ada/gnatcoll[projects,shared,gnat_2016=,gnat_2017=] + ${PYTHON_DEPS}" +DEPEND="${RDEPEND} + dev-ada/langkit" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" + +S="${WORKDIR}"/${PN}-gps-src + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_prepare() { + default + rm -r ada/testsuite/tests/acats_parse || die +} + +src_configure() { + ada/manage.py generate || die +} + +src_compile() { + ada/manage.py --verbosity=debug build || die +} + +src_test () { + ada/manage.py test | grep FAILED && die +} + +src_install () { + ada/manage.py install "${D}"usr + python_domodule build/python/libadalang.py +} diff --git a/dev-ada/libadalang/libadalang-2017.ebuild b/dev-ada/libadalang/libadalang-2017.ebuild index 2d97d6c5e909..3856ef26ccef 100644 --- a/dev-ada/libadalang/libadalang-2017.ebuild +++ b/dev-ada/libadalang/libadalang-2017.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2018 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -22,13 +22,10 @@ RDEPEND="dev-python/pyyaml ${PYTHON_DEPS}" DEPEND="${RDEPEND} dev-ada/langkit" -REQUIRED_USE="${PYTHON_REQUIRED_USE} - ^^ ( gnat_2016 gnat_2017 )" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" S="${WORKDIR}"/${PN}-gps-src -PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) - src_prepare() { default rm -r ada/testsuite/tests/acats_parse || die @@ -39,7 +36,7 @@ src_configure() { } src_compile() { - ada/manage.py build || die + ada/manage.py --verbosity=debug build || die } src_test () { |