Re: OCaml bootstrap

2023-05-04 Thread Simon Tournier
Hi Julien, On jeu., 04 mai 2023 at 12:01, Julien Lepiller wrote: > Have a grep-for-build that is never updated? Build camlboot once and > repackage the binary (making it a bootstrap seed)? Yes, something like that. Well, the packages that camlboot depends on barely change because most of

Re: OCaml bootstrap

2023-05-04 Thread Julien Lepiller
Le 4 mai 2023 10:41:18 GMT+02:00, Simon Tournier a écrit : >Hi, > >On Wed, 03 May 2023 at 23:25, Julien Lepiller wrote: > >>>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

Re: OCaml bootstrap

2023-05-04 Thread Simon Tournier
Hi, On Wed, 03 May 2023 at 23:25, Julien Lepiller wrote: >>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? > We had some discussion

Re: OCaml bootstrap

2023-05-03 Thread Julien Lepiller
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" a écrit : >Hello, > >Simon Tournier skribis: > >> Well, 4.07 is the version that is de-bootstrapped, i.e. bootstrapped >> using

OCaml bootstrap

2023-05-03 Thread Ludovic Courtès
Hello, Simon Tournier 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

ocaml bootstrap (was Re: Core-updates merge)

2023-04-30 Thread Efraim Flashner
On Fri, Apr 28, 2023 at 04:17:40PM +0200, Simon Tournier wrote: > Hi Andreas, > > On mar., 25 avril 2023 at 16:09, Andreas Enge wrote: > > > - OCaml could be simplified by dropping version 4.07 (Julien Lepiller). > > Well, 4.07 is the version that is de-bootstrapped, i.e. bootstrapped > using