diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-03-03 21:43:48 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-03-03 21:47:04 +0100 |
| commit | cf3e915410d941e5696d9cc45c11d79004f37629 (patch) | |
| tree | 5b4e64f09177b77fc66647becc374f27cc4f55f3 /dev-ml/opam-installer | |
| parent | dev-ml/opam-solver: add 2.1.3 (diff) | |
| download | gentoo-cf3e915410d941e5696d9cc45c11d79004f37629.tar.gz gentoo-cf3e915410d941e5696d9cc45c11d79004f37629.tar.bz2 gentoo-cf3e915410d941e5696d9cc45c11d79004f37629.zip | |
dev-ml/opam-installer: add 2.1.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/opam-installer')
| -rw-r--r-- | dev-ml/opam-installer/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/opam-installer/opam-installer-2.1.3.ebuild | 41 |
2 files changed, 42 insertions, 0 deletions
diff --git a/dev-ml/opam-installer/Manifest b/dev-ml/opam-installer/Manifest index 30cca71cee13..4f87075e8b29 100644 --- a/dev-ml/opam-installer/Manifest +++ b/dev-ml/opam-installer/Manifest @@ -2,3 +2,4 @@ DIST opam-2.1.0-dose3-6.patch.xz 5896 BLAKE2B f605064ebae7d327895729962a345a3c67 DIST opam-full-2.0.10.tar.gz 8173617 BLAKE2B 6bf7a52835512b3de5bcf0de24f5ba3a322f718e6b590902add5ca162e449e40fa3c27cff7b042240441c031303b24cf6b1a100d7f7c3c0cc275d47e60c0bce1 SHA512 05c6bd7e08f131c910871867590a6eb95b488d943ebbb0f93212f2101f09f54dcffd5d6492c9e2edf0485e3ee681815c6353d43ef185bc934fc8afb84d02cf5f DIST opam-full-2.0.9.tar.gz 8029605 BLAKE2B c2ae06bdbbdbe9db270ec0027ec8d13a228f0af2ae5089476fa3a698d27e1f47abf2e3a15ecc9ca610717ba6b979b4ca76cce56c52f6592ae789b88fb5e5b68d SHA512 9f44d878a2599a876f5e5b9b7457b6f446a5e59156ed3d449dcc29e40c44df8b69da619eabdf030e45526fba4bd9a00c65dec2c36552d2e03788596b0aceee85 DIST opam-full-2.1.2.tar.gz 9442446 BLAKE2B fe5447fe8f9bcedb30bf455e93b54a37e950e2944f6f501545bdccf6d989de2da90106938efb6a12c1b9454ecefed5be9906d65a15a4d0244302ad7ccff170db SHA512 fe12aaa27168435a978c472926d40697af0a7619a529c4bfacd0b71469dfcd534f43164bc74f60f740a735d38a869ae5e87e2414119f4f3fc1826315e8a075cd +DIST opam-full-2.1.3.tar.gz 9618995 BLAKE2B 6f33e70c2e59be87b643840128b46441828d3d83888f5d321ac23d33b2fbc4d3163cb4303ac82a7f863abcc9300227bbc48bca3b8db5d6fbcebf0e6cf8869a5d SHA512 fe3a3c86335830944683a39a34a9eb385037476853ab3e2a82b8571a9e2021830cccf25cbd5bb891d239f6a47584c1b1d91aa445e6e2a814847346c5cc526ff1 diff --git a/dev-ml/opam-installer/opam-installer-2.1.3.ebuild b/dev-ml/opam-installer/opam-installer-2.1.3.ebuild new file mode 100644 index 000000000000..f50ec263a8d2 --- /dev/null +++ b/dev-ml/opam-installer/opam-installer-2.1.3.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +# We are opam +OPAM_INSTALLER_DEP=" " +OPAM_SKIP_VALIDATION=yes +inherit dune + +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" +SRC_URI+=" https://dev.gentoo.org/~sam/distfiles/dev-ml/opam/opam-2.1.0-dose3-6.patch.xz" +S="${WORKDIR}/opam-full-${PV/_/-}" +OPAM_INSTALLER="${S}/_build/install/default/bin/opam-installer" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" +RESTRICT="test" # sandbox not working + +PATCHES=( "${WORKDIR}"/opam-2.1.0-dose3-6.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" +} |