public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/files/, dev-ada/gnatcoll-core/
@ 2024-03-01 19:40 Alfredo Tupone
  0 siblings, 0 replies; 2+ messages in thread
From: Alfredo Tupone @ 2024-03-01 19:40 UTC (permalink / raw
  To: gentoo-commits

commit:     0e7f4825ec5c57ca15dbf860945191b6d3825a0a
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Mar  1 19:40:28 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Mar  1 19:40:44 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e7f4825

dev-ada/gnatcoll-core: add 24.0.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ada/gnatcoll-core/Manifest                     |  1 +
 .../files/gnatcoll-core-24.0.0-gentoo.patch        | 15 ++++
 dev-ada/gnatcoll-core/gnatcoll-core-24.0.0.ebuild  | 83 ++++++++++++++++++++++
 3 files changed, 99 insertions(+)

diff --git a/dev-ada/gnatcoll-core/Manifest b/dev-ada/gnatcoll-core/Manifest
index b89981c64a32..be828704e607 100644
--- a/dev-ada/gnatcoll-core/Manifest
+++ b/dev-ada/gnatcoll-core/Manifest
@@ -1 +1,2 @@
 DIST gnatcoll-core-23.0.0.tar.gz 745131 BLAKE2B 25e5f17adf88c48f45cc30cfbd82e2213233aecd78c9c22455ac6458e2f336f527604911c9eaaa1ab8853e0a16bbe9e1a7b8f31481ee9c2894287ec16e961123 SHA512 49f33abe07d2c4b51a6e69be550d05c5794953f4fbe8cb15e29c9834b9c5600724acaff4156fb53e4146620f1e4335f4c22453215a39ec5ee95b3992528b9828
+DIST gnatcoll-core-24.0.0.tar.gz 764526 BLAKE2B f96b24dcac2af84802244ed93570f0a922ab0901ecf871fa4995f4c24607cdbd8d91fc760acf35024fe41a066fb307442396cb8c125c74363e0c9276d114ab5a SHA512 1f1d470e7b74f238682f0938efe04c303c6bfca5a6b723eb789f5cb4bd33a199a9f2323626b8887758f01709ab1ba4d8045c56ce45f02e535babca4025662d9f

diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch
new file mode 100644
index 000000000000..5de80869e561
--- /dev/null
+++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch
@@ -0,0 +1,15 @@
+--- a/gnatcoll.gpr	2023-09-21 17:57:14.000000000 +0200
++++ b/gnatcoll.gpr	2024-03-01 20:34:24.178681586 +0100
+@@ -306,9 +306,9 @@
+    end Linker;
+ 
+    package Install is
+-      for Artifacts ("share/examples/gnatcoll") use ("examples/*");
+-      for Artifacts ("share/doc/gnatcoll/html") use ("docs/_build/html");
+-      for Artifacts ("share/doc/gnatcoll")
++      for Artifacts ("share/doc/@PF@/examples") use ("examples/*");
++      for Artifacts ("share/doc/@PF@/html") use ("docs/_build/html");
++      for Artifacts ("share/doc/@PF@")
+         use ("docs/_build/latex/GNATColl.pdf");
+    end Install;
+ 

diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-24.0.0.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-24.0.0.ebuild
new file mode 100644
index 000000000000..b22954a03362
--- /dev/null
+++ b/dev-ada/gnatcoll-core/gnatcoll-core-24.0.0.ebuild
@@ -0,0 +1,83 @@
+# Copyright 1999-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="GNAT Component Collection Core packages"
+HOMEPAGE="http://libre.adacore.com"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="doc +shared static-libs static-pic"
+REQUIRED_USE="|| ( shared static-libs static-pic )
+	${ADA_REQUIRED_USE}"
+
+RDEPEND="
+	~dev-ada/libgpr-${PV}:=[${ADA_USEDEP},shared?,static-libs?,static-pic?]
+"
+BDEPEND="${RDEPEND}
+	dev-ada/gprbuild[${ADA_USEDEP}]
+	doc? (
+		dev-python/sphinx
+		dev-tex/latexmk
+	)"
+
+PATCHES=(
+	"${FILESDIR}"/${PN}-2018-gentoo.patch
+	"${FILESDIR}"/${P}-gentoo.patch
+)
+
+src_prepare() {
+	default
+	sed -i \
+		-e "s:@GNATLS@:${GNATLS}:g" \
+		src/gnatcoll-projects.ads \
+		|| die
+	sed -i \
+		-e "s:@PF@:${PF}:g" \
+		gnatcoll.gpr \
+		|| die
+}
+
+src_configure() {
+	emake setup
+}
+
+src_compile() {
+	build () {
+		gprbuild -p -m -j$(makeopts_jobs) \
+			-XBUILD=PROD -v -XGNATCOLL_VERSION=${PV} \
+			-XLIBRARY_TYPE=$1 -XXMLADA_BUILD=$* -XGPR_BUILD=$1 \
+			gnatcoll.gpr -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} || 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
+	use doc && emake -C docs latexpdf
+}
+
+src_install() {
+	local GNATCOLL_VERSION=${PV}
+	if use shared; then
+		emake GNATCOLL_VERSION=${PV} prefix="${D}"/usr install-relocatable
+	fi
+	if use static-pic; then
+		emake GNATCOLL_VERSION=${PV} prefix="${D}"/usr install-static-pic
+	fi
+	if use static-libs; then
+		emake GNATCOLL_VERSION=${PV} prefix="${D}"/usr install-static
+	fi
+	rm -r "${D}"/usr/share/gpr/manifests || die
+	einstalldocs
+}


^ permalink raw reply related	[flat|nested] 2+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/files/, dev-ada/gnatcoll-core/
@ 2025-01-09 18:42 Alfredo Tupone
  0 siblings, 0 replies; 2+ messages in thread
From: Alfredo Tupone @ 2025-01-09 18:42 UTC (permalink / raw
  To: gentoo-commits

commit:     91ce4b9bfd61136ec8217012ffeaf02b9058994d
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jan  9 18:41:25 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jan  9 18:42:37 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91ce4b9b

dev-ada/gnatcoll-core: add 25.0.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ada/gnatcoll-core/Manifest                     |   1 +
 .../files/gnatcoll-core-25.0.0-gentoo.patch        |  11 ++
 dev-ada/gnatcoll-core/gnatcoll-core-25.0.0.ebuild  | 121 +++++++++++++++++++++
 dev-ada/gnatcoll-core/metadata.xml                 |   1 +
 4 files changed, 134 insertions(+)

diff --git a/dev-ada/gnatcoll-core/Manifest b/dev-ada/gnatcoll-core/Manifest
index 0960d18c2e8b..4833ab1a8218 100644
--- a/dev-ada/gnatcoll-core/Manifest
+++ b/dev-ada/gnatcoll-core/Manifest
@@ -1 +1,2 @@
 DIST gnatcoll-core-24.0.0.tar.gz 764526 BLAKE2B f96b24dcac2af84802244ed93570f0a922ab0901ecf871fa4995f4c24607cdbd8d91fc760acf35024fe41a066fb307442396cb8c125c74363e0c9276d114ab5a SHA512 1f1d470e7b74f238682f0938efe04c303c6bfca5a6b723eb789f5cb4bd33a199a9f2323626b8887758f01709ab1ba4d8045c56ce45f02e535babca4025662d9f
+DIST gnatcoll-core-25.0.0.tar.gz 7492612 BLAKE2B 6c9653b74d575b24a5433dc56214f9fd55d8dfce65921d2f3172521d3f2c542e34e09df99c224634bf87da6068cffd4f47fdf6ed68f2b913d355a9f6ebff1624 SHA512 efa19b9760bd16b402445d4932dfd28f087f9a09b91ec688c6976b7b83fe5986580b1871378ac024e9a712df8ee75963e5dc88629a72ee1ce76f1d1403b8e122

diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-25.0.0-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-25.0.0-gentoo.patch
new file mode 100644
index 000000000000..66862c6b600a
--- /dev/null
+++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-25.0.0-gentoo.patch
@@ -0,0 +1,11 @@
+--- a/projects/src/gnatcoll-projects.ads	2025-01-04 15:16:43.534598733 +0100
++++ b/projects/src/gnatcoll-projects.ads	2025-01-04 15:17:23.548103890 +0100
+@@ -2093,7 +2093,7 @@
+       Predefined_Source_Files : GNATCOLL.VFS.File_Array_Access;
+       --  The list of source files in Predefined_Source_Path
+ 
+-      Default_Gnatls : GNAT.Strings.String_Access := new String'("gnatls");
++      Default_Gnatls : GNAT.Strings.String_Access := new String'("@GNATLS@");
+       --  The default gnatls command to run.
+ 
+       Xrefs_Subdir : GNAT.Strings.String_Access;

diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-25.0.0.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-25.0.0.ebuild
new file mode 100644
index 000000000000..81ec20c02d2d
--- /dev/null
+++ b/dev-ada/gnatcoll-core/gnatcoll-core-25.0.0.ebuild
@@ -0,0 +1,121 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+ADA_COMPAT=( gcc_13 gcc_14 )
+PYTHON_COMPAT=( python3_{10..13} pypy3 )
+inherit ada python-any-r1 multiprocessing
+
+DESCRIPTION="GNAT Component Collection Core packages"
+HOMEPAGE="https://github.com/AdaCore/gnatcoll-core/"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/refs/tags/v${PV}.tar.gz
+	-> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="doc minimal +projects +shared static-libs static-pic test"
+RESTRICT="test"
+REQUIRED_USE="|| ( shared static-libs static-pic )
+	${ADA_REQUIRED_USE}
+	projects? ( !minimal )"
+
+RDEPEND="
+	projects? ( ~dev-ada/libgpr-${PV}:=[${ADA_USEDEP},shared?,static-libs?,static-pic?] )
+"
+BDEPEND="${RDEPEND}
+	dev-ada/gprbuild[${ADA_USEDEP}]
+	$(python_gen_any_dep '
+		test? ( dev-ada/e3-testsuite[${PYTHON_USEDEP}] )
+		doc? (
+			dev-python/sphinx[${PYTHON_USEDEP}]
+			dev-python/sphinx-rtd-theme[${PYTHON_USEDEP}]
+		)
+	')"
+
+PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
+
+python_check_deps() {
+	if use test; then
+		python_has_version "dev-ada/e3-testsuite[${PYTHON_USEDEP}]" || return 1
+	fi;
+	python_has_version "dev-python/sphinx[${PYTHON_USEDEP}]" &&
+	python_has_version "dev-python/sphinx-rtd-theme[${PYTHON_USEDEP}]"
+}
+
+pkg_setup() {
+	if use doc || use test; then
+		python-any-r1_pkg_setup
+	fi
+	ada_pkg_setup
+}
+
+src_prepare() {
+	default
+	sed -i \
+		-e "s:@GNATLS@:${GNATLS}:g" \
+		projects/src/gnatcoll-projects.ads \
+		|| die
+	rm -r testsuite/tests/file_indexes || die
+	rm -r testsuite/tests/vfs/basic || die
+}
+
+src_compile() {
+	export GPR_PROJECT_PATH=minimal:core
+	build() {
+		gprbuild -v -p -m -P$2/gnatcoll_$2.gpr -j$(makeopts_jobs) \
+			-XGNATCOLL_VERSION=$(ver_cut 1-2) -XLIBRARY_TYPE=$1 \
+			-cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} || die
+	}
+	buildAll () {
+		build $1 minimal
+		use minimal && return
+		build $1 core
+		use projects && build $1 projects
+	}
+	if use shared; then
+		buildAll relocatable
+	fi
+	if use static-libs; then
+		buildAll static
+	fi
+	if use static-pic; then
+		buildAll static-pic
+	fi
+	use doc && emake -C docs html
+}
+
+src_test() {
+	#To be run after installation
+	cd testsuite
+	./run-tests || die
+}
+
+src_install() {
+	export GPR_PROJECT_PATH=minimal:core
+	build() {
+		gprinstall -v -P$2/gnatcoll_$2.gpr -XGNATCOLL_VERSION=$(ver_cut 1-2) \
+			-p -f --prefix="${D}"/usr --sources-subdir=include/gnatcoll_$2 \
+			-XLIBRARY_TYPE=$1 --build-name=$1 --build-var=LIBRARY_TYPE || die
+	}
+	buildAll () {
+		build $1 minimal
+		use minimal && return
+		build $1 core
+		use projects && build $1 projects
+	}
+	if use shared; then
+		buildAll relocatable
+	fi
+	if use static-libs; then
+		buildAll static
+	fi
+	if use static-pic; then
+		buildAll static-pic
+	fi
+	insinto /usr/share/gpr
+	doins gnatcoll.gpr
+	use doc && HTML_DOCS=( docs/_build/html/* )
+	einstalldocs
+	rm -r "${D}"/usr/share/gpr/manifests
+}

diff --git a/dev-ada/gnatcoll-core/metadata.xml b/dev-ada/gnatcoll-core/metadata.xml
index 5cad23aa44ea..5cf893d36197 100644
--- a/dev-ada/gnatcoll-core/metadata.xml
+++ b/dev-ada/gnatcoll-core/metadata.xml
@@ -5,6 +5,7 @@
 		<email>ada@gentoo.org</email>
 	</maintainer>
 	<use>
+		<flag name="projects">Build gnatcoll_projects</flag>
 		<flag name="shared">Build shared library</flag>
 		<flag name="static-pic">Build static library with pic code</flag>
 	</use>


^ permalink raw reply related	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2025-01-09 18:43 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-01-09 18:42 [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/files/, dev-ada/gnatcoll-core/ Alfredo Tupone
  -- strict thread matches above, loose matches on Subject: below --
2024-03-01 19:40 Alfredo Tupone

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox