diff options
Diffstat (limited to 'dev-ml/opam-installer/opam-installer-2.0.8-r4.ebuild')
| -rw-r--r-- | dev-ml/opam-installer/opam-installer-2.0.8-r4.ebuild | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/dev-ml/opam-installer/opam-installer-2.0.8-r4.ebuild b/dev-ml/opam-installer/opam-installer-2.0.8-r4.ebuild deleted file mode 100644 index eab5b13a534a..000000000000 --- a/dev-ml/opam-installer/opam-installer-2.0.8-r4.ebuild +++ /dev/null @@ -1,46 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -# We are opam -OPAM_INSTALLER_DEP=" " -OPAM_SKIP_VALIDATION=yes -inherit opam - -DESCRIPTION="Core installer for opam packages" -HOMEPAGE="https://opam.ocaml.org/ https://github.com/ocaml/opam" -SRC_URI="https://github.com/ocaml/opam/releases/download/${PV}/opam-full-${PV}.tar.gz" -S="${WORKDIR}/opam-full-${PV/_/-}" -OPAM_INSTALLER="${S}/opam-installer" - -LICENSE="LGPL-2.1" -SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" - -# 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" ) - -RDEPEND=" - >=dev-lang/ocaml-4.02.3:= - dev-ml/cmdliner:= - ~dev-ml/opam-format-${PV}:= - >=dev-ml/dose3-6:= -" -DEPEND="${RDEPEND} - dev-ml/findlib" - -src_configure() { - econf \ - --prefix="${EPREFIX}/usr" \ - --with-mccs \ - --docdir="${EPREFIX}/usr/share/doc/${PF}" \ - --mandir="${EPREFIX}/usr/share/man" -} - -src_compile() { - sed -e 's/DUNE = .*$/DUNE = /' -i Makefile.config - #passing -jX to the dune build leads to errors - #see: https://github.com/ocaml/opam/issues/3585 - emake DUNE_PROMOTE_ARG="" -j1 -} |