public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Sam James" <sam@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/opam-installer/
Date: Wed, 28 Jul 2021 02:38:35 +0000 (UTC)	[thread overview]
Message-ID: <1627438865.2ca90f4a11fe6fb3a7d7ad8d012ee3c4fbd8cbba.sam@gentoo> (raw)

commit:     2ca90f4a11fe6fb3a7d7ad8d012ee3c4fbd8cbba
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 28 02:21:05 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Jul 28 02:21:05 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ca90f4a

dev-ml/opam-installer: add 2.0.9

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/opam-installer/Manifest                    |  1 +
 dev-ml/opam-installer/opam-installer-2.0.9.ebuild | 46 +++++++++++++++++++++++
 2 files changed, 47 insertions(+)

diff --git a/dev-ml/opam-installer/Manifest b/dev-ml/opam-installer/Manifest
index bf62be30f70..d6e4ebdb9a8 100644
--- a/dev-ml/opam-installer/Manifest
+++ b/dev-ml/opam-installer/Manifest
@@ -1 +1,2 @@
 DIST opam-full-2.0.8.tar.gz 8006252 BLAKE2B 26348bdbb8bdc2fbf9d736286c1f4134ce065e8c15e34d51c8d2c6e5338fd6db089df38a19b07cde70770724fc4cc3dbd9e7d75628e5435ca8a2f8c0d4d3f2f0 SHA512 f08893ad0c1e124368168f28dcb5c3293e443da712d7b12db432c21ff72f7e1440bcc7156f49661d286360a16dcd166d3d02ecdebf8b1cda7c7df2b22e48f80f
+DIST opam-full-2.0.9.tar.gz 8029605 BLAKE2B c2ae06bdbbdbe9db270ec0027ec8d13a228f0af2ae5089476fa3a698d27e1f47abf2e3a15ecc9ca610717ba6b979b4ca76cce56c52f6592ae789b88fb5e5b68d SHA512 9f44d878a2599a876f5e5b9b7457b6f446a5e59156ed3d449dcc29e40c44df8b69da619eabdf030e45526fba4bd9a00c65dec2c36552d2e03788596b0aceee85

diff --git a/dev-ml/opam-installer/opam-installer-2.0.9.ebuild b/dev-ml/opam-installer/opam-installer-2.0.9.ebuild
new file mode 100644
index 00000000000..a2b88905a29
--- /dev/null
+++ b/dev-ml/opam-installer/opam-installer-2.0.9.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2021 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
+}


             reply	other threads:[~2021-07-28  2:38 UTC|newest]

Thread overview: 58+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-07-28  2:38 Sam James [this message]
  -- strict thread matches above, loose matches on Subject: below --
2024-11-23 12:41 [gentoo-commits] repo/gentoo:master commit in: dev-ml/opam-installer/ Alfredo Tupone
2024-10-14 19:57 Alfredo Tupone
2024-09-02  7:29 Arthur Zamarin
2024-08-23 13:00 Arthur Zamarin
2024-08-18 17:47 Sam James
2024-08-18 17:47 Sam James
2024-08-18 17:47 Sam James
2024-07-19 16:55 Alfredo Tupone
2024-07-18  6:07 Alfredo Tupone
2024-07-15 10:06 Alfredo Tupone
2024-01-19 23:08 Ionen Wolkens
2023-12-22  5:07 Sam James
2023-05-13 19:46 Alfredo Tupone
2023-03-17 11:47 Arthur Zamarin
2023-03-17 11:32 Arthur Zamarin
2023-03-17 11:32 Arthur Zamarin
2023-03-17 11:32 Arthur Zamarin
2023-03-17 11:32 Arthur Zamarin
2023-03-03 21:16 Alfredo Tupone
2023-02-23 23:38 Sam James
2022-07-23 23:52 Sam James
2022-06-21  1:53 Sam James
2022-02-01  9:37 Alfredo Tupone
2022-01-18 12:24 Sam James
2022-01-13 20:25 Arthur Zamarin
2022-01-13  6:34 Sam James
2022-01-11  0:45 Sam James
2022-01-10 20:07 Arthur Zamarin
2022-01-10 19:56 Arthur Zamarin
2021-11-06  3:40 Sam James
2021-11-06  3:36 Sam James
2021-11-06  3:36 Sam James
2021-10-14  9:44 Sam James
2021-10-03  7:11 Sam James
2021-10-02 21:25 Sam James
2021-10-02 19:16 Sam James
2021-10-02 19:16 Sam James
2021-10-02 19:16 Sam James
2021-10-02 19:16 Sam James
2021-07-29  6:45 Agostino Sarubbo
2021-07-28  1:48 Sam James
2021-06-29 18:24 Alfredo Tupone
2021-05-10 15:20 Alfredo Tupone
2021-03-15  4:02 Sam James
2021-03-15  3:47 Sam James
2021-03-14  1:20 Sam James
2021-03-14  0:48 Sam James
2021-03-13 14:05 Sam James
2021-03-04 14:28 Agostino Sarubbo
2021-02-11  6:31 Sam James
2021-02-11  6:26 Sam James
2021-02-10 18:53 Sam James
2021-02-10 16:33 Sam James
2021-02-09 19:56 Sam James
2021-02-08 17:21 Sam James
2021-02-08 17:21 Sam James
2021-01-27 18:25 Alfredo Tupone

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1627438865.2ca90f4a11fe6fb3a7d7ad8d012ee3c4fbd8cbba.sam@gentoo \
    --to=sam@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox