diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-07-24 02:52:00 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-24 02:52:00 +0100 |
commit | e19b21c73e5feac42ade97baf3eeb45c58a2f234 (patch) | |
tree | f524a01a657ca0dd25be3a5bf70fbb6b694b0275 /dev-ml/opam-installer/opam-installer-2.0.8-r2.ebuild | |
parent | fceabcd48faf4c890719a14ac4ed93b6b7993364 (diff) |
gentoo auto-resync : 24:07:2022 - 02:51:59
Diffstat (limited to 'dev-ml/opam-installer/opam-installer-2.0.8-r2.ebuild')
-rw-r--r-- | dev-ml/opam-installer/opam-installer-2.0.8-r2.ebuild | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/dev-ml/opam-installer/opam-installer-2.0.8-r2.ebuild b/dev-ml/opam-installer/opam-installer-2.0.8-r2.ebuild deleted file mode 100644 index 5b0c79226fb0..000000000000 --- a/dev-ml/opam-installer/opam-installer-2.0.8-r2.ebuild +++ /dev/null @@ -1,42 +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" - -RDEPEND=" - >=dev-lang/ocaml-4.02.3 - dev-ml/cmdliner:= - ~dev-ml/opam-format-${PV} -" -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 -} |