mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-24 18:58:08 -07:00
40 lines
746 B
Bash
40 lines
746 B
Bash
# 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
|
|
}
|