diff options
Diffstat (limited to 'dev-ml/opam-repository/opam-repository-2.0.10.ebuild')
-rw-r--r-- | dev-ml/opam-repository/opam-repository-2.0.10.ebuild | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/dev-ml/opam-repository/opam-repository-2.0.10.ebuild b/dev-ml/opam-repository/opam-repository-2.0.10.ebuild deleted file mode 100644 index 5cf5aea1620d..000000000000 --- a/dev-ml/opam-repository/opam-repository-2.0.10.ebuild +++ /dev/null @@ -1,39 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit dune - -DESCRIPTION="opam repository libraries" -HOMEPAGE="https://opam.ocaml.org/ https://github.com/ocaml/opam" -SRC_URI="https://github.com/ocaml/opam/archive/${PV/_/-}.tar.gz -> opam-${PV}.tar.gz" -S="${WORKDIR}/opam-${PV/_/-}" - -LICENSE="LGPL-2.1" -SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" -IUSE="+ocamlopt" -RESTRICT="test" - -RDEPEND=" - ~dev-ml/opam-format-${PV}:= - dev-ml/re:= - >=dev-ml/dose3-6.0:= - dev-ml/opam-file-format:= -" -DEPEND="${RDEPEND}" - -# Cherry-picked from https://deb.debian.org/debian/pool/main/o/opam/opam_2.0.8-1.debian.tar.xz -PATCHES=( "${FILESDIR}/debian-Port-to-Dose3-6.0.1.patch" ) - -src_prepare() { - default - cat <<- EOF >> "${S}/dune" - (env - (dev - (flags (:standard -warn-error -3-9-33))) - (release - (flags (:standard -warn-error -3-9-33)))) - EOF -} |