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: Mon, 15 Mar 2021 04:02:11 +0000 (UTC)	[thread overview]
Message-ID: <1615780902.159048087a89e4d10b7e75c7fa41f6197a09a197.sam@gentoo> (raw)

commit:     159048087a89e4d10b7e75c7fa41f6197a09a197
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 14 00:59:01 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Mar 15 04:01:42 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15904808

dev-ml/opam-installer: drop 2.0.7-r1

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

 dev-ml/opam-installer/Manifest                     |  1 -
 .../opam-installer/opam-installer-2.0.7-r1.ebuild  | 46 ----------------------
 2 files changed, 47 deletions(-)

diff --git a/dev-ml/opam-installer/Manifest b/dev-ml/opam-installer/Manifest
index 5052fbfcb46..bf62be30f70 100644
--- a/dev-ml/opam-installer/Manifest
+++ b/dev-ml/opam-installer/Manifest
@@ -1,2 +1 @@
-DIST opam-full-2.0.7.tar.gz 7929123 BLAKE2B 100acc2c31e97e47b0b584f3a153283593351d49d5e9cdaca42fdcc025b135d9538bd327927950e7e0972b20f561a0ee3d1d1b5b4b87e1e6af31761e311081e7 SHA512 670af4935bba0679c65f6592b7a52b1d429b604eb261e40b13cf72312aeb0bab0c5a76829a555fc5379a0371c352692cbabc46b460fcd9bf32b3cfebdaeceb81
 DIST opam-full-2.0.8.tar.gz 8006252 BLAKE2B 26348bdbb8bdc2fbf9d736286c1f4134ce065e8c15e34d51c8d2c6e5338fd6db089df38a19b07cde70770724fc4cc3dbd9e7d75628e5435ca8a2f8c0d4d3f2f0 SHA512 f08893ad0c1e124368168f28dcb5c3293e443da712d7b12db432c21ff72f7e1440bcc7156f49661d286360a16dcd166d3d02ecdebf8b1cda7c7df2b22e48f80f

diff --git a/dev-ml/opam-installer/opam-installer-2.0.7-r1.ebuild b/dev-ml/opam-installer/opam-installer-2.0.7-r1.ebuild
deleted file mode 100644
index 87658e669be..00000000000
--- a/dev-ml/opam-installer/opam-installer-2.0.7-r1.ebuild
+++ /dev/null
@@ -1,46 +0,0 @@
-# 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/_/-}"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86"
-IUSE=""
-
-RDEPEND="
-	>=dev-lang/ocaml-4.02.3
-	dev-ml/cmdliner:=
-	~dev-ml/opam-format-${PV}
-"
-DEPEND="${RDEPEND}
-	dev-ml/findlib"
-
-OPAM_INSTALLER="${S}/opam-installer"
-
-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
-	emake lib-ext
-	#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-03-15  4:02 UTC|newest]

Thread overview: 58+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-03-15  4:02 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  2:38 Sam James
2021-07-28  1:48 Sam James
2021-06-29 18:24 Alfredo Tupone
2021-05-10 15:20 Alfredo Tupone
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=1615780902.159048087a89e4d10b7e75c7fa41f6197a09a197.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