From: Julien Lepiller <julien@lepiller.eu>
To: "Ludovic Courtès" <ludo@gnu.org>,
"Simon Tournier" <zimon.toutoune@gmail.com>
Cc: Andreas Enge <andreas@enge.fr>,
guix-devel@gnu.org, Lars-Dominik Braun <lars@6xq.net>
Subject: Re: OCaml bootstrap
Date: Wed, 03 May 2023 23:25:26 +0200 [thread overview]
Message-ID: <7886BBF4-021D-4FB1-B175-50AB77EDD9E2@lepiller.eu> (raw)
In-Reply-To: <875y99w1yy.fsf_-_@gnu.org>
We had some discussion here, but there's still some work to do: https://github.com/Ekdohibs/camlboot/issues/59
Le 3 mai 2023 23:15:49 GMT+02:00, "Ludovic Courtès" <ludo@gnu.org> a écrit :
>Hello,
>
>Simon Tournier <zimon.toutoune@gmail.com> skribis:
>
>> Well, 4.07 is the version that is de-bootstrapped, i.e. bootstrapped
>> using ’camlboot’ via Guile – for details see [2].
>>
>> However, higher versions (4.09, 4.14, 5) does not use this seed and thus
>> they are not de-bootstrapped. Well, I do not know the status upstream;
>> from my point of view, we have two options:
>>
>> a) Agree with other distros and OCaml folks to rely on a common OCaml
>> 4.07 bootstrapped using camlboot and then use this OCaml 4.07 as the
>> seed for the subsequent versions. Somehow having a way to verify the
>> current OCaml compiler without running again and again via camlboot.
>>
>> b) Build ourselves a chain from 4.07 bootstrapped with camlboot to
>> modern OCaml compilers. However, each time we modify one dependency of
>> camlboot, it means rebuild the complete chain. Well, bootstrapping via
>> camlboot can be very slow and I do not know if we have the resources
>> for non-x86_64 architecture. Here, the list of the emerged
>> dependencies:
>
>Julien, do you happen to know if there are plans to make camlboot more
>capable so it can be used to build newer versions of OCaml? Maybe
>something to discuss with Nathanaëlle Courant and Gabriel Scherer?
>
>Ludo’.
next prev parent reply other threads:[~2023-05-03 21:27 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-04-25 14:09 Core-updates merge Andreas Enge
2023-04-25 14:40 ` Felix Lechner via Development of GNU Guix and the GNU System distribution.
2023-04-25 14:57 ` Katherine Cox-Buday
2023-04-25 19:27 ` Maxim Cournoyer
2023-04-25 15:31 ` Josselin Poiret
2023-04-25 16:09 ` Leo Famulari
2023-05-03 21:07 ` Ludovic Courtès
2023-04-27 17:56 ` Build dependency inflation (was: Re: Core-updates merge) Simon Josefsson via Development of GNU Guix and the GNU System distribution.
2023-04-27 23:28 ` bokr
2023-04-28 13:54 ` Simon Tournier
2023-05-03 21:10 ` Build dependency inflation Ludovic Courtès
2023-05-04 8:20 ` Simon Tournier
2023-04-29 8:32 ` Build dependency inflation (was: Re: Core-updates merge) Christopher Baines
2023-04-28 5:55 ` Core-updates merge John Kehayias
2023-04-28 14:17 ` Simon Tournier
2023-04-30 6:05 ` ocaml bootstrap (was Re: Core-updates merge) Efraim Flashner
2023-05-03 21:15 ` OCaml bootstrap Ludovic Courtès
2023-05-03 21:25 ` Julien Lepiller [this message]
2023-05-04 8:41 ` Simon Tournier
2023-05-04 10:01 ` Julien Lepiller
2023-05-04 18:26 ` Simon Tournier
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=7886BBF4-021D-4FB1-B175-50AB77EDD9E2@lepiller.eu \
--to=julien@lepiller.eu \
--cc=andreas@enge.fr \
--cc=guix-devel@gnu.org \
--cc=lars@6xq.net \
--cc=ludo@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.