diff options
Diffstat (limited to 'dev-ml/opam-format/opam-format-2.0.9.ebuild')
| -rw-r--r-- | dev-ml/opam-format/opam-format-2.0.9.ebuild | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/dev-ml/opam-format/opam-format-2.0.9.ebuild b/dev-ml/opam-format/opam-format-2.0.9.ebuild new file mode 100644 index 000000000000..ace83b9a6ae8 --- /dev/null +++ b/dev-ml/opam-format/opam-format-2.0.9.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +# We are opam +OPAM_INSTALLER_DEP=" " +inherit dune + +DESCRIPTION="Core libraries for opam" +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}" +OPAM_INSTALLER="${S}/opam-installer" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +RDEPEND=" + ~dev-ml/opam-core-${PV}:= + dev-ml/re:= + dev-ml/opam-file-format:= + >=dev-ml/dose3-6.0:= +" +DEPEND="${RDEPEND} + dev-ml/cppo" + +# 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 +} |