diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-16 15:42:30 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-16 16:47:35 +0200 |
| commit | db3627c7d666894d6748b3633807115980deded9 (patch) | |
| tree | 02a2bb353bed984df2cba237ddb6610c2974b037 /dev-dotnet | |
| parent | dev-lang/boogie: drop old 2.16.0 (diff) | |
| download | gentoo-db3627c7d666894d6748b3633807115980deded9.tar.gz gentoo-db3627c7d666894d6748b3633807115980deded9.tar.bz2 gentoo-db3627c7d666894d6748b3633807115980deded9.zip | |
dev-dotnet/coco: new package; add 2014.12.24
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-dotnet')
| -rw-r--r-- | dev-dotnet/coco/Manifest | 1 | ||||
| -rw-r--r-- | dev-dotnet/coco/coco-2014.12.24.ebuild | 43 | ||||
| -rw-r--r-- | dev-dotnet/coco/files/coco-2014.12.24-Coco-csproj.patch | 11 | ||||
| -rw-r--r-- | dev-dotnet/coco/metadata.xml | 13 |
4 files changed, 68 insertions, 0 deletions
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>dotnet@gentoo.org</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> |