From: pukkamustard <pukkamustard@posteo.net>
To: 64249@debbugs.gnu.org
Cc: pukkamustard <pukkamustard@posteo.net>,
ludo@gnu.org, julien@lepiller.eu,
Julien Lepiller <julien@lepiller.eu>,
pukkamustard <pukkamustard@posteo.net>
Subject: [bug#64249] [PATCH ocaml-team v3 0/6] Update and break opam (but nothing else)
Date: Tue, 18 Jul 2023 12:23:57 +0000 [thread overview]
Message-ID: <cover.1689682320.git.pukkamustard@posteo.net> (raw)
In-Reply-To: <a06ca6a604f420b4c6a994e4475ab078d1c9c386.1687527699.git.pukkamustard@posteo.net>
Hello!
Some changes versus v2:
- opam is split into smaller builds before updating. The size of the new opam
package decreases from ~600MiB to ~80MiB (mostly as the OCaml compiler is no
longer referenced).
- We add the `opam-installer` package. This can be used by packages that
require opam for installation (e.g. ocaml-react or ocaml-jsonm). There are no
more packages that require opam as build dependency.
- Update `opam` to 2.1.5 as last step. This still breaks the build of `opam`,
but nothing else as `opam-installer` builds at version 2.1.5.
-pukkamustard
pukkamustard (6):
gnu: ocaml: Update to 4.14.1.
gnu: coq: Update to 8.17.1.
gnu: dune-bootstrap: Update to 3.9.1.
gnu: opam: Split build into smaller sub-packages.
gnu: Add opam-installer.
FIXME: gnu: opam: Update to 2.1.5.
gnu/local.mk | 4 -
gnu/packages/coq.scm | 24 +-
gnu/packages/ocaml.scm | 365 ++++++++++++------
.../ocaml-dose3-Fix-for-ocaml-4.06.patch | 52 ---
.../ocaml-dose3-Install-mli-cmx-etc.patch | 133 -------
.../ocaml-dose3-add-unix-dependency.patch | 25 --
.../ocaml-dose3-dont-make-printconf.patch | 9 -
7 files changed, 242 insertions(+), 370 deletions(-)
delete mode 100644 gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch
delete mode 100644 gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch
delete mode 100644 gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch
delete mode 100644 gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch
base-commit: 01412c6c6a98e4da10676560638640d0f33e1a02
--
2.40.1
next prev parent reply other threads:[~2023-07-18 12:25 UTC|newest]
Thread overview: 149+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-23 13:43 [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-06-23 13:46 ` [bug#64249] [PATCH ocaml-team 2/2] gnu: dune-bootstrap: Update to 3.8.2 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 0/7] Attempt to update ocaml, coq, dune and opam pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 1/7] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 2/7] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 3/7] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 4/7] gnu: ocaml-graph: Update to 2.0.0 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 5/7] gnu: ocaml-base64: Update to 3.5.1 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 6/7] gnu: ocaml-dose3: Update to 7.0.0 pukkamustard
2023-07-15 17:38 ` [bug#64249] [PATCH ocaml-team v2 7/7] WIP: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-18 11:46 ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Ludovic Courtès
2023-07-18 12:05 ` pukkamustard
2023-07-18 12:23 ` pukkamustard [this message]
2023-07-18 12:23 ` [bug#64249] [PATCH ocaml-team v3 1/6] " pukkamustard
2023-07-18 12:23 ` [bug#64249] [PATCH ocaml-team v3 2/6] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-19 18:18 ` Julien Lepiller
2023-07-24 14:54 ` pukkamustard
2023-07-24 15:22 ` Julien Lepiller
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 3/6] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 4/6] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 5/6] gnu: Add opam-installer pukkamustard
2023-07-18 12:24 ` [bug#64249] [PATCH ocaml-team v3 6/6] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 0/9] pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 1/9] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 2/9] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 3/9] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 4/9] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 5/9] gnu: coq: Update to 8.17.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 6/9] gnu: dune-bootstrap: Update to 3.9.1 pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 7/9] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 8/9] gnu: Add opam-installer pukkamustard
2023-07-28 11:08 ` [bug#64249] [PATCH ocaml-team v4 9/9] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-07-30 17:42 ` [bug#64249] [PATCH ocaml-team v4 0/9] Julien Lepiller
2023-08-06 14:09 ` pukkamustard
2023-10-29 9:24 ` DABY-SEESARAM Arnaud via Guix-patches via
2023-11-03 11:11 ` pukkamustard
2024-02-08 20:05 ` Arnaud Daby-Seesaram via Guix-patches via
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-08-17 19:08 ` Julien Lepiller
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 10/12] gnu: dune-bootstrap: Update to 3.10.0 pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-08-06 15:20 ` [bug#64249] [PATCH ocaml-team v5 12/12] FIXME: gnu: opam: Update to 2.1.5 pukkamustard
2023-08-17 20:54 ` Julien Lepiller
2023-08-15 21:25 ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Ludovic Courtès
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-09-12 6:56 ` [bug#64249] [PATCH ocaml-team v6 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-09-12 11:31 ` [bug#64249] [PATCH] fixup! " Josselin Poiret via Guix-patches via
2023-09-20 6:43 ` pukkamustard
2023-09-12 6:57 ` [bug#64249] [PATCH ocaml-team v6 10/12] gnu: dune-bootstrap: Update to 3.10.0 pukkamustard
2023-09-12 6:57 ` [bug#64249] [PATCH ocaml-team v6 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-09-12 6:57 ` [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5 pukkamustard
2023-09-22 14:21 ` [bug#64249] [PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1 Simon Tournier
2023-09-22 19:48 ` [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5 Julien Lepiller
2023-09-26 9:34 ` Julien Lepiller
2023-09-28 20:11 ` Julien Lepiller
2023-10-12 9:18 ` [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works pukkamustard
2023-10-12 10:24 ` Julien Lepiller
2023-10-24 16:00 ` [bug#64249] [PATCH v7 00/12] gnu: ocaml: Update to 4.14.1 - The one for CI pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 01/12] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 02/12] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 03/12] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 04/12] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 05/12] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 06/12] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 07/12] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 08/12] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 09/12] gnu: coq: Update to 8.17.1 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 10/12] gnu: dune-bootstrap: Update to 3.11.0 pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 11/12] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-10-24 16:00 ` [bug#64249] [PATCH v7 12/12] gnu: opam: Update to 2.1.5 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 01/13] gnu: ocaml: Update to 4.14.1 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 02/13] gnu: Update coq-flocq to 4.1.1 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 03/13] gnu: Update coq-gappa to 1.5.3 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 04/13] gnu: Update coq-coquelicot to 3.4.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 05/13] gnu: Update coq-mathcomp to 1.17.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 06/13] gnu: Update coq-autosubst to 1.8 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 07/13] gnu: Update coq-stdpp to 1.8.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 08/13] gnu: Update coq-interval to 4.8.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 09/13] gnu: coq: Update to 8.17.1 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 10/13] gnu: dune-bootstrap: Update to 3.11.0 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 11/13] gnu: opam: Split build into smaller sub-packages pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 12/13] gnu: ocaml-opam-file-format: Update to 2.1.6 pukkamustard
2023-11-03 11:50 ` [bug#64249] [PATCH v8 13/13] gnu: opam: Update to 2.1.5 pukkamustard
2023-11-08 19:14 ` DABY-SEESARAM Arnaud via Guix-patches via
2023-12-23 17:53 ` [bug#64249] OCaml-related updates Arnaud Daby-Seesaram via Guix-patches via
2023-12-24 13:07 ` Julien Lepiller
2023-12-24 16:43 ` [bug#64249] [PATCH 0/9] Fix frama-c ds-ac--- via Guix-patches via
2024-01-10 7:34 ` Julien Lepiller
2023-12-24 16:43 ` [bug#64249] [PATCH 1/9] gnu: why3: Update to 1.6.0 ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 2/9] gnu: Add ocaml-ppx-deriving-yojson ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 3/9] gnu: Add ocaml-junit ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 4/9] gnu: Add ocaml-junit-alcotest ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 5/9] gnu: Add ocaml-yaml ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 6/9] gnu: Add ocaml-ppx-deriving-yaml ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 7/9] gnu: Add ocaml-ppx-import ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 8/9] gnu: Add ocaml-dune-site ds-ac--- via Guix-patches via
2023-12-24 16:43 ` [bug#64249] [PATCH 9/9] gnu: update frama-c to 27.1-Cobalt ds-ac--- via Guix-patches via
2024-01-10 7:43 ` [bug#64249] [PATCH v9 01/34] gnu: ocaml: Update to 4.14.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 02/34] gnu: Update coq-flocq to 4.1.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 03/34] gnu: Update coq-gappa to 1.5.3 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 04/34] gnu: Update coq-coquelicot to 3.4.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 05/34] gnu: Update coq-mathcomp to 1.17.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 06/34] gnu: Update coq-autosubst to 1.8 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 07/34] gnu: Update coq-stdpp to 1.8.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 08/34] gnu: Update coq-interval to 4.8.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 09/34] gnu: coq: Update to 8.17.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 10/34] gnu: dune-bootstrap: Update to 3.11.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 11/34] gnu: opam: Split build into smaller sub-packages Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 12/34] gnu: ocaml-alcotest: Update to 1.7.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 13/34] gnu: ocaml-sexplib: Update to 0.16.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 14/34] gnu: ocaml-ppxlib: Update to 0.28 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 15/34] gnu: Add ocaml-ppx-stable-witness Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 16/34] gnu: ocaml-bin-prot: Update to 0.16.0 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 17/34] gnu: ocaml-ppx-bin-prot: " Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 18/34] gnu: ocaml-jst-config: " Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 19/34] gnu: ocaml-ppx-bench: " Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 20/34] gnu: Add ocaml-ppx-deriving-yojson Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 21/34] gnu: Add ocaml-junit Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 22/34] gnu: Add ocaml-junit-alcotest Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 23/34] gnu: Add ocaml-yaml Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 24/34] gnu: Add ocaml-ppx-deriving-yaml Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 25/34] gnu: Add ocaml-ppx-import Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 26/34] gnu: Add ocaml-pp Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 27/34] gnu: Add dune-ordering Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 28/34] gnu: Add dune-dyn Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 29/34] gnu: Add dune-stdune Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 30/34] gnu: Add dune-private-libs Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 31/34] gnu: Add dune-site Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 32/34] gnu: frama-c: Update to 27.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 33/34] gnu: ocaml-base64: Update to 3.5.1 Julien Lepiller
2024-01-10 7:43 ` [bug#64249] [PATCH v9 34/34] gnu: opam: Update to 2.1.5 Julien Lepiller
2024-02-08 22:27 ` bug#64249: " Julien Lepiller
2024-01-28 14:54 ` [bug#64249] Gentle ping ds-ac via Guix-patches via
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
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=cover.1689682320.git.pukkamustard@posteo.net \
--to=pukkamustard@posteo.net \
--cc=64249@debbugs.gnu.org \
--cc=julien@lepiller.eu \
--cc=ludo@gnu.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.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).