summaryrefslogtreecommitdiff
path: root/dev-dotnet
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2025-11-13 21:05:22 +0100
committerMaciej Barć <xgqt@gentoo.org>2025-11-13 21:13:03 +0100
commitfea9c886ec89860b9ab7e117e6bd7f20b9f735fc (patch)
tree33cb844d8c5978c8172c4e39952ad50e1a5476b7 /dev-dotnet
parent785f60521da858db2cdfeeb173d2d6226c907848 (diff)
downloadgentoo-fea9c886ec89860b9ab7e117e6bd7f20b9f735fc.tar.gz
gentoo-fea9c886ec89860b9ab7e117e6bd7f20b9f735fc.tar.bz2
gentoo-fea9c886ec89860b9ab7e117e6bd7f20b9f735fc.zip
dev-dotnet/coco: bump DOTNET_PKG_COMPAT to 10.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-dotnet')
-rw-r--r--dev-dotnet/coco/coco-2014.12.25-r1.ebuild46
1 files changed, 46 insertions, 0 deletions
diff --git a/dev-dotnet/coco/coco-2014.12.25-r1.ebuild b/dev-dotnet/coco/coco-2014.12.25-r1.ebuild
new file mode 100644
index 000000000000..11fd8e62cdb7
--- /dev/null
+++ b/dev-dotnet/coco/coco-2014.12.25-r1.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+# Upstream did not tag this release.
+if [[ "${PV}" == "2014.12.25" ]] ; then
+ COMMIT_SHA="14be0314ae393569ab7abaf4e187f78e6d42b2fd"
+else
+ die 'Could not detect "COMMIT_SHA", please update the ebuild.'
+fi
+
+DOTNET_PKG_COMPAT="10.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/${COMMIT_SHA}.tar.gz
+ -> ${P}.snapshot.gh.tar.gz"
+ S="${WORKDIR}/${PN}-${COMMIT_SHA}"
+
+ KEYWORDS="~amd64"
+fi
+
+LICENSE="GPL-2+"
+SLOT="0"
+
+DOTNET_PKG_PROJECTS=( Coco.csproj )
+
+dotnet-pkg_force-compat
+
+src_unpack() {
+ dotnet-pkg_src_unpack
+
+ if [[ -n "${EGIT_REPO_URI}" ]] ; then
+ git-r3_src_unpack
+ fi
+}