commit: db3627c7d666894d6748b3633807115980deded9 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sat Sep 16 13:42:30 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Sep 16 14:47:35 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=db3627c7
dev-dotnet/coco: new package; add 2014.12.24 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-dotnet/coco/Manifest | 1 + dev-dotnet/coco/coco-2014.12.24.ebuild | 43 ++++++++++++++++++++++ .../coco/files/coco-2014.12.24-Coco-csproj.patch | 11 ++++++ dev-dotnet/coco/metadata.xml | 13 +++++++ 4 files changed, 68 insertions(+) diff --git a/dev-dotnet/coco/Manifest b/dev-dotnet/coco/Manifest new file mode 100644 index 000000000000..fc5826d0ef1c --- /dev/null +++ b/dev-dotnet/coco/Manifest @@ -0,0 +1 @@ +DIST coco-2014.12.24.tar.gz 37670 BLAKE2B acd2299e3452d4dac495a0a7f897694791b4abcc0dd7c243771fe8c7084cd9909110c655788844e11fbb576bd95e3596cb890c0ec930c3e4587fd3313082b5cb SHA512 d3b5af1b73b233a8c4b4572db8d65b1c1ffec36e455e4d5fadf1002125433551c833b9574ae03edbe2cd3978fedef41c85667fce82ff2d6ee155c16f778f970e diff --git a/dev-dotnet/coco/coco-2014.12.24.ebuild b/dev-dotnet/coco/coco-2014.12.24.ebuild new file mode 100644 index 000000000000..22b9b0c2c043 --- /dev/null +++ b/dev-dotnet/coco/coco-2014.12.24.ebuild @@ -0,0 +1,43 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DOTNET_PKG_COMPAT=6.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" ) + +src_unpack() { + dotnet-pkg_src_unpack + + if [[ -n ${EGIT_REPO_URI} ]] ; then + git-r3_src_unpack + fi +} + +src_install() { + dotnet-pkg-base_install + dotnet-pkg-base_dolauncher "/usr/share/${P}/${PN^}" "${PN}" + + einstalldocs +} 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 new file mode 100644 index 000000000000..9a3d3b3ec0a5 --- /dev/null +++ b/dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.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>net6.0</TargetFrameworks> + <PackAsTool>true</PackAsTool> + <ToolCommandName>coco</ToolCommandName> + <GeneratePackageOnBuild>true</GeneratePackageOnBuild> diff --git a/dev-dotnet/coco/metadata.xml b/dev-dotnet/coco/metadata.xml new file mode 100644 index 000000000000..1eda8501d942 --- /dev/null +++ b/dev-dotnet/coco/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> + +<pkgmetadata> + <maintainer type="project"> + <email>[email protected]</email> + <name>Gentoo Dotnet Project</name> + </maintainer> + <upstream> + <bugs-to>https://github.com/boogie-org/coco/issues/</bugs-to> + <remote-id type="github">boogie-org/coco</remote-id> + </upstream> +</pkgmetadata>
