[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: cbd873a89daab26d2fa0c7c7ef18bdf68de192b7 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 17 18:40:30 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 17 18:41:12 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cbd873a8 dev-ada/gpr: add 24.0.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/Manifest | 1 + dev-ada/gpr/gpr-24.0.0.ebuild | 88 +++ 2 files changed, 89 insertions(+) diff --git a/dev-ada/gpr/Manifest b/dev-ada/gpr/Manifest index 88e120143e4d..426813aba4d8 100644 --- a/dev-ada/gpr/Manifest +++ b/dev-ada/gpr/Manifest @@ -1 +1,2 @@ DIST gpr-23.0.0.tar.gz 1005298 BLAKE2B 475ac5ad89a4d038dc8cdb953826f46e0f8f2bbf09a858366a634b5bacfc4b0282db4206cf5d113900dffd3c2ad9423b6c6e56de8058215a7946020c30dacc8b SHA512 f1cfd2c2162ffa984c62238a472438919c22a83b61e03c9234f6bc601c1d1e50981f52d024106ad5196dd83ee7686e864c8728c56d451be06baf96161afd8bcc +DIST gpr2-with-lkparser-24.0.tgz 2030278 BLAKE2B ae42fd876a08a654db2db919e6d777ba603d54d6db618e8b8dbdfcfd9313decad092e0a9feae09ca46ec324cd860eaffbb6fa670290d454414677ad7e4a61dc7 SHA512 eda3c693393763da31312733e2bc06e852b867a32b42da6af623051a1d29f7243aabaef3ae50052b22686dce6db62d9823652ce516d79822e4215f4d87b1 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 ..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 +}
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr-unit-provider/
commit: 497f0f0820dce516824e3f3e0f0d7872cdedb305 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Dec 12 21:19:34 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Dec 12 21:19:34 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=497f0f08 dev-ada/gpr-unit-provider: build with gcc_13 Signed-off-by: Alfredo Tupone gentoo.org> ...nit-provider-23.0.0-r3.ebuild => gpr-unit-provider-23.0.0-r4.ebuild} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r3.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r4.ebuild similarity index 97% rename from dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r3.ebuild rename to dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r4.ebuild index 409b5d59236e..660dd6483bce 100644 --- a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r3.ebuild +++ b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r4.ebuild @@ -3,7 +3,7 @@ EAPI=8 -ADA_COMPAT=( gnat_2021 gcc_12 ) +ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 ) inherit ada multiprocessing DESCRIPTION="GPR Unit Provider"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: d1d84597b107075cf1be8f8f4ce824be22e23e0f Author: Alfredo Tupone gentoo org> AuthorDate: Sun Dec 10 16:25:21 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Dec 10 16:25:44 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1d84597 dev-ada/gpr: support gcc_13 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/{gpr-23.0.0-r5.ebuild => gpr-23.0.0-r6.ebuild} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r5.ebuild b/dev-ada/gpr/gpr-23.0.0-r6.ebuild similarity index 98% rename from dev-ada/gpr/gpr-23.0.0-r5.ebuild rename to dev-ada/gpr/gpr-23.0.0-r6.ebuild index aa11d9152470..d103fba9e4f2 100644 --- a/dev-ada/gpr/gpr-23.0.0-r5.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r6.ebuild @@ -3,7 +3,7 @@ EAPI=8 -ADA_COMPAT=( gnat_2021 gcc_12 ) +ADA_COMPAT=( gnat_2021 gcc_12 gcc_13 ) PYTHON_COMPAT=( python3_{9,10,11} ) inherit python-any-r1 ada multiprocessing
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: 9f2b43ad6b84f8631525ebc1dcf62d51b3e86bf1 Author: Alfredo Tupone gentoo org> AuthorDate: Thu May 25 16:00:28 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu May 25 16:01:16 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9f2b43ad dev-ada/gpr: respect CFLAGS/LDFLAGS on tools too Closes: https://bugs.gentoo.org/907055 Closes: https://bugs.gentoo.org/907056 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/gpr-23.0.0-r5.ebuild | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r5.ebuild b/dev-ada/gpr/gpr-23.0.0-r5.ebuild index a34672aacd21..aa11d9152470 100644 --- a/dev-ada/gpr/gpr-23.0.0-r5.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r5.ebuild @@ -81,10 +81,11 @@ src_compile() { gprbuild -p -m -v -j$(makeopts_jobs) -XGPR2_BUILD=release \ -XLIBRARY_TYPE=${libtype} -XXMLADA_BUILD=${libtype} gpr2-tools.gpr \ - || die + -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die gprbuild -p -m -v -j$(makeopts_jobs) -XGPR2_BUILD=release \ -XLIBRARY_TYPE=${libtype} -XXMLADA_BUILD=${libtype} \ - -XLANGKIT_SUPPORT_BUILD=${libtype} gpr2-name.gpr || die + -XLANGKIT_SUPPORT_BUILD=${libtype} gpr2-name.gpr \ + -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die } src_install() {
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: cc974d70be053afdebbdf01808425b099b3f345b Author: Alfredo Tupone gentoo org> AuthorDate: Wed May 24 05:32:31 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed May 24 05:33:00 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc974d70 dev-ada/gpr: add libadalang dep Closes: https://bugs.gentoo.org/902525 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/{gpr-23.0.0-r4.ebuild => gpr-23.0.0-r5.ebuild} | 14 +++--- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r4.ebuild b/dev-ada/gpr/gpr-23.0.0-r5.ebuild similarity index 91% rename from dev-ada/gpr/gpr-23.0.0-r4.ebuild rename to dev-ada/gpr/gpr-23.0.0-r5.ebuild index c56678a27149..a34672aacd21 100644 --- a/dev-ada/gpr/gpr-23.0.0-r4.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r5.ebuild @@ -21,12 +21,10 @@ REQUIRED_USE="|| ( shared static-libs static-pic ) ${ADA_REQUIRED_USE}" RDEPEND="${ADA_DEPS} - dev-ada/xmlada[${ADA_USEDEP}] - shared? ( dev-ada/xmlada[shared,static-pic] ) - dev-ada/gnatcoll-core[${ADA_USEDEP}] - shared? ( dev-ada/gnatcoll-core[shared,static-pic] ) - dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,gmp] - shared? ( dev-ada/gnatcoll-bindings[shared,static-pic] )" + 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}] @@ -35,7 +33,9 @@ DEPEND="${RDEPEND} BDEPEND="${PYTHON_DEPS} $(python_gen_any_dep ' dev-ada/langkit[${PYTHON_USEDEP}] - ')" + ') + dev-ada/libadalang +" python_check_deps() { python_has_version "dev-ada/langkit[${PYTHON_USEDEP}]"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: b7627f7d9b794b1c42345616f8288d130e0e9727 Author: Alfredo Tupone gentoo org> AuthorDate: Tue May 23 19:01:11 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue May 23 19:01:43 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b7627f7d dev-ada/gpr: call python pkg_setup Closes: https://bugs.gentoo.org/906971 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/gpr-23.0.0-r4.ebuild | 7 ++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r4.ebuild b/dev-ada/gpr/gpr-23.0.0-r4.ebuild index a12a8c9c3b0f..c56678a27149 100644 --- a/dev-ada/gpr/gpr-23.0.0-r4.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r4.ebuild @@ -41,6 +41,11 @@ python_check_deps() { python_has_version "dev-ada/langkit[${PYTHON_USEDEP}]" } +pkg_setup() { + ada_pkg_setup + python-any-r1_pkg_setup +} + src_configure() { emake ENABLE_SHARED=$(usex shared) setup } @@ -56,7 +61,7 @@ src_compile() { gprbuild -p -v -P src/kb/collect_kb.gpr -XKB_BUILD_DIR=.build/kb \ --relocate-build-tree -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die .build/kb/collect_kb -o .build/kb/config.kb /usr/share/gprconfig || die - emake -C langkit setup DEST="${S}/.build/lkparser" + emake -C langkit setup DEST="${S}/.build/lkparser" PYTHONEXE=${PYTHON} if use shared; then build relocatable fi
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: 7c489e51eda445f81e772bb2c287748e574879a5 Author: Alfredo Tupone gentoo org> AuthorDate: Tue May 23 05:27:06 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue May 23 05:28:06 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c489e51 dev-ada/gpr: respect ADAFLAGS & LDFLAGS Closes: https://bugs.gentoo.org/902529 Closes: https://bugs.gentoo.org/902531 Signed-off-by: Alfredo Tupone gentoo.org> .../{gpr-23.0.0-r3.ebuild => gpr-23.0.0-r4.ebuild} | 20 +++- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r3.ebuild b/dev-ada/gpr/gpr-23.0.0-r4.ebuild similarity index 84% rename from dev-ada/gpr/gpr-23.0.0-r3.ebuild rename to dev-ada/gpr/gpr-23.0.0-r4.ebuild index 5ac3ae0f761c..a12a8c9c3b0f 100644 --- a/dev-ada/gpr/gpr-23.0.0-r3.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r4.ebuild @@ -46,13 +46,15 @@ src_configure() { } src_compile() { - build() { - gprbuild -p -m -v -j$(makeopts_jobs) -XGPR2_BUILD=release \ - -XLIBRARY_TYPE=$1 -XXMLADA_BUILD=$1 gpr2.gpr || die + 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" } mkdir -p .build/kb || die - gprbuild -p -P src/kb/collect_kb.gpr -XKB_BUILD_DIR=.build/kb \ - --relocate-build-tree || die + gprbuild -p -v -P src/kb/collect_kb.gpr -XKB_BUILD_DIR=.build/kb \ + --relocate-build-tree -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die .build/kb/collect_kb -o .build/kb/config.kb /usr/share/gprconfig || die emake -C langkit setup DEST="${S}/.build/lkparser" if use shared; then @@ -81,10 +83,10 @@ src_compile() { } src_install() { - build() { - gprinstall -p -f -v -XGPR2_BUILD=release --prefix="${D}/usr" \ - -XLIBRARY_TYPE=$1 -XXMLADA_BUILD=$1 --build-name=$1 \ - --build-var=LIBRARY_TYPE \ + 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
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: 129ee4c06245a78f8a567c35658279d00fa7e136 Author: Alfredo Tupone gentoo org> AuthorDate: Mon May 22 19:05:02 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon May 22 19:22:57 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=129ee4c0 dev-ada/gpr: static-libs and static-pic control generation of .a files Closes: https://bugs.gentoo.org/902535 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/gpr-23.0.0-r2.ebuild | 65 -- dev-ada/gpr/gpr-23.0.0-r3.ebuild | 113 +++ dev-ada/gpr/metadata.xml | 1 + 3 files changed, 114 insertions(+), 65 deletions(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r2.ebuild b/dev-ada/gpr/gpr-23.0.0-r2.ebuild deleted file mode 100644 index ce0429b7f624.. --- a/dev-ada/gpr/gpr-23.0.0-r2.ebuild +++ /dev/null @@ -1,65 +0,0 @@ -# Copyright 2022-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -ADA_COMPAT=( gnat_2021 gcc_12 ) -PYTHON_COMPAT=( python3_{9,10,11} ) - -inherit python-any-r1 ada multiprocessing - -DESCRIPTION="LibGPR2 - Parser for GPR Project files" -HOMEPAGE="https://github.com/AdaCore/gpr"; -SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz - -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -RDEPEND="${ADA_DEPS} - dev-ada/xmlada[${ADA_USEDEP}] - shared? ( dev-ada/xmlada[shared,static-pic] ) - dev-ada/gnatcoll-core[${ADA_USEDEP}] - shared? ( dev-ada/gnatcoll-core[shared,static-pic] ) - dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,gmp] - shared? ( dev-ada/gnatcoll-bindings[shared,static-pic] )" - -DEPEND="${RDEPEND} - dev-ada/gprconfig_kb[${ADA_USEDEP}] - dev-ada/gprbuild[${ADA_USEDEP}]" - -BDEPEND="${PYTHON_DEPS} - $(python_gen_any_dep ' - dev-ada/langkit[${PYTHON_USEDEP}] - ')" - -IUSE="+shared" -REQUIRED_USE="${ADA_REQUIRED_USE}" - -python_check_deps() { - python_has_version "dev-ada/langkit[${PYTHON_USEDEP}]" -} - -src_configure() { - emake PROCESSORS=$(makeopts_jobs) \ - GPR2KBDIR=/usr/share/gprconfig \ - ENABLE_SHARED=$(usex shared) \ - setup -} - -src_compile() { - emake GPRBUILD_OPTIONS=-v -} - -src_install() { - emake install \ - prefix="${D}"/usr - 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 - rm "${D}"/usr/bin/gprname || die -} diff --git a/dev-ada/gpr/gpr-23.0.0-r3.ebuild b/dev-ada/gpr/gpr-23.0.0-r3.ebuild new file mode 100644 index ..5ac3ae0f761c --- /dev/null +++ b/dev-ada/gpr/gpr-23.0.0-r3.ebuild @@ -0,0 +1,113 @@ +# Copyright 2022-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +ADA_COMPAT=( gnat_2021 gcc_12 ) +PYTHON_COMPAT=( python3_{9,10,11} ) + +inherit python-any-r1 ada multiprocessing + +DESCRIPTION="LibGPR2 - Parser for GPR Project files" +HOMEPAGE="https://github.com/AdaCore/gpr"; +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +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? ( dev-ada/xmlada[shared,static-pic] ) + dev-ada/gnatcoll-core[${ADA_USEDEP}] + shared? ( dev-ada/gnatcoll-core[shared,static-pic] ) + dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,gmp] + shared? ( dev-ada/gnatcoll-bindings[shared,static-pic] )" + +DEPEND="${RDEPEND} + dev-ada/gprconfig_kb[${ADA_USEDEP}] + dev-ada/gprbuild[${ADA_USEDEP}]" + +BDEPEND="${PYTHON_DEPS} + $(python_gen_any_dep ' + dev-ada/langkit[${PYTHON_USEDEP}] + ')" + +python_check_deps() { + python_has_version "dev-ada/langkit[${PYTHON_USEDEP}]" +} + +src_configure() { + emake ENABLE_SHARED=$(usex shared) setup +} + +src_compile() { + build() { + gprbuild -p -m -v -j$(makeopts_jobs) -XGPR2_BUILD=release \ + -XLIBRARY_TYPE=$1 -XXMLADA_BUILD=$1 gpr2.gpr || die + } + mkdir -p .build/kb || die + gprbuild -p -P src/kb/collect_kb.gpr -XKB_BUILD_DIR=.build/kb \ + --relocate-build-tree || die + .build/kb/collect_kb -o .build/kb/config.kb /usr/share/gprconfig || die + emake -C langkit setup DEST="${S}/.build/lkparser" + 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' +
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr-unit-provider/
commit: 547cde6897aabd5b93d974dc6529eaea1585daeb Author: Alfredo Tupone gentoo org> AuthorDate: Mon Apr 24 09:16:45 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Apr 24 09:16:45 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=547cde68 dev-ada/gpr-unit-provider: respect ADAFLAGS Closes: https://bugs.gentoo.org/902537 Signed-off-by: Alfredo Tupone gentoo.org> ...2.ebuild => gpr-unit-provider-23.0.0-r3.ebuild} | 25 +- 1 file changed, 10 insertions(+), 15 deletions(-) diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r2.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r3.ebuild similarity index 74% rename from dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r2.ebuild rename to dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r3.ebuild index 2e1af4e2ac0d..409b5d59236e 100644 --- a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r2.ebuild +++ b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r3.ebuild @@ -25,21 +25,16 @@ REQUIRED_USE="${ADA_REQUIRED_USE} || ( shared static-libs static-pic )" src_compile() { - if use static-libs; then - emake PROCESSORS=$(makeopts_jobs) \ - GPRBUILD_OPTIONS=-v \ - build-static - fi - if use shared; then - emake PROCESSORS=$(makeopts_jobs) \ - GPRBUILD_OPTIONS=-v \ - build-relocatable - fi - if use static-pic; then - emake PROCESSORS=$(makeopts_jobs) \ - GPRBUILD_OPTIONS=-v \ - build-static-pic - fi + build () { + gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \ + -XGPR_UNIT_PROVIDER_BUILD=release -XXMLADA_BUILD=$1 \ + -P gpr_unit_provider.gpr \ + -largs ${LDFLAGS} \ + -cargs ${ADAFLAGS} || die "gprbuild failed" + } + use static-libs && build static + use shared && build relocatable + use static-pic && build static-pic } src_install() {
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr-unit-provider/
commit: c349f06163666467c10543b7f3d1e25fbf6ff468 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Apr 15 19:28:28 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Apr 15 19:31:22 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c349f061 dev-ada/gpr-unit-provider: static libraries under static-libs flag Closes: https://bugs.gentoo.org/902539 Signed-off-by: Alfredo Tupone gentoo.org> .../gpr-unit-provider-23.0.0-r1.ebuild | 39 -- .../gpr-unit-provider-23.0.0-r2.ebuild | 59 ++ dev-ada/gpr-unit-provider/metadata.xml | 1 + 3 files changed, 60 insertions(+), 39 deletions(-) diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild deleted file mode 100644 index 4219750d6ce5.. --- a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild +++ /dev/null @@ -1,39 +0,0 @@ -# Copyright 2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -ADA_COMPAT=( gnat_2021 gcc_12 ) -inherit ada multiprocessing - -DESCRIPTION="GPR Unit Provider" -HOMEPAGE="https://github.com/AdaCore/gpr-unit-provider"; -SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz - -> ${P}.tar.gz" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -RDEPEND="${ADA_DEPS} - dev-ada/gpr[${ADA_USEDEP},shared?] - dev-ada/libadalang[${ADA_USEDEP},static-libs] - shared? ( dev-ada/libadalang[static-pic] )" -DEPEND="${RDEPEND}" -BDEPEND="" - -IUSE="+shared" -REQUIRED_USE="${ADA_REQUIRED_USE}" - -src_compile() { - emake PROCESSORS=$(makeopts_jobs) \ - ENABLE_SHARED=$(usex shared) \ - GPRBUILD_OPTIONS=-v -} - -src_install() { - emake ENABLE_SHARED=$(usex shared) \ - prefix="${D}"/usr \ - install - einstalldocs -} diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r2.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r2.ebuild new file mode 100644 index ..2e1af4e2ac0d --- /dev/null +++ b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r2.ebuild @@ -0,0 +1,59 @@ +# Copyright 2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +ADA_COMPAT=( gnat_2021 gcc_12 ) +inherit ada multiprocessing + +DESCRIPTION="GPR Unit Provider" +HOMEPAGE="https://github.com/AdaCore/gpr-unit-provider"; +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+shared static-libs static-pic" + +RDEPEND="${ADA_DEPS} + dev-ada/gpr:=[${ADA_USEDEP},shared?] + dev-ada/libadalang:=[${ADA_USEDEP},static-libs?,static-pic?]" +DEPEND="${RDEPEND}" +BDEPEND="dev-ada/gprbuild[${ADA_USEDEP}]" +REQUIRED_USE="${ADA_REQUIRED_USE} + || ( shared static-libs static-pic )" + +src_compile() { + if use static-libs; then + emake PROCESSORS=$(makeopts_jobs) \ + GPRBUILD_OPTIONS=-v \ + build-static + fi + if use shared; then + emake PROCESSORS=$(makeopts_jobs) \ + GPRBUILD_OPTIONS=-v \ + build-relocatable + fi + if use static-pic; then + emake PROCESSORS=$(makeopts_jobs) \ + GPRBUILD_OPTIONS=-v \ + build-static-pic + fi +} + +src_install() { + if use static-libs; then + emake prefix="${D}"/usr \ + install-static + fi + if use shared; then + emake prefix="${D}"/usr \ + install-relocatable + fi + if use static-pic; then + emake prefix="${D}"/usr \ + install-static-pic + fi + einstalldocs +} diff --git a/dev-ada/gpr-unit-provider/metadata.xml b/dev-ada/gpr-unit-provider/metadata.xml index 650d892ed260..cc5ba27bd909 100644 --- a/dev-ada/gpr-unit-provider/metadata.xml +++ b/dev-ada/gpr-unit-provider/metadata.xml @@ -6,6 +6,7 @@ Build shared library + Build static library with pic code AdaCore/gpr-unit-provider
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr-unit-provider/
commit: 67ea46e4371fdc2bd280d51b11deb2bb13755ef8 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Mar 21 20:57:22 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Mar 21 21:00:55 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=67ea46e4 dev-ada/gpr-unit-provider: drop gcc_12_2_0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild index 084362e47160..4219750d6ce5 100644 --- a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild +++ b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild @@ -3,7 +3,7 @@ EAPI=8 -ADA_COMPAT=( gnat_2021 gcc_12_2_0 gcc_12 ) +ADA_COMPAT=( gnat_2021 gcc_12 ) inherit ada multiprocessing DESCRIPTION="GPR Unit Provider"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: 4b116fc63f72eba7aedd207c7d4ad47150018363 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Mar 21 20:56:38 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Mar 21 21:00:51 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b116fc6 dev-ada/gpr: drop gcc_12_2_0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/gpr-23.0.0-r2.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r2.ebuild b/dev-ada/gpr/gpr-23.0.0-r2.ebuild index 34bdf5824209..ce0429b7f624 100644 --- a/dev-ada/gpr/gpr-23.0.0-r2.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r2.ebuild @@ -3,7 +3,7 @@ EAPI=8 -ADA_COMPAT=( gnat_2021 gcc_12_2_0 gcc_12 ) +ADA_COMPAT=( gnat_2021 gcc_12 ) PYTHON_COMPAT=( python3_{9,10,11} ) inherit python-any-r1 ada multiprocessing
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr-unit-provider/
commit: 65c1424da96d3ad0eb21209018f3c49044c2aacd Author: Alfredo Tupone gentoo org> AuthorDate: Tue Mar 21 07:22:16 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Mar 21 07:22:16 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=65c1424d dev-ada/gpr-unit-provider: EAPI 8 gcc_12 Signed-off-by: Alfredo Tupone gentoo.org> ...it-provider-23.0.0.ebuild => gpr-unit-provider-23.0.0-r1.ebuild} | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild similarity index 90% rename from dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild rename to dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild index f87d5cb7242e..084362e47160 100644 --- a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild +++ b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0-r1.ebuild @@ -1,9 +1,9 @@ -# Copyright 2022 Gentoo Authors +# Copyright 2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 -ADA_COMPAT=( gnat_2021 gcc_12_2_0 ) +ADA_COMPAT=( gnat_2021 gcc_12_2_0 gcc_12 ) inherit ada multiprocessing DESCRIPTION="GPR Unit Provider"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: d092fc434912733ae0193a8db4d92055dbea40f9 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Mar 21 07:18:30 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Mar 21 07:18:30 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d092fc43 dev-ada/gpr: gcc_12, EAPI8 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/{gpr-23.0.0-r1.ebuild => gpr-23.0.0-r2.ebuild} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ada/gpr/gpr-23.0.0-r1.ebuild b/dev-ada/gpr/gpr-23.0.0-r2.ebuild similarity index 96% rename from dev-ada/gpr/gpr-23.0.0-r1.ebuild rename to dev-ada/gpr/gpr-23.0.0-r2.ebuild index 0d5a9aca1198..34bdf5824209 100644 --- a/dev-ada/gpr/gpr-23.0.0-r1.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r2.ebuild @@ -1,9 +1,9 @@ # Copyright 2022-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 -ADA_COMPAT=( gnat_2021 gcc_12_2_0 ) +ADA_COMPAT=( gnat_2021 gcc_12_2_0 gcc_12 ) PYTHON_COMPAT=( python3_{9,10,11} ) inherit python-any-r1 ada multiprocessing
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr-unit-provider/
commit: 6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a Author: Alfredo Tupone gentoo org> AuthorDate: Sat Dec 17 21:10:44 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Dec 17 21:10:44 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6cb4527f dev-ada/gpr-unit-provider: new package, add 23.0.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr-unit-provider/Manifest | 1 + .../gpr-unit-provider-23.0.0.ebuild| 39 ++ dev-ada/gpr-unit-provider/metadata.xml | 13 3 files changed, 53 insertions(+) diff --git a/dev-ada/gpr-unit-provider/Manifest b/dev-ada/gpr-unit-provider/Manifest new file mode 100644 index ..67a13de44e36 --- /dev/null +++ b/dev-ada/gpr-unit-provider/Manifest @@ -0,0 +1 @@ +DIST gpr-unit-provider-23.0.0.tar.gz 29171 BLAKE2B 11e6311cde8ef12174a90e2ba3063734903e367bd027c6b3edb5f43f5d498e90ba97c89634a9b1f176f15e4ed97f5962f1b786d7f86f9afaa19a4d5688194649 SHA512 b67f922e8460be69357da046d8c74bf580efa05498d4aee190d0a0ac1f69a5d111e85ca2f52562fbdd27c7a343d2cac777d86fb8b38b3fbd627e3b42afca36f9 diff --git a/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild new file mode 100644 index ..f87d5cb7242e --- /dev/null +++ b/dev-ada/gpr-unit-provider/gpr-unit-provider-23.0.0.ebuild @@ -0,0 +1,39 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +ADA_COMPAT=( gnat_2021 gcc_12_2_0 ) +inherit ada multiprocessing + +DESCRIPTION="GPR Unit Provider" +HOMEPAGE="https://github.com/AdaCore/gpr-unit-provider"; +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +RDEPEND="${ADA_DEPS} + dev-ada/gpr[${ADA_USEDEP},shared?] + dev-ada/libadalang[${ADA_USEDEP},static-libs] + shared? ( dev-ada/libadalang[static-pic] )" +DEPEND="${RDEPEND}" +BDEPEND="" + +IUSE="+shared" +REQUIRED_USE="${ADA_REQUIRED_USE}" + +src_compile() { + emake PROCESSORS=$(makeopts_jobs) \ + ENABLE_SHARED=$(usex shared) \ + GPRBUILD_OPTIONS=-v +} + +src_install() { + emake ENABLE_SHARED=$(usex shared) \ + prefix="${D}"/usr \ + install + einstalldocs +} diff --git a/dev-ada/gpr-unit-provider/metadata.xml b/dev-ada/gpr-unit-provider/metadata.xml new file mode 100644 index ..650d892ed260 --- /dev/null +++ b/dev-ada/gpr-unit-provider/metadata.xml @@ -0,0 +1,13 @@ + +https://www.gentoo.org/dtd/metadata.dtd";> + + + a...@gentoo.org + + + Build shared library + + + AdaCore/gpr-unit-provider + +
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: 2e0541dec77c8adb5b7f2dd296337922c9e920c3 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Dec 17 20:59:08 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Dec 17 20:59:42 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2e0541de dev-ada/gpr: fix shared Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/{gpr-23.0.0.ebuild => gpr-23.0.0-r1.ebuild} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ada/gpr/gpr-23.0.0.ebuild b/dev-ada/gpr/gpr-23.0.0-r1.ebuild similarity index 97% rename from dev-ada/gpr/gpr-23.0.0.ebuild rename to dev-ada/gpr/gpr-23.0.0-r1.ebuild index dcb73663e471..18d10335b4e3 100644 --- a/dev-ada/gpr/gpr-23.0.0.ebuild +++ b/dev-ada/gpr/gpr-23.0.0-r1.ebuild @@ -44,7 +44,7 @@ python_check_deps() { src_configure() { emake PROCESSORS=$(makeopts_jobs) \ GPR2KBDIR=/usr/share/gprconfig \ - ENABLE_SHARED=$(usex shared true false) \ + ENABLE_SHARED=$(usex shared) \ setup }
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: 624808861d5aa2943ae25da94db559bb65b2fba5 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Dec 17 13:47:02 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Dec 17 13:47:50 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=62480886 dev-ada/gpr: disable py3.6, py3.7, pypy3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/gpr-23.0.0.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ada/gpr/gpr-23.0.0.ebuild b/dev-ada/gpr/gpr-23.0.0.ebuild index e00053c0067c..dcb73663e471 100644 --- a/dev-ada/gpr/gpr-23.0.0.ebuild +++ b/dev-ada/gpr/gpr-23.0.0.ebuild @@ -4,13 +4,13 @@ EAPI=7 ADA_COMPAT=( gnat_2021 gcc_12_2_0 ) -PYTHON_COMPAT=( python3_{6,7,8,9,10,11} pypy3 ) +PYTHON_COMPAT=( python3_{8,9,10,11} ) inherit python-any-r1 ada multiprocessing DESCRIPTION="LibGPR2 - Parser for GPR Project files" HOMEPAGE="https://github.com/AdaCore/gpr"; -SRC_URI="https://github.com/AdaCore/gpr/archive/refs/tags/v${PV}.tar.gz +SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" LICENSE="Apache-2.0"
[gentoo-commits] repo/gentoo:master commit in: dev-ada/gpr/
commit: 9ff3f375bec4c5ba929ecef2d4f6e5d5761faf3f Author: Alfredo Tupone gentoo org> AuthorDate: Fri Dec 16 12:51:06 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Dec 16 12:51:06 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ff3f375 dev-ada/gpr: new package, add 23.0.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ada/gpr/Manifest | 1 + dev-ada/gpr/gpr-23.0.0.ebuild | 65 +++ dev-ada/gpr/metadata.xml | 13 + 3 files changed, 79 insertions(+) diff --git a/dev-ada/gpr/Manifest b/dev-ada/gpr/Manifest new file mode 100644 index ..88e120143e4d --- /dev/null +++ b/dev-ada/gpr/Manifest @@ -0,0 +1 @@ +DIST gpr-23.0.0.tar.gz 1005298 BLAKE2B 475ac5ad89a4d038dc8cdb953826f46e0f8f2bbf09a858366a634b5bacfc4b0282db4206cf5d113900dffd3c2ad9423b6c6e56de8058215a7946020c30dacc8b SHA512 f1cfd2c2162ffa984c62238a472438919c22a83b61e03c9234f6bc601c1d1e50981f52d024106ad5196dd83ee7686e864c8728c56d451be06baf96161afd8bcc diff --git a/dev-ada/gpr/gpr-23.0.0.ebuild b/dev-ada/gpr/gpr-23.0.0.ebuild new file mode 100644 index ..e00053c0067c --- /dev/null +++ b/dev-ada/gpr/gpr-23.0.0.ebuild @@ -0,0 +1,65 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +ADA_COMPAT=( gnat_2021 gcc_12_2_0 ) +PYTHON_COMPAT=( python3_{6,7,8,9,10,11} pypy3 ) + +inherit python-any-r1 ada multiprocessing + +DESCRIPTION="LibGPR2 - Parser for GPR Project files" +HOMEPAGE="https://github.com/AdaCore/gpr"; +SRC_URI="https://github.com/AdaCore/gpr/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +RDEPEND="${ADA_DEPS} + dev-ada/xmlada[${ADA_USEDEP}] + shared? ( dev-ada/xmlada[shared,static-pic] ) + dev-ada/gnatcoll-core[${ADA_USEDEP}] + shared? ( dev-ada/gnatcoll-core[shared,static-pic] ) + dev-ada/gnatcoll-bindings[${ADA_USEDEP},iconv,gmp] + shared? ( dev-ada/gnatcoll-bindings[shared,static-pic] )" + +DEPEND="${RDEPEND} + dev-ada/gprconfig_kb[${ADA_USEDEP}] + dev-ada/gprbuild[${ADA_USEDEP}]" + +BDEPEND="${PYTHON_DEPS} + $(python_gen_any_dep ' + dev-ada/langkit[${PYTHON_USEDEP}] + ')" + +IUSE="+shared" +REQUIRED_USE="${ADA_REQUIRED_USE}" + +python_check_deps() { + python_has_version "dev-ada/langkit[${PYTHON_USEDEP}]" +} + +src_configure() { + emake PROCESSORS=$(makeopts_jobs) \ + GPR2KBDIR=/usr/share/gprconfig \ + ENABLE_SHARED=$(usex shared true false) \ + setup +} + +src_compile() { + emake GPRBUILD_OPTIONS=-v +} + +src_install() { + emake install \ + prefix="${D}"/usr + 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 + rm "${D}"/usr/bin/gprname || die +} diff --git a/dev-ada/gpr/metadata.xml b/dev-ada/gpr/metadata.xml new file mode 100644 index ..51966a8cdf1e --- /dev/null +++ b/dev-ada/gpr/metadata.xml @@ -0,0 +1,13 @@ + +https://www.gentoo.org/dtd/metadata.dtd";> + + + a...@gentoo.org + + + Build shared library + + + AdaCore/gpr + +