diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-03-18 00:49:43 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-18 00:49:43 +0000 |
commit | ec33f4bcbd3944dc39c56a98cde12232684932cf (patch) | |
tree | 3f7cc55fc8e88c98187f129228aa74a73ddcb18a /dev-ada | |
parent | 5c94a4b3d11ad7b169e23bd604cf403c96bf4f1c (diff) |
gentoo auto-resync : 18:03:2024 - 00:49:43
Diffstat (limited to 'dev-ada')
-rw-r--r-- | dev-ada/Manifest.gz | bin | 4733 -> 4741 bytes | |||
-rw-r--r-- | dev-ada/VSS/Manifest | 2 | ||||
-rw-r--r-- | dev-ada/VSS/VSS-24.0.0.ebuild | 43 | ||||
-rw-r--r-- | dev-ada/gpr/Manifest | 2 | ||||
-rw-r--r-- | dev-ada/gpr/gpr-24.0.0.ebuild | 88 | ||||
-rw-r--r-- | dev-ada/libadalang/Manifest | 2 | ||||
-rw-r--r-- | dev-ada/libadalang/libadalang-24.0.0.ebuild | 110 |
7 files changed, 247 insertions, 0 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz Binary files differindex 30db68a844fb..4d7a0fd615bb 100644 --- a/dev-ada/Manifest.gz +++ b/dev-ada/Manifest.gz diff --git a/dev-ada/VSS/Manifest b/dev-ada/VSS/Manifest index 260614c82fe6..4070116cfafa 100644 --- a/dev-ada/VSS/Manifest +++ b/dev-ada/VSS/Manifest @@ -1,5 +1,7 @@ DIST VSS-22.0.0.tar.gz 310314 BLAKE2B 710645472b0e767f744ca12564a595fabc6bd931a271bc6fd575fdee70ade1676f3a0dbe00d7700ba5bbeb341fa6cc767b8efb18162f1fc308edcb653c9919f4 SHA512 b38582efc2b334a5b550eb9eacadd721b354f51d4cc26fcb4da1c8e7d241a848d5d3ee2651a72b552e2d5357b9fde46ba48e694f17f49cc2bcdad63d2f9d685e DIST VSS-23.0.0.tar.gz 481748 BLAKE2B eb84e1b84b2d3a463a0e19a3cdd8b6e1e0dd666f72cd79f592f07f75fd7f2c8496f89f5d272c2be1af8a75491a8e3f0f11131dbfe892f3fe107f7e50223ea4bd SHA512 11e762a6ade7137acb32c0776db06244b40a137df90ee5d25855503deeba2a22e6e962ed56d991c71fd27a514edca22ff3d35b0f783855e2d670eb6b45aa4c03 +DIST VSS-24.0.0.tar.gz 1116669 BLAKE2B 5f703b4bf5234b38485a3104bd4e32ce0b2666fa00e2808b9a03df5c28c11ca0ac95c655f5490dbd04f113ef2894b45f2795f87cbf297ffa07f85f5a4e7d4710 SHA512 2b77646a299c073535ab0a315a9950e2fc6d43375fa62e0cb2e93ed4094ee42994ad74747c8a3d16ade5473c5520926edd59e4422321398c5deb17c6aedb66ee EBUILD VSS-22.0.0-r2.ebuild 921 BLAKE2B 35c243f6c3b3db2dca87cdfcc7249c4ce56ae8e9ad6429f80b804b982e6335932ec06d121395ec90cb325aa937f1302bb0b6ddc303ce63cfb74e9537fde943d9 SHA512 7ca05726673e52c775ee8988525ae8d46fa99a7f36ec5ff539c2ff06f0a1a0facd690ba5aab1d86d00782d82a6133de7d08c009f6f249a6a39c67266c5993d68 EBUILD VSS-23.0.0-r2.ebuild 1034 BLAKE2B ba594d0c05f51c56c642505cb260d5449af71b820cf38a29a8166651eaede9b0847e228289c251b3d887cdb45d6a664cee7c0a79d5f1aac71b33bf5d382047be SHA512 29fb68c4f4fa8b72521a7ea767c1aaca276a47ced9ab23ec9049dc808424c250f2114722868b844d835cff87d48da414055dce74a45e74354404cf88a632036e +EBUILD VSS-24.0.0.ebuild 989 BLAKE2B f6d15cf0ce536ef3f7a25b73fb90a08fbe464b585fa9d55c3ce7cae4524b78f604b26ccb87b77cf617407c47b99d72253e8bb3547cba59ca054625ced571f613 SHA512 1e1f4a429be91fe8e02abf2ab8b96f3f7b79eaf9aaf51d639f79678b55dba8026188f6ad3a20549cb0bf23d51c3a18a1d87535bf272994af649238a07553e9ce MISC metadata.xml 292 BLAKE2B 5a618f9fd5bd6c227fb9c7a5c40c47ed72a314d5dbf2d5f93cb97a7c34236064ed43c4f874561e5e48b385c10eebb9d8a75f9916a722e5f460091738cf6e4679 SHA512 9440e2195e1500bb2edbb5cf4b800d211f6637749a2b5833d341409cfb11a854b0d18cb997e8ff4bfd1afbfb8d49b6f23957cf9b93bcaffd9bc0a60e7e8d8079 diff --git a/dev-ada/VSS/VSS-24.0.0.ebuild b/dev-ada/VSS/VSS-24.0.0.ebuild new file mode 100644 index 000000000000..c313680fa3e5 --- /dev/null +++ b/dev-ada/VSS/VSS-24.0.0.ebuild @@ -0,0 +1,43 @@ +# Copyright 2021-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +ADA_COMPAT=( gcc_12 gcc_13 ) +inherit ada multiprocessing + +DESCRIPTION="A high level string and text processing library" +HOMEPAGE="https://github.com/AdaCore/VSS" +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="GPL-3 gcc-runtime-library-exception-3.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="test" +RESTRICT="!test? ( test )" +REQUIRED_USE="${ADA_REQUIRED_USE}" + +RDEPEND="${ADA_DEPS} + dev-ada/xmlada[${ADA_USEDEP}]" +DEPEND="${RDEPEND}" +BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}] + test? ( + app-i18n/unicode-data + )" + +src_prepare() { + mkdir data + ln -sf /usr/share/unicode-data data/ucd || die + default +} + +src_compile() { + emake GPRBUILD_FLAGS="-p -j$(makeopts_jobs) -v" +} + +src_test() { + emake -j1 GPRBUILD_FLAGS="-p -j$(makeopts_jobs) -v" build_tests + # To run all the test need to follow data/README.md + emake check_html +} diff --git a/dev-ada/gpr/Manifest b/dev-ada/gpr/Manifest index 01e42328f118..9872871f391c 100644 --- a/dev-ada/gpr/Manifest +++ b/dev-ada/gpr/Manifest @@ -1,3 +1,5 @@ DIST gpr-23.0.0.tar.gz 1005298 BLAKE2B 475ac5ad89a4d038dc8cdb953826f46e0f8f2bbf09a858366a634b5bacfc4b0282db4206cf5d113900dffd3c2ad9423b6c6e56de8058215a7946020c30dacc8b SHA512 f1cfd2c2162ffa984c62238a472438919c22a83b61e03c9234f6bc601c1d1e50981f52d024106ad5196dd83ee7686e864c8728c56d451be06baf96161afd8bcc +DIST gpr2-with-lkparser-24.0.tgz 2030278 BLAKE2B ae42fd876a08a654db2db919e6d777ba603d54d6db618e8b8dbdfcfd9313decad092e0a9feae09ca46ec324cd860eaffbb6fa670290d454414677ad7e4a61dc7 SHA512 eda3c693393763da31312733e2bc06e852b867a32b42da6afdddd623051a1d29f7243aabaef3ae50052b22686dce6db62d9823652ce516d79822e4215f4d87b1 EBUILD gpr-23.0.0-r6.ebuild 3362 BLAKE2B 0763dd534b6bae5835ed377435d74460eb1fbee8a204b74f35c88b3e5cdcfb3a4d50bfc07ab5660af7e214df01ddcf224db3d9c7ab2e7cb06ffdf2bfaf35850e SHA512 782fe78be24b21926060c6ecc0bc3b46d68d06dbae8a799b148ac1b5c9b551423d0a896a743c7f943cd06f9bb943bf29e9404af64a3aabbf52c17d3eb57320e7 +EBUILD gpr-24.0.0.ebuild 2318 BLAKE2B 5125851abb3910f6b49efa1c8b4ecf7b3232796c7dc33de84aafcdf69cd6492debb1cfa7dd3c39397388a9c9bb8e390c93c4b4668f81505dc9480b9a76e6edab SHA512 a57a91c1f2fc7b86cb2d67e099b985f2d3ff8d73cd3fe7c9a9a131b54eb69ceb5296b05aeb76790c0a0e2bf6ec9717d5a192fb9cc5a163080ac4ce4ca380c3f1 MISC metadata.xml 425 BLAKE2B f43600b21f72ac0a1e54e757848b52c070dafa69d36c142d60d7693cdd17c9f3049948da3b6c069a46a3b1e836bac18d268823a80c037f4e14e08f4822b8e1a3 SHA512 c6df0aded61f6d481d64a331b5db0da30dd6a75c56cc051ad5ba7f90cc7376f17ede0b7c2f94acd110ccc104773c138d961040b272edc7a11f1671d548008e7e diff --git a/dev-ada/gpr/gpr-24.0.0.ebuild b/dev-ada/gpr/gpr-24.0.0.ebuild new file mode 100644 index 000000000000..b0b0a3b4d4e8 --- /dev/null +++ b/dev-ada/gpr/gpr-24.0.0.ebuild @@ -0,0 +1,88 @@ +# Copyright 2022-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 ) + +inherit ada multiprocessing + +DESCRIPTION="LibGPR2 - Parser for GPR Project files" +HOMEPAGE="https://github.com/AdaCore/gpr" +SRC_URI="https://github.com/AdaCore/${PN}/releases/download/v${PV}/gpr2-with-lkparser-$(ver_cut 1-2).tgz" + +LICENSE="Apache-2.0" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+shared static-libs static-pic" +REQUIRED_USE="|| ( shared static-libs static-pic ) + ${ADA_REQUIRED_USE}" + +RDEPEND="${ADA_DEPS} + dev-ada/xmlada[${ADA_USEDEP},shared?,static-libs?,static-pic?] + dev-ada/gnatcoll-core[${ADA_USEDEP},shared?,static-libs?,static-pic?] + dev-ada/gnatcoll-bindings[${ADA_USEDEP},shared?,static-libs?,static-pic?,iconv,gmp] +" + +DEPEND="${RDEPEND} + dev-ada/gprconfig_kb[${ADA_USEDEP}] + dev-ada/gprbuild[${ADA_USEDEP}]" + +S="${WORKDIR}"/${PN} + +src_compile() { + build () { + gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \ + -XGPR2_BUILD=release -XXMLADA_BUILD=$1 gpr2.gpr \ + -largs ${LDFLAGS} \ + -cargs ${ADAFLAGS} || die "gprbuild failed" + } + if use shared; then + build relocatable + fi + if use static-libs; then + build static + fi + if use static-pic; then + build static-pic + fi + if use static-libs; then + libtype='static' + elif use static-pic; then + libtype='static-pic' + elif use shared; then + libtype='relocatable' + fi + + gprbuild -p -m -v -j$(makeopts_jobs) -aP . -XGPR2_BUILD=release \ + -XLIBRARY_TYPE=${libtype} -XXMLADA_BUILD=${libtype} tools/gpr2-tools.gpr \ + -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die +} + +src_install() { + build () { + gprinstall -XLIBRARY_TYPE=$1 -f -p -v -XGPR2_BUILD=release \ + --prefix="${D}/usr" -XXMLADA_BUILD=$1 \ + --build-name=$1 --build-var=LIBRARY_TYPE \ + --build-var=GPR2_LIBRARY_TYPE gpr2.gpr || die + } + if use shared; then + build relocatable + fi + if use static-libs; then + build static + fi + if use static-pic; then + build static-pic + fi + gprinstall -p -f -v -aP . -XGPR2_BUILD=release --prefix="${D}/usr" \ + -XLIBRARY_TYPE=${libtype} -XXMLADA_BUILD=${libtype} \ + --build-name=${libtype} --mode=usage tools/gpr2-tools.gpr || die + + einstalldocs + + rm "${D}"/usr/bin/gprclean || die + rm "${D}"/usr/bin/gprconfig || die + rm "${D}"/usr/bin/gprinstall || die + rm "${D}"/usr/bin/gprls || die +} diff --git a/dev-ada/libadalang/Manifest b/dev-ada/libadalang/Manifest index 69200c4d7dab..1560b0d9dd70 100644 --- a/dev-ada/libadalang/Manifest +++ b/dev-ada/libadalang/Manifest @@ -1,4 +1,6 @@ AUX libadalang-23.0.0-test.patch 554 BLAKE2B 3f9dd2b8bba0defd745e18e00162116c56cef11395ebea09730337a844824e0b3c231ed650dd2510fca431c12c5d1991bbcf9b772899f85d5f9af90a3acb51b1 SHA512 0f53b76eb2dbdf8c4fdea5d1e582e2402fae31367d48f95e9fb15726af5b32d8a26bb4295c4c60a68fd4e3bf600dd82cbfa4b8b28cadcd626c6c9f652dccb175 DIST libadalang-23.0.0.tar.gz 2604724 BLAKE2B 0e415c92fdd150e19288cee87a011c448962531b629b7f77be3b22a7e6662017a6cfd5132a5895c68ffee4b28b7ac35e4b5abc07f015a84638ecb1843976e3e5 SHA512 ed80d751d3a2e07b0d612bda24c0f1d753d15237cde3d9e3bbb6c79c8c98d6af050151c499d161e619282ed8cb742968bbfb5423008aa593a6673fcf0375c7d3 +DIST libadalang-24.0.0.tar.gz 2783238 BLAKE2B 6d3b3df1dbb645ea8cba8f8088c7cdd40e9114ce2a5100bf93fefe8089d944f185fe343f5fefc35e17f64f5bf4f3dde358a398614db7d1a1b62dd136efdbb334 SHA512 fb2ed8aee075ef5dd66527a099acb5eef9103a8bf244ed437ff9fa38360d7de1712e6375ed98b691a745fa27ef841eb5daa6651641c552c5146986c5ed977131 EBUILD libadalang-23.0.0-r3.ebuild 2590 BLAKE2B b8f45ba99782502511f86cf72352f53206af0d3fc473b80a72d770fe591b7d70b371824c3c186bf17a156f3d89412affdb151416bb0828d95ec68019d89dd335 SHA512 2313f457f2de95994d1133ddeb44cd00e3fbd1bc68e1babe0f01e8adb222f415ed30fb631ba123be407389182270167a814a666a8e2c4e2a1b361ac97802f2f4 +EBUILD libadalang-24.0.0.ebuild 2696 BLAKE2B 05f68706b36f55a226644a4e2ac07c8ea201d8b5cf4b4f6b465675ae957f9ece69ba61da7abd3983fb227820885e005d99688e50e307f8f7ca453996e20b187a SHA512 febedd998efd7ba3f9f6af4c4ffd4904a6bb5cf4df58fd92baf8d0a8cbbd342cf29f9325bc0407761772851d2b513c4d83044cbda3118daa07a2ba42cf085a06 MISC metadata.xml 676 BLAKE2B 085445f4e10891044b544d0885a3887a5f8b2d0188ead82eee9e3a351042b171cd3cbfe5ac5910a008e723f74c1f9e96cec5239b91567af28f10c136d5372d6f SHA512 7165db10f2d58592cdf3197778ed42a99d6fa05730ab89ed9faa05146e6d54e3888f7f2841f129c5d2ef5897910348058de4303b105e1ba50ff08e2cbc7831ce diff --git a/dev-ada/libadalang/libadalang-24.0.0.ebuild b/dev-ada/libadalang/libadalang-24.0.0.ebuild new file mode 100644 index 000000000000..9635eb6d6899 --- /dev/null +++ b/dev-ada/libadalang/libadalang-24.0.0.ebuild @@ -0,0 +1,110 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +PYTHON_COMPAT=( python3_{10..12} ) +ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 ) + +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}" +# Need java +RESTRICT="test" + +RDEPEND="dev-python/pyyaml + dev-ada/gnatcoll-bindings[${ADA_USEDEP},gmp,iconv] + dev-ada/gnatcoll-bindings[shared,static-libs?,static-pic?] + ${ADA_DEPS} + ${PYTHON_DEPS} + >=dev-ada/gpr-24.0.0[${ADA_USEDEP},shared,static-libs?,static-pic?] + >=dev-ada/langkit-24.0.0[${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 + )" + +PATCHES=( "${FILESDIR}"/${PN}-23.0.0-test.patch ) + +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) \ + --disable-java \ + --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 +} |