summaryrefslogtreecommitdiff
path: root/dev-ada/libadalang
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada/libadalang')
-rw-r--r--dev-ada/libadalang/Manifest3
-rw-r--r--dev-ada/libadalang/libadalang-2017-r2.ebuild59
-rw-r--r--dev-ada/libadalang/libadalang-2018-r2.ebuild68
-rw-r--r--dev-ada/libadalang/libadalang-2019-r1.ebuild74
4 files changed, 204 insertions, 0 deletions
diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest
index 378558a7da6c..0588976a330d 100644
--- a/dev-ada/libadalang/Manifest
+++ b/dev-ada/libadalang/Manifest
@@ -5,7 +5,10 @@ DIST libadalang-2017-src.tar.gz 1862217 BLAKE2B 58f72726285e56a15278e85902fabf98
DIST libadalang-2019-20190510-19916-src.tar.gz 2345942 BLAKE2B 807fd6ea0183b5535e96b258998a0540aa77dec0669db81bae10b56894e12bbb381b356bd55d6684156101d2ea0e5439c2551a4213a81e79e4697a7ff6ba5df2 SHA512 9ebf8d0c01d12f5a8081fced9504b78a45cbde6ecc0e6abeed99aff03abd0b241c1ecba85b256911e474cb77e10e5e387f64d51a2d9b18596baf40313f44f089
DIST libadalang-gpl-2018-src.tar.gz 1990774 BLAKE2B ffad46d4988de7fb8c9bf94d24360a726c59e3c70a2318725a59e0b6b62351e8f5d8dd6501964618607122e3c7cb3bda0e1181818c68324d4067d59ac93e2b1c SHA512 b95196323097065be2996ced767f8f89fb77445f99c249d84043c68d926d61c78b310b4fef0699d08f9112dc423596c076f452745469a75a8467c35b5e10ac2c
EBUILD libadalang-2017-r1.ebuild 1089 BLAKE2B ff0e7e37c2f2cf5f7ce0d38b5d0efc073edaf16aa77d65bcf5edad54d234549c33a105164e417a7dc838300415568d34bd2a1dbf3d5d07df99a5e00b2940c331 SHA512 1673bb70bc3a2f323b8ca3cc00d2213e5b6ee81eb90319776845b2ec797ebfca1709ce264cfbe995a76f5ca5d0dd9d91bc80b812d94fef650cc3f6e98b8c5510
+EBUILD libadalang-2017-r2.ebuild 1191 BLAKE2B 14b44e96d85a60f34436d2be7f397a27c9c5e4074063c30f3d13a5dc7e32b2b143df5a1882498b2d0a75cd1baab3eafaa6ecdff41c0ed0af2306f32f895357bf SHA512 3d511c8494d0a23e9efeab782cd60f4538444a092626a867b24d8cd8248195a190564d775c093fd1baa2d4e2edfeda2b04f58f30b45eff85e74d06e8e50e232c
EBUILD libadalang-2018-r1.ebuild 1461 BLAKE2B 3a5f20ddf7868e8253e761d9aaa3b43064c18f7e45dbb99ecd20b22fe8f7d43530010c3d195693ab75dbd54baae21ad73d6d5b6155f361d115ae45b5cfd76f79 SHA512 489d19ec76fe9e6e7bec478b840a1bee0140827251e165b2941da377dacaef98c0f81d2068b28058d251c88a3c8024bbf6a92436da9ed910abf211bc74960e07
+EBUILD libadalang-2018-r2.ebuild 1439 BLAKE2B d04b2a861a9dc307c6019260a6100f2c6fb08be07d6abdd6ba32bccc5405e294d2d8c9da3a4e1f4794cdea629c79ec34360d341e5f1d3487c2f3fc61878c0d1e SHA512 b148f6827831c718d8b09439a1137210bbeee9f64feba48ad451e1c0fe6c4cefd048ca8f3f6f2a3072698ba2eba12efd54318a85ae9535cd262ca7db6f5d7d98
EBUILD libadalang-2018.ebuild 1327 BLAKE2B 802fdf2de0d0f4659807458581887278febe957924f30e021557566c271fd4301cf3ee1587056d7d29c3a0f964c3f8074bcd0e613105e5030736f7feef1cd10a SHA512 0a08c3661094e31ca8c6bf132fa029da706b10321cf97d14e43cf856da3fba6a890de09353af2a29478a52c538f4d2d06ce4452089e9331164ced4e77d85a696
+EBUILD libadalang-2019-r1.ebuild 1541 BLAKE2B c8caf9ca15ef95451747c2f480408c5b54155e87545c8a4966bdb2f515e1897026c28c78f88e4ebb1c793467f8bd1ed1553441676a9538a432ab59c28347a9f0 SHA512 8f85e6a51c8353d6e51522ab486b0b3444b5c03fe2fc1fcdba9102a5e819ab7c1d89b939c7bed1e8c02503613b62da0c5ee703751425cc5d92acde528ab5fcc6
EBUILD libadalang-2019.ebuild 1519 BLAKE2B f4b1e6cb07001949b225a57bde98f530e4f93b89ca379f33aa96e14d2f942d9c3fbf223cdeda7c6b3291a97804e9822518ad30bda62ed34ac1e2fb4547a3487b SHA512 a8226f42d074efa3ff295c75ddf1483a539fcfdd425f0008653cee6e2c25e53557cb88b3ea6b9bf7b90c30f71a9417cf430205989bec4ee95f01d22a3923e4ac
MISC metadata.xml 606 BLAKE2B b0a66091ccb460eb66fe3fb70be07d49dce48a655e1a7584baf532fec0f995c4de9ef0a7a99f32b44f2645b4acd446723911c569a8757ab93cbb9b70110223c8 SHA512 bab64b417a58e000c4aca66c99a04e268db42f56c24273b47f5a81be9bdc8d6224653bb169aec8095c02887d37b227999772f1b0fe6d05c5754073cdd2ad3432
diff --git a/dev-ada/libadalang/libadalang-2017-r2.ebuild b/dev-ada/libadalang/libadalang-2017-r2.ebuild
new file mode 100644
index 000000000000..b210eddac8f4
--- /dev/null
+++ b/dev-ada/libadalang/libadalang-2017-r2.ebuild
@@ -0,0 +1,59 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+PYTHON_COMPAT=( python2_7 )
+ADA_COMPAT=( gnat_201{6,7} )
+
+inherit ada 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=""
+
+RDEPEND="${ADA_DEPS}
+ dev-python/pyyaml
+ dev-ada/gnatcoll[${ADA_USEDEP},projects,shared]
+ ${PYTHON_DEPS}"
+DEPEND="${RDEPEND}
+ ~dev-ada/langkit-2017"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}
+ ${ADA_REQUIRED_USE}"
+
+S="${WORKDIR}"/${PN}-gps-src
+
+PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
+
+pkg_setup() {
+ python-single-r1_pkg_setup
+ ada_pkg_setup
+}
+
+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-2018-r2.ebuild b/dev-ada/libadalang/libadalang-2018-r2.ebuild
new file mode 100644
index 000000000000..15d30be1ccac
--- /dev/null
+++ b/dev-ada/libadalang/libadalang-2018-r2.ebuild
@@ -0,0 +1,68 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+PYTHON_COMPAT=( python2_7 )
+ADA_COMPAT=( gnat_201{7,8,9} )
+
+inherit ada 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="+shared static-libs"
+
+RDEPEND="dev-python/pyyaml
+ dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,shared=,static-libs=]
+ ${ADA_DEPS}
+ ${PYTHON_DEPS}"
+DEPEND="${RDEPEND}
+ ~dev-ada/langkit-2018
+ dev-ada/gprbuild[${ADA_USEDEP}]"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}
+ ${ADA_REQUIRED_USE}"
+
+S="${WORKDIR}"/${MYP}
+
+pkg_setup() {
+ python-single-r1_pkg_setup
+ ada_pkg_setup
+}
+
+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/libadalang-2019-r1.ebuild b/dev-ada/libadalang/libadalang-2019-r1.ebuild
new file mode 100644
index 000000000000..45c76b0563d7
--- /dev/null
+++ b/dev-ada/libadalang/libadalang-2019-r1.ebuild
@@ -0,0 +1,74 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+PYTHON_COMPAT=( python2_7 )
+ADA_COMPAT=( gnat_201{8,9} )
+
+inherit ada python-single-r1
+
+MYP=${P}-20190510-19916-src
+DESCRIPTION="high performance semantic engine for the Ada programming language"
+HOMEPAGE="https://libre.adacore.com/"
+SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8f3331e87a8f1c967d27
+ -> ${MYP}.tar.gz"
+
+LICENSE="GPL-3 gcc-runtime-library-exception-3.1"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+shared static-libs"
+
+RDEPEND="dev-python/pyyaml
+ dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,shared=,static-libs=]
+ ${ADA_DEPS}
+ ${PYTHON_DEPS}"
+DEPEND="${RDEPEND}
+ dev-ada/gprbuild[${ADA_USEDEP}]
+ >=dev-ada/langkit-2019"
+
+REQUIRED_USE="${PYTHON_REQUIRED_USE}
+ ${ADA_REQUIRED_USE}"
+
+S="${WORKDIR}"/${MYP}
+
+pkg_setup() {
+ python-single-r1_pkg_setup
+ ada_pkg_setup
+}
+
+PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
+
+src_configure() {
+ ada/manage.py -v debug generate || die
+}
+
+src_compile() {
+ libtype=relocatable
+ if use shared; then
+ if use static-libs; then
+ libtype=static,relocatable
+ fi
+ elif use static-libs; then
+ libtype=static
+ fi
+ ada/manage.py \
+ -v \
+ --library-types $libtype \
+ build \
+ --build-mode='prod' || die
+}
+
+src_test () {
+ ada/manage.py test | tee libadalang.testOut;
+ grep -q FAILED libadalang.testOut && die
+}
+
+src_install () {
+ ada/manage.py \
+ -v \
+ --library-types $libtype \
+ install "${D}"/usr || die
+ python_domodule build/python/libadalang
+ rm -r "${D}"/usr/python || die
+}