public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/, dev-ada/gnatcoll-core/files/
@ 2018-06-12 20:00 Alfredo Tupone
  0 siblings, 0 replies; 3+ messages in thread
From: Alfredo Tupone @ 2018-06-12 20:00 UTC (permalink / raw
  To: gentoo-commits

commit:     ad254d79b82f400acb7d58433209531bf3ba47c5
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 12 20:00:17 2018 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jun 12 20:00:17 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ad254d79

dev-ada/gnatcoll-core: Add dev-ada/gnatcoll-core

Package-Manager: Portage-2.3.40, Repoman-2.3.9

 dev-ada/gnatcoll-core/Manifest                     |  1 +
 .../files/gnatcoll-core-2018-gentoo.patch          | 22 +++++++
 dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild    | 74 ++++++++++++++++++++++
 dev-ada/gnatcoll-core/metadata.xml                 | 29 +++++++++
 4 files changed, 126 insertions(+)

diff --git a/dev-ada/gnatcoll-core/Manifest b/dev-ada/gnatcoll-core/Manifest
new file mode 100644
index 00000000000..5317f1891c2
--- /dev/null
+++ b/dev-ada/gnatcoll-core/Manifest
@@ -0,0 +1 @@
+DIST gnatcoll-core-gpl-2018-src.tar.gz 1657129 BLAKE2B 616aef931fb542f4a022c63db53acb0f8b4323e3b948eb7b8b5688c36817b3f52b5f517b969b0560b6492d51a3e59c8350449cbbe7246b5294c45caeead4d9d6 SHA512 bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac

diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch
new file mode 100644
index 00000000000..cedf710c036
--- /dev/null
+++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch
@@ -0,0 +1,22 @@
+--- a/gnatcoll.gpr	2018-06-12 21:37:42.664733336 +0200
++++ b/gnatcoll.gpr	2018-06-12 21:38:07.965360000 +0200
+@@ -115,6 +115,7 @@
+ 
+       for Switches ("gnatcoll_support.c") use
+          Compiler'Switches ("C") & Extra_Switches;
++      for Driver ("C") use External ("GCC", "gcc");
+ 
+    end Compiler;
+ 
+--- a/src/gnatcoll-projects.ads.old	2017-11-25 14:50:06.919939453 +0100
++++ b/src/gnatcoll-projects.ads	2017-11-25 14:50:38.932387204 +0100
+@@ -1917,7 +1917,8 @@
+       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-2018.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild
new file mode 100644
index 00000000000..38313cd8d13
--- /dev/null
+++ b/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild
@@ -0,0 +1,74 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+inherit multiprocessing
+
+MYP=${PN}-gpl-${PV}
+
+DESCRIPTION="GNAT Component Collection Core packages"
+HOMEPAGE="http://libre.adacore.com"
+SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99
+	-> ${MYP}-src.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="gnat_2016 gnat_2017 +gnat_2018 +shared static-libs static-pic"
+
+RDEPEND="dev-lang/gnat-gpl:7.3.0
+	dev-ada/libgpr[gnat_2018,shared?,static-libs?,static-pic?]
+	dev-ada/xmlada[gnat_2018,shared?,static-libs?,static-pic?]"
+DEPEND="${RDEPEND}
+	dev-ada/gprbuild[gnat_2018]
+	!dev-ada/gnatcoll"
+
+REQUIRED_USE="!gnat_2016 !gnat_2017 gnat_2018"
+
+S="${WORKDIR}"/${MYP}-src
+
+PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
+
+src_prepare() {
+	GCC_PV=7.3.0
+	default
+	sed -i \
+		-e "s:@GNATLS@:${CHOST}-gnatls-${GCC_PV}:g" \
+		src/gnatcoll-projects.ads \
+		|| die
+}
+
+src_configure() {
+	emake prefix="${D}usr" PROCESSORS=$(makeopts_jobs) setup
+}
+
+src_compile() {
+	build () {
+		GCC=${CHOST}-gcc-${GCC_PV} 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-pic; then
+		build static-pic
+	fi
+	if use static-libs; then
+		build static
+	fi
+}
+
+src_install() {
+	if use shared; then
+		emake install-relocatable
+	fi
+	if use static-pic; then
+		emake install-static-pic
+	fi
+	if use static-libs; then
+		emake install-static
+	fi
+	einstalldocs
+}

diff --git a/dev-ada/gnatcoll-core/metadata.xml b/dev-ada/gnatcoll-core/metadata.xml
new file mode 100644
index 00000000000..294071cbcd1
--- /dev/null
+++ b/dev-ada/gnatcoll-core/metadata.xml
@@ -0,0 +1,29 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="person">
+		<email>tupone@gentoo.org</email>
+		<name>Tupone Alfredo</name>
+	</maintainer>
+	<use>
+		<flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag>
+		<flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag>
+		<flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag>
+		<flag name="shared">Build shared library</flag>
+		<flag name="static-pic">Build static library with pic code</flag>
+	</use>
+	<longdescription lang="en">
+		The reusable library known as the GNAT Component Collection (GNATColl)
+		is based on one main principle: general-purpose packages that are part
+		of the GNAT technology should also be available to GNAT user
+		application code. The compiler front end, the GNAT Programming Studio
+		(GPS) Interactive Development Environment, and the GNAT Tracker
+		web-based interface all served as sources for the components.
+
+		The GNATColl components complement the predefined Ada and GNAT
+		libraries and deal with a range of common programming issues including
+		string and text processing, memory management, and file handling.
+		Several of the components are especially useful in enterprise
+		applications.
+	</longdescription>
+</pkgmetadata>


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

* [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/, dev-ada/gnatcoll-core/files/
@ 2018-11-20 17:49 Alfredo Tupone
  0 siblings, 0 replies; 3+ messages in thread
From: Alfredo Tupone @ 2018-11-20 17:49 UTC (permalink / raw
  To: gentoo-commits

commit:     cb73be55c4b5055df9c9233766f0f6f0a81d5f8b
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Nov 20 17:49:12 2018 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Nov 20 17:49:12 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb73be55

dev-ada/gnatcoll-core: Stabilize

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11

 dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch | 10 ----------
 dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild             | 12 ++++++------
 2 files changed, 6 insertions(+), 16 deletions(-)

diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch
index cedf710c036..dcbe89df783 100644
--- a/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch
+++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch
@@ -1,13 +1,3 @@
---- a/gnatcoll.gpr	2018-06-12 21:37:42.664733336 +0200
-+++ b/gnatcoll.gpr	2018-06-12 21:38:07.965360000 +0200
-@@ -115,6 +115,7 @@
- 
-       for Switches ("gnatcoll_support.c") use
-          Compiler'Switches ("C") & Extra_Switches;
-+      for Driver ("C") use External ("GCC", "gcc");
- 
-    end Compiler;
- 
 --- a/src/gnatcoll-projects.ads.old	2017-11-25 14:50:06.919939453 +0100
 +++ b/src/gnatcoll-projects.ads	2017-11-25 14:50:38.932387204 +0100
 @@ -1917,7 +1917,8 @@

diff --git a/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild
index 88fa2a1f45a..37d1058f21c 100644
--- a/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild
+++ b/dev-ada/gnatcoll-core/gnatcoll-core-2018.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=6
@@ -13,7 +13,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99
 
 LICENSE="GPL-3"
 SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 x86"
 IUSE="gnat_2016 gnat_2017 +gnat_2018 +shared static-libs static-pic"
 
 RDEPEND="
@@ -23,14 +23,14 @@ RDEPEND="
 DEPEND="${RDEPEND}
 	dev-ada/gprbuild[gnat_2016=,gnat_2017=,gnat_2018=]"
 
-REQUIRED_USE="!gnat_2016"
-
 S="${WORKDIR}"/${MYP}-src
 
 PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
 
 src_prepare() {
-	if use gnat_2017; then
+	if use gnat_2016; then
+		GCC_PV=4.9.4
+	elif use gnat_2017; then
 		GCC_PV=6.3.0
 	else
 		GCC_PV=7.3.1
@@ -48,7 +48,7 @@ src_configure() {
 
 src_compile() {
 	build () {
-		GCC=${CHOST}-gcc-${GCC_PV} gprbuild -p -m -j$(makeopts_jobs) \
+		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


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

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

commit:     008a06a27cb5e9e9e577324b24d92805ef411d5a
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu May  1 20:30:36 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu May  1 21:18:57 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=008a06a2

dev-ada/gnatcoll-core: drop 24.0.0-r4

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

 dev-ada/gnatcoll-core/Manifest                     |  1 -
 .../files/gnatcoll-core-2018-gentoo.patch          | 12 ---
 .../files/gnatcoll-core-24.0.0-gentoo.patch        | 15 ----
 .../gnatcoll-core/gnatcoll-core-24.0.0-r4.ebuild   | 85 ----------------------
 4 files changed, 113 deletions(-)

diff --git a/dev-ada/gnatcoll-core/Manifest b/dev-ada/gnatcoll-core/Manifest
index 4833ab1a8218..26cf81fc9438 100644
--- a/dev-ada/gnatcoll-core/Manifest
+++ b/dev-ada/gnatcoll-core/Manifest
@@ -1,2 +1 @@
-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-2018-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch
deleted file mode 100644
index dcbe89df7837..000000000000
--- a/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch
+++ /dev/null
@@ -1,12 +0,0 @@
---- a/src/gnatcoll-projects.ads.old	2017-11-25 14:50:06.919939453 +0100
-+++ b/src/gnatcoll-projects.ads	2017-11-25 14:50:38.932387204 +0100
-@@ -1917,7 +1917,8 @@
-       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/files/gnatcoll-core-24.0.0-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch
deleted file mode 100644
index 5de80869e561..000000000000
--- a/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch
+++ /dev/null
@@ -1,15 +0,0 @@
---- 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-r4.ebuild b/dev-ada/gnatcoll-core/gnatcoll-core-24.0.0-r4.ebuild
deleted file mode 100644
index 773e769f93a2..000000000000
--- a/dev-ada/gnatcoll-core/gnatcoll-core-24.0.0-r4.ebuild
+++ /dev/null
@@ -1,85 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-ADA_COMPAT=( gcc_12 gcc_13 gcc_14 )
-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-python/sphinx-rtd-theme
-		dev-tex/latexmk
-		dev-texlive/texlive-latexextra
-	)"
-
-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] 3+ messages in thread

end of thread, other threads:[~2025-05-01 21:20 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-05-01 21:20 [gentoo-commits] repo/gentoo:master commit in: dev-ada/gnatcoll-core/, dev-ada/gnatcoll-core/files/ Alfredo Tupone
  -- strict thread matches above, loose matches on Subject: below --
2018-11-20 17:49 Alfredo Tupone
2018-06-12 20:00 Alfredo Tupone

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