GNU bug report logs - #46806
[PATCH] gnu: ocaml-4.07: Bootstrap.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Julien Lepiller <julien <at> lepiller.eu>
Subject: bug#46806: closed (Re: [bug#46806] [PATCH] gnu: ocaml-4.07:
 Bootstrap.)
Date: Wed, 03 Mar 2021 16:15:03 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#46806: [PATCH] gnu: ocaml-4.07: Bootstrap.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 46806 <at> debbugs.gnu.org.

-- 
46806: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46806
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Julien Lepiller <julien <at> lepiller.eu>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: 46806-done <at> debbugs.gnu.org
Subject: Re: [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap.
Date: Wed, 3 Mar 2021 17:14:16 +0100

Le Wed, 3 Mar 2021 15:05:18 +0100,
zimoun <zimon.toutoune <at> gmail.com> a écrit :

> On Wed, 3 Mar 2021 at 14:46, Julien Lepiller <julien <at> lepiller.eu>
> wrote:
> >
> > 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.  
> 
> Thanks for the explanations.
> I have tried to replace gcc by clang for camlboot but it fails.
> And also tried other Scheme than Guile, obviously fails. :-)
> 
> 
> > I don't think ocaml has so many dependants that it requires
> > core-updates. Not even sure it needs staging.  
> 
> Oh right, I thought that more OCaml packages were in Guix. :-)
> 
> Cheers,
> simon

Pushed as 0bd58ae7ff0d5c3935b0d660819aca4a0493ef8a, thanks for the
review!

Yeah, we might need some work to support other schemes. There's no C in
camlboot, but we reuse some of OCaml's sources, for the bytecode
interpreter (camlrun) and parser generator (ocamlyacc). So that's a
problem with OCaml.

[Message part 3 (message/rfc822, inline)]

From: Julien Lepiller <julien <at> lepiller.eu>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: ocaml-4.07: Bootstrap.
Date: Sat, 27 Feb 2021 00:13:39 +0100

[Message part 4 (text/plain, inline)]

Hi Guix!

This small series adds camlboot, a project to reimplement a bootstrap
for OCaml, which lets us remove the pre-built boot/ocaml{c,lex} :)

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).

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).

[0001-gnu-Add-camlboot.patch (text/x-patch, attachment)]

[0002-gnu-ocaml-4.07-Bootstrap.patch (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.