diff options
| author |   Hank Leininger <hlein@korelogic.com> | 2021-05-05 11:33:11 -0600 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2021-06-06 23:55:15 +0000 |
| commit | 44a31e3306b4435bc9250118a8f36c2c8b75bad1 (patch) | |
| tree | 5f57635861e7dc18e15f8b77e7a485337ebc6810 /dev-ml/opam-solver/opam-solver-2.0.8-r1.ebuild | |
| parent | dev-ml/opam-format: patch for dose3-6.x compat (diff) | |
| download | gentoo-44a31e3306b4435bc9250118a8f36c2c8b75bad1.tar.gz gentoo-44a31e3306b4435bc9250118a8f36c2c8b75bad1.tar.bz2 gentoo-44a31e3306b4435bc9250118a8f36c2c8b75bad1.zip | |
dev-ml/opam-solver: patch for dose3-6.x compat
Lifted from Debian, see https://bugs.debian.org/982733
Signed-off-by: Hank Leininger <hlein@korelogic.com>
Closes: https://bugs.gentoo.org/788265
Package-Manager: Portage-3.0.18, Repoman-3.0.3
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/opam-solver/opam-solver-2.0.8-r1.ebuild')
| -rw-r--r-- | dev-ml/opam-solver/opam-solver-2.0.8-r1.ebuild | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/dev-ml/opam-solver/opam-solver-2.0.8-r1.ebuild b/dev-ml/opam-solver/opam-solver-2.0.8-r1.ebuild new file mode 100644 index 000000000000..d520ec1b78c8 --- /dev/null +++ b/dev-ml/opam-solver/opam-solver-2.0.8-r1.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="opam solver" +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" +IUSE="+ocamlopt test" +RESTRICT="!test? ( test )" + +RDEPEND=" + ~dev-ml/opam-format-${PV}:= + dev-ml/opam-file-format:= + dev-ml/re:= + >=dev-ml/mccs-1.1.4:= + >=dev-ml/dose3-6.0:= + dev-ml/cudf:= +" +DEPEND="${RDEPEND} + test? ( dev-ml/opam-client )" + +# 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 +} |