Re: OCaml 5.0 and Guix

[zimoun]

Hi,

On Tue, 27 Sep 2022 at 06:57, pukkamustard <pukkamustard@posteo.net> wrote:

>> What is the status of OCaml bootstrapping for this new version?
>
> Currently 5.0 is not bootstrapped with camlboot.

My question is: what does 5.0 require to compile?  Against which
previous OCaml version, is it possible to compile OCaml 5.0?


>> Can we have a chain from camlboot -> OCaml 4.07 -> ?? -> v5.0?
>
> That would be very nice! I don't know what the chain would look like. Do
> we need to go trough all versions up to 4.14 to compile 5.0 or can 4.09
> compile 5.0?

This is my question. :-)  I am not following closely enough the OCaml
development.  Well, I thought you knew what previous features is
required to compile next compiler. :-)


> From what I understand, currently only OCaml 4.07 is bootstrapped with
> camlboot in Guix. I think Julien has done some work towards
> bootstrapping 4.09 (https://github.com/Ekdohibs/camlboot/issues/59).

>From what I understand based on [1], yes only OCaml 4.07 is bootstrapped
with camlboot – this is currently used in Guix.  Somehow the resulting
OCaml 4.07 is considered as “trusted” and I am not sure there is some
plan to upgrade camlboot to support more recent OCaml; at least not in
the short term, maybe I have misunderstood.

1: <https://10years.guix.gnu.org/static/slides/08-courant.pdf>


Cheers,
simon