From: Julien Lepiller <julien@lepiller.eu>
To: zimoun <zimon.toutoune@gmail.com>
Cc: 46806@debbugs.gnu.org
Subject: [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap.
Date: Wed, 03 Mar 2021 08:46:08 -0500 [thread overview]
Message-ID: <5366012A-8041-4277-B6B4-C6709EB2787B@lepiller.eu> (raw)
In-Reply-To: <87eegwcqp1.fsf@gmail.com>
[-- Attachment #1: Type: text/plain, Size: 1971 bytes --]
We'd have to check we actually can build them. The plan was to build menhir with this ocaml4.07, since it's required to generate the parser for ocaml >= 4.08, and improve camlboot to support more recent versions. We would prevent the need for a chain of bootstraps that way.
Anyway, I'll push that after fixing your comments, and we'll see what we can do for the following ocaml versions. Thanks for the review!
I don't think ocaml has so many dependants that it requires core-updates. Not even sure it needs staging.
Le 3 mars 2021 08:27:54 GMT-05:00, zimoun <zimon.toutoune@gmail.com> a écrit :
>Hi Julien,
>
>On Sat, 27 Feb 2021 at 00:13, Julien Lepiller <julien@lepiller.eu>
>wrote:
>
>> The first patch builds the bootstraped ocamlc and ocamllex. This
>takes
>> around 4 hours to build. The second patch rebuilds them using the
>source
>> code for ocaml 4.07.1, instead of the modified sources used in
>> camlboot, and reuse them to run the main Makefile (make world.opt).
>
>On my machine, camlboot takes ~3h to build. Then ocaml-4.07-boot takes
>~30s. Last there is no meaningful difference between building
>ocaml-4.07 using the embedded ocamlc and ocamlex binaries and using the
>binaries from ocaml-4.04-boot; both ~6m.
>
>I have check that camlboot, ocaml-4.07-boot and ocaml-4.07 build
>reproducibly with ’--check’. They do.
>
>
>> As a result, we have identical files for this bootstrap and the
>> unbootstrapped OCaml (up to output store paths and hash of some files
>> that get embedded in native files, which differ because of the
>> different output path).
>
>At first look, yes. :-)
>
>
>Modulo the minor comments I made, patches LGTM! Thanks.
>
>
>Well, the next steps are to build ocaml-4.09 and ocaml-4.11 using the
>previous ocamlc and ocamlex version, right?
>
>Then, it implies rebuild all the OCaml packages, right? It could be
>done in this core-updates cycle, WDYT?
>
>Cheers,
>simon
[-- Attachment #2: Type: text/html, Size: 2513 bytes --]
next prev parent reply other threads:[~2021-03-03 13:47 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-26 23:13 [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap Julien Lepiller
2021-02-28 2:09 ` Julien Lepiller
2021-02-28 2:29 ` Julien Lepiller
2021-03-03 0:22 ` zimoun
2021-03-03 12:54 ` zimoun
2021-02-28 9:19 ` pukkamustard
2021-02-28 10:57 ` Julien Lepiller
2021-03-01 9:16 ` pukkamustard
2021-03-01 11:44 ` Julien Lepiller
2021-03-01 12:04 ` pukkamustard
2021-03-03 13:27 ` zimoun
2021-03-03 13:46 ` Julien Lepiller [this message]
2021-03-03 14:05 ` zimoun
2021-03-03 16:14 ` bug#46806: " Julien Lepiller
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=5366012A-8041-4277-B6B4-C6709EB2787B@lepiller.eu \
--to=julien@lepiller.eu \
--cc=46806@debbugs.gnu.org \
--cc=zimon.toutoune@gmail.com \
/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 external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.