diff options
Diffstat (limited to 'dev-ada/libadalang')
| -rw-r--r-- | dev-ada/libadalang/Manifest | 7 | ||||
| -rw-r--r-- | dev-ada/libadalang/files/libadalang-2017-gentoo.patch | 10 | ||||
| -rw-r--r-- | dev-ada/libadalang/files/libadalang-2018-gentoo.patch | 21 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-2017.ebuild | 52 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-2018.ebuild | 60 | ||||
| -rw-r--r-- | dev-ada/libadalang/metadata.xml | 20 |
6 files changed, 170 insertions, 0 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest new file mode 100644 index 000000000000..7955fa858065 --- /dev/null +++ b/dev-ada/libadalang/Manifest @@ -0,0 +1,7 @@ +AUX libadalang-2017-gentoo.patch 521 BLAKE2B 0493204f7a71f9f906017b69b988260add9744888559034e066dd0e33114aaad3c1f69cca23ca59b2c0b2d3503469772a91d6c278595ad8dbda5cf7fb063f8db SHA512 88613409e2ba5aa4e33ae01bdab3ac5298a363732372a33334a85781d1b29d045c7e1207650a1f9a819acad671c5dbfc1d3940a2eda9bf923456dadebb6c9af0 +AUX libadalang-2018-gentoo.patch 1161 BLAKE2B 421608844df562343aaa9c6fd1b1b61a13712a9d50b117011a69681e9da2b55ce29ddad3e91071d9f6aa09feb858358672dad4d037c8a593266d1cdabbe43484 SHA512 cafc3cea5da8cf958db102af78a2c675d9090a7848c83755249137c1d19879d0828c6df27f79c05707e80299ecf2be389411e04f77f021af36a797b6851acdf1 +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-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 new file mode 100644 index 000000000000..dc84915ad5a0 --- /dev/null +++ b/dev-ada/libadalang/files/libadalang-2017-gentoo.patch @@ -0,0 +1,10 @@ +--- 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. + + "-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/files/libadalang-2018-gentoo.patch b/dev-ada/libadalang/files/libadalang-2018-gentoo.patch new file mode 100644 index 000000000000..ef92b255cf48 --- /dev/null +++ b/dev-ada/libadalang/files/libadalang-2018-gentoo.patch @@ -0,0 +1,21 @@ +--- a/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:01:31.495287196 +0200 ++++ b/ada/testsuite/testsuite_support/capi_driver.py 2017-07-30 16:00:08.104464440 +0200 +@@ -72,6 +72,7 @@ + -- different default standard. + + "-I{support_include_dir}", "-g"); ++ for Driver ("C") use External ("GCC", "gcc"); + end Compiler; + end P; + '''.format(main_source=compile_units[0], +--- a/ada/testsuite/tests/c_api/unit_file_providers/test.out 2018-07-05 20:57:15.718357269 +0200 ++++ b/ada/testsuite/tests/c_api/unit_file_providers/test.out 2018-07-05 20:58:47.363026320 +0200 +@@ -5,6 +5,8 @@ + Calling ufp_get_unit_filename (some_field=42, kind=0) with name: "foo" + Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" + Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" ++Calling ufp_get_unit_filename (some_field=42, kind=0) with name: "foo" ++Calling ufp_get_file_from_name (some_field=42, kind=0) with name: "foo" + <DottedName 5:17-5:22> resolves to: + <ObjectDecl ["I"] 2:4-2:21> + Calling ufp_destroy (some_field=42) diff --git a/dev-ada/libadalang/libadalang-2017.ebuild b/dev-ada/libadalang/libadalang-2017.ebuild new file mode 100644 index 000000000000..2d97d6c5e909 --- /dev/null +++ b/dev-ada/libadalang/libadalang-2017.ebuild @@ -0,0 +1,52 @@ +# Copyright 1999-2018 Gentoo Foundation +# 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} + ^^ ( gnat_2016 gnat_2017 )" + +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 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-2018.ebuild b/dev-ada/libadalang/libadalang-2018.ebuild new file mode 100644 index 000000000000..7a0db2177830 --- /dev/null +++ b/dev-ada/libadalang/libadalang-2018.ebuild @@ -0,0 +1,60 @@ +# Copyright 1999-2018 Gentoo Foundation +# 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 +shared static-libs" + +RDEPEND="dev-python/pyyaml + || ( + dev-ada/gnatcoll[projects,shared,gnat_2016=,gnat_2017=] + ( + dev-ada/gnatcoll-bindings[gnat_2016=,gnat_2017=,gnat_2018=] + 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 ) + +src_configure() { + ada/manage.py -v debug generate || die +} + +src_compile() { + ada/manage.py \ + -v \ + $(use_enable shared) \ + $(use_enable static-libs static) \ + build || 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 +} diff --git a/dev-ada/libadalang/metadata.xml b/dev-ada/libadalang/metadata.xml new file mode 100644 index 000000000000..a2f3f0910000 --- /dev/null +++ b/dev-ada/libadalang/metadata.xml @@ -0,0 +1,20 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>tupone@gentoo.org</email> + <name>Tupone Alfredo</name> + </maintainer> + <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> + <flag name="shared">Build shared library</flag> + </use> + <longdescription lang="en"> + Libadalang is a project to build a high performance semantic engine for + the Ada programming language. It is meant to provide a basis to write + Ada tooling, including tools working on potentially changing and + incorrect code, such as IDEs. + </longdescription> +</pkgmetadata> |