diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/Manifest.gz | bin | 3741 -> 3745 bytes | |||
| -rw-r--r-- | dev-ada/langkit/Manifest | 2 | ||||
| -rw-r--r-- | dev-ada/langkit/langkit-23.0.0-r1.ebuild (renamed from dev-ada/langkit/langkit-23.0.0.ebuild) | 2 | ||||
| -rw-r--r-- | dev-ada/libadalang/Manifest | 2 | ||||
| -rw-r--r-- | dev-ada/libadalang/libadalang-23.0.0.ebuild | 104 |
5 files changed, 109 insertions, 1 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz Binary files differindex 7f9753a2ccb4..b87b75564ae5 100644 --- a/dev-ada/Manifest.gz +++ b/dev-ada/Manifest.gz diff --git a/dev-ada/langkit/Manifest b/dev-ada/langkit/Manifest index 7c43ce5291af..d884cb2f47a5 100644 --- a/dev-ada/langkit/Manifest +++ b/dev-ada/langkit/Manifest @@ -3,5 +3,5 @@ AUX langkit-23.0.0-gentoo.patch 357 BLAKE2B 3408d89156a55658881a65d9d180d361d6f5 DIST langkit-22.0.0.tar.gz 1008946 BLAKE2B 2b4ee37c9af1c95f9a6e9ad81f37b6bb112d5bd70f36b78e95d969580eacc1101b824ea24de39d04ccf8bc9f9850906fa1c660a29de05e90d12106b10792c37d SHA512 4c6207b650ae8352c65f3edda3192fc66c9b5d2c351665d78ca83b549960a0a41e7828e8974cb8daa3c415281b50253aa15a247407bcedc2c13e573aaa804909 DIST langkit-23.0.0.tar.gz 1178557 BLAKE2B c3b81cafea3afcfd90a87192dca5abd0f19c5ff4e195515dd7c4df70824bf328c24855a6761264b89bf44a56afc8dd77b78fbf322c6f92299082507aa65d61e5 SHA512 6cc6adacb157a47ebc8da46591e45a4ff212fba2cd5ac80c12adb2e84f4508735d98dc68ffce86aa5e5e8d873e6f51efb4f88f4d76a190b9eb0024bf69deefc1 EBUILD langkit-22.0.0-r3.ebuild 2329 BLAKE2B 78696334fe70f1bea5b0f9e5b9c8de62747abf494af6dc2cdce471fcd496d9937d2154efa28e1f6db3636a6aae25e1b7b2064593c2a0b8403e59cc39864400dc SHA512 b975c5d4d4e8b4c1919e84767f622ae183befbffd524db16b2922de2344b2f8c281d2270872b6f19951925fadce17c203cb2eec8f370ce8c1e5929235efef5a2 -EBUILD langkit-23.0.0.ebuild 2821 BLAKE2B 2de3f1535e413b2299db5fa676757429294b0a0767fba492b3f8ccf8b82ea036804a10b4ae3d3868841b48dc23e43a165472eaae3630386e1b6c3912ee2a9fee SHA512 f36e039e8e6d61695fc209ee94ae46e8af685427dd7fa208b8f9a7f1f3ff9fedfa1536b2c1a03948075dcfb48b3dd471f50460631d8513a20796e61ac94e70e2 +EBUILD langkit-23.0.0-r1.ebuild 2934 BLAKE2B 105828965675b6021e287233fa3353cec4489691cbf41fbdcde56942a937f08c784bb7b8054ee25909ef67f436bea25f4fef60a7879cdc25cef8bed387c1100b SHA512 b55d3cefb989274e8ab6ae4ad129a8dbc43f95c9f28b0b6341361161b7161f67488e2f5cdb4314740dbf93d5f5670de7b9a9f631a40625b84297f803bb1ec535 MISC metadata.xml 930 BLAKE2B 5ec7305df09ee1011fc0a0b93f75bbbf315a153a835d0e3c074e95b717d6c95c7f0b29e99537375be3c6aa73e5cf089cd32fcc3567f78bb3c6768e171c3d4521 SHA512 8f0056d87158d87dc3fad08ceffcfc2a6c065977669b8d0f8560b72627f8b050ed34886e4cad19e51062b8a2e412f37b1c3ff983f1d33da79cb6283f6532df85 diff --git a/dev-ada/langkit/langkit-23.0.0.ebuild b/dev-ada/langkit/langkit-23.0.0-r1.ebuild index d384194e8cee..35be6b6a98d1 100644 --- a/dev-ada/langkit/langkit-23.0.0.ebuild +++ b/dev-ada/langkit/langkit-23.0.0-r1.ebuild @@ -101,4 +101,6 @@ python_install_all() { if use shared; then build relocatable fi + gprinstall -v -P sigsegv_handler/langkit_sigsegv_handler.gpr -p -XBUILD_MODE=dev \ + --prefix="${D}"/usr || die } diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest index 01e64078ceca..eae4aee0212c 100644 --- a/dev-ada/libadalang/Manifest +++ b/dev-ada/libadalang/Manifest @@ -1,3 +1,5 @@ DIST libadalang-22.0.0.tar.gz 2364531 BLAKE2B 3992baa7180dce696b2c8aa0d451117a12b90072e83274d96a8d971b627c82bc66c5c21fa1eb6dbdd7ce95e0264852c5702b3d7c90f7bdf093915178e0a4a659 SHA512 b874feb102fe221595ad4b9b95b3ea4c6593686f96097ace17ad3c57534dc801000819de0cf898489e3407fd201eb003dd75f4f743a53dfb76cadfa6c727d789 +DIST libadalang-23.0.0.tar.gz 2604724 BLAKE2B 0e415c92fdd150e19288cee87a011c448962531b629b7f77be3b22a7e6662017a6cfd5132a5895c68ffee4b28b7ac35e4b5abc07f015a84638ecb1843976e3e5 SHA512 ed80d751d3a2e07b0d612bda24c0f1d753d15237cde3d9e3bbb6c79c8c98d6af050151c499d161e619282ed8cb742968bbfb5423008aa593a6673fcf0375c7d3 EBUILD libadalang-22.0.0.ebuild 2349 BLAKE2B 78efe28527097d15dc3a042611d990f95f6fe266f9ab7163be896fc8cb7e8945d53565cac931e5064540b50c87d443bb37d3347af350c339092625d1bde40f76 SHA512 5893ab2ee5dc6ae929f30f05f7e9faffd1a96690ffb79c9bbd224e26b34859186951d67aeb0351e98b115eb71697226e43ed88b19e43a1c5e39e197e27dabda7 +EBUILD libadalang-23.0.0.ebuild 2516 BLAKE2B 0dc8a44818ce9fd08bb551f66b5388fbede7eb4914421bee897095eb2678dbe4ac3e1defdc113495b4a984aae40351c0a7d7bfb1f2c7b36e532616b443b65485 SHA512 54f154eab21fad4e026f07fd9d15e844ffee5b9f60976a5a0b8132a837891f7f60e12a472ed30bfa088b1cecc9d54d0a9a0cc9973a990fc6356d0c165151be9b MISC metadata.xml 676 BLAKE2B 085445f4e10891044b544d0885a3887a5f8b2d0188ead82eee9e3a351042b171cd3cbfe5ac5910a008e723f74c1f9e96cec5239b91567af28f10c136d5372d6f SHA512 7165db10f2d58592cdf3197778ed42a99d6fa05730ab89ed9faa05146e6d54e3888f7f2841f129c5d2ef5897910348058de4303b105e1ba50ff08e2cbc7831ce diff --git a/dev-ada/libadalang/libadalang-23.0.0.ebuild b/dev-ada/libadalang/libadalang-23.0.0.ebuild new file mode 100644 index 000000000000..6e89a8154873 --- /dev/null +++ b/dev-ada/libadalang/libadalang-23.0.0.ebuild @@ -0,0 +1,104 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +PYTHON_COMPAT=( python3_{8,9,10} ) +ADA_COMPAT=( gnat_2021 gcc_12_2_0 ) + +inherit ada python-single-r1 multiprocessing + +DESCRIPTION="high performance semantic engine for the Ada programming language" +HOMEPAGE="https://libre.adacore.com/" +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="test +static-libs static-pic" +REQUIRED_USE="${PYTHON_REQUIRED_USE} + ${ADA_REQUIRED_USE}" +RESTRICT="!test? ( test )" + +RDEPEND="dev-python/pyyaml + dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv,shared,static-libs?,static-pic?] + ${ADA_DEPS} + ${PYTHON_DEPS} + dev-ada/langkit[${ADA_USEDEP},shared,static-libs?,static-pic?] + $(python_gen_cond_dep ' + dev-ada/langkit[${PYTHON_USEDEP}] + ')" +DEPEND="${RDEPEND} + dev-ada/gprbuild[${ADA_USEDEP}] +" +BDEPEND="test? ( + dev-ml/dune + dev-ml/zarith + dev-ml/camomile + dev-ml/ocaml-ctypes + dev-ada/e3-testsuite + <dev-lang/ocaml-4.14 + )" + +pkg_setup() { + python-single-r1_pkg_setup + ada_pkg_setup + libType='' + if use static-libs; then + libType+=',static' + fi + if use static-pic; then + libType+=',static-pic' + fi + libType+=',relocatable' + libType=${libType:1} +} + +src_prepare() { + default + rm -r testsuite/tests/misc/copyright || die + rm -r testsuite/tests/name_resolution/field_hiding_2 || die + rm -r testsuite/tests/ocaml_api/auto_provider || die + rm -r testsuite/tests/ocaml_api/project_unit_provider || die +} + +src_configure() { + ${EPYTHON} manage.py generate -v debug || die +} + +src_compile() { + ${EPYTHON} manage.py build -v \ + --build-mode "prod" \ + -j$(makeopts_jobs) \ + --gargs "-cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} -largs ${LDFLAGS}" \ + --library-types=${libType} || die + GPR_PROJECT_PATH="${S}"/build \ + gprbuild -P contrib/highlight/highlight.gpr \ + -j$(makeopts_jobs) -v \ + -XBUILD_MODE=prod \ + -XLIBRARY_TYPE=relocatable \ + -XXMLADA_BUILD=relocatable \ + -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} \ + -largs ${LDFLAGS} \ + || die +} + +src_test() { + BUILD_MODE=prod \ + ${EPYTHON} manage.py test \ + --build-mode "prod" \ + --restricted-env -j 1 \ + |& tee libadalang.testOut + grep -qw FAIL libadalang.testOut && die +} + +src_install() { + ${EPYTHON} manage.py \ + install "${D}"/usr \ + --build-mode "prod" \ + --library-types=${libType} || die + rm -r "${D}"/usr/python || die + python_domodule build/python/libadalang + rm -r "${D}"/usr/ocaml || die +} |