[gentoo-commits] repo/gentoo:master commit in: dev-dotnet/coco/, dev-dotnet/coco/files/

[gentoo-commits] repo/gentoo:master commit in: dev-dotnet/coco/, dev-dotnet/coco/files/

[Maciej Barć]

commit:     38a2eeaa480e1c0c0b908605e6722c0949413bf0
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Dec 28 15:58:55 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Dec 28 16:04:48 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=38a2eeaa

dev-dotnet/coco: update DOTNET_PKG_COMPAT to .NET 9.0

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-dotnet/coco/coco-2014.12.24-r4.ebuild          | 37 ++++++++++++++++++++++
 .../files/coco-2014.12.24-Coco-csproj-net9.patch   | 11 +++++++
 2 files changed, 48 insertions(+)

diff --git a/dev-dotnet/coco/coco-2014.12.24-r4.ebuild b/dev-dotnet/coco/coco-2014.12.24-r4.ebuild
new file mode 100644
index 000000000000..d0c87d1f9f99
--- /dev/null
+++ b/dev-dotnet/coco/coco-2014.12.24-r4.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT="9.0"
+NUGET_PACKAGES=""
+
+inherit dotnet-pkg
+
+DESCRIPTION="The compiler generator Coco/R for C#"
+HOMEPAGE="https://github.com/boogie-org/coco/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
+else
+	SRC_URI="https://github.com/boogie-org/${PN}/archive/${PV}.tar.gz
+		-> ${P}.tar.gz"
+
+	KEYWORDS="~amd64"
+fi
+
+LICENSE="GPL-2+"
+SLOT="0"
+
+DOTNET_PKG_PROJECTS=( Coco.csproj )
+PATCHES=( "${FILESDIR}/coco-2014.12.24-Coco-csproj-net9.patch" )
+
+src_unpack() {
+	dotnet-pkg_src_unpack
+
+	if [[ -n "${EGIT_REPO_URI}" ]] ; then
+		git-r3_src_unpack
+	fi
+}

diff --git a/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj-net9.patch b/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj-net9.patch
new file mode 100644
index 000000000000..553c1ab0b011
--- /dev/null
+++ b/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj-net9.patch
@@ -0,0 +1,11 @@
+--- a/Coco.csproj
++++ b/Coco.csproj
+@@ -13,7 +13,7 @@
+ 
+   <PropertyGroup>
+     <OutputType>Exe</OutputType>
+-    <TargetFrameworks>net6.0;net5.0;netcoreapp3.1</TargetFrameworks>
++    <TargetFrameworks>net9.0</TargetFrameworks>
+     <PackAsTool>true</PackAsTool>
+     <ToolCommandName>coco</ToolCommandName>
+     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>

[gentoo-commits] repo/gentoo:master commit in: dev-dotnet/coco/, dev-dotnet/coco/files/

[Maciej Barć]

commit:     c6366dc80ad87bca8d5548bf0199df4d5eaf8d22
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Aug  1 12:46:49 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Aug  1 17:14:16 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c6366dc8

dev-dotnet/coco: drop old 2014.12.24-r3

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-dotnet/coco/coco-2014.12.24-r3.ebuild          | 39 ----------------------
 .../coco/files/coco-2014.12.24-Coco-csproj.patch   | 11 ------
 2 files changed, 50 deletions(-)

diff --git a/dev-dotnet/coco/coco-2014.12.24-r3.ebuild b/dev-dotnet/coco/coco-2014.12.24-r3.ebuild
deleted file mode 100644
index 503994a56dd3..000000000000
--- a/dev-dotnet/coco/coco-2014.12.24-r3.ebuild
+++ /dev/null
@@ -1,39 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-unset NUGET_PACKAGES
-
-inherit dotnet-pkg
-
-DESCRIPTION="The compiler generator Coco/R for C#"
-HOMEPAGE="https://github.com/boogie-org/coco/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
-else
-	SRC_URI="https://github.com/boogie-org/${PN}/archive/${PV}.tar.gz
-		-> ${P}.tar.gz"
-
-	KEYWORDS="amd64"
-fi
-
-LICENSE="GPL-2+"
-SLOT="0"
-
-DOTNET_PKG_PROJECTS=( "${S}/Coco.csproj" )
-PATCHES=( "${FILESDIR}/${P}-Coco-csproj.patch" )
-
-dotnet-pkg_force-compat
-
-src_unpack() {
-	dotnet-pkg_src_unpack
-
-	if [[ -n "${EGIT_REPO_URI}" ]] ; then
-		git-r3_src_unpack
-	fi
-}

diff --git a/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch b/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch
deleted file mode 100644
index 9a3d3b3ec0a5..000000000000
--- a/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/Coco.csproj
-+++ b/Coco.csproj
-@@ -13,7 +13,7 @@
- 
-   <PropertyGroup>
-     <OutputType>Exe</OutputType>
--    <TargetFrameworks>net6.0;net5.0;netcoreapp3.1</TargetFrameworks>
-+    <TargetFrameworks>net6.0</TargetFrameworks>
-     <PackAsTool>true</PackAsTool>
-     <ToolCommandName>coco</ToolCommandName>
-     <GeneratePackageOnBuild>true</GeneratePackageOnBuild>