From: Julien Lepiller <julien@lepiller.eu>
To: pukkamustard <pukkamustard@posteo.net>
Cc: 46806@debbugs.gnu.org
Subject: [bug#46806] [PATCH] gnu: ocaml-4.07: Bootstrap.
Date: Mon, 01 Mar 2021 06:44:32 -0500 [thread overview]
Message-ID: <EBEFC231-A3EE-48C2-A11C-2EAE7511FEB7@lepiller.eu> (raw)
In-Reply-To: <86lfb7fd41.fsf@posteo.net>
[-- Attachment #1: Type: text/plain, Size: 2682 bytes --]
Thanks! OK to push?
Le 1 mars 2021 04:16:14 GMT-05:00, pukkamustard <pukkamustard@posteo.net> a écrit :
>
>I managed to build camlboot and ocaml@4.07 with your patches.
>
>> Would be fantastic if you could report build time for camlboot
>> too :).
>
>Build time (on a quad-core i7 laptop):
>
>```
>$ time ./pre-inst-env guix build camlboot --no-offload
>.
>.
>.
>successfully built
>/gnu/store/ddi5n28hsrgvb89r8vjs0rfvapxfbaj2-camlboot-0.0.0-0.506280c.drv
>/gnu/store/79bqayhrc6qfr2k7pfk7fn6lim0f8cfx-camlboot-0.0.0-0.506280c
>
>real 322m35.119s
>user 0m1.523s
>sys 0m0.140s
>```
>
>ocaml@4.07 with your patches applied:
>
>```
>$ time ./pre-inst-env guix build ocaml@4.07 --no-offload
>successfully built
>/gnu/store/sdxybpxzjhib5ijn3fx3r29ycp5vvafd-ocaml-4.07.1.drv
>/gnu/store/cniid9xi3dck7kdpfm77h56h1s0701fm-ocaml-4.07.1
>
>real 17m52.923s
>user 0m9.268s
>sys 0m1.013s
>```
>
>ocaml@4.07 at master:
>
>```
>$ time ./pre-inst-env guix build ocaml@4.07 --no-offload --check
>successfully built
>/gnu/store/v599h0bhpyh2rq4nrnqqf56lwbsf0f71-ocaml-4.07.1.drv
>successfully built
>/gnu/store/v599h0bhpyh2rq4nrnqqf56lwbsf0f71-ocaml-4.07.1.drv
>/gnu/store/s7j0vl88zakkdcyvw1jw8cypfzi6ljnd-ocaml-4.07.1
>
>real 21m44.000s
>user 0m14.546s
>sys 0m1.217s
>```
>
>> The result should be almost identical to our current ocaml-4.07,
>> though there are some due to different output directory being
>> embedded.
>
>Checked some random files in both ocaml's with diffoscope and can
>confirm that differences seem to be mostly different output
>directories.
>
>Haven't run diffoscope on everything as that would take quite some
>time...
>
>-pukkamustard
>
>
>>>
>>>Fantastic! Thank you and thanks to the camlboot project! I will
>>>try and
>>>build this tonight.
>>>
>>>Julien Lepiller <julien@lepiller.eu> writes:
>>>
>>>> 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).
[-- Attachment #2: Type: text/html, Size: 3594 bytes --]
next prev parent reply other threads:[~2021-03-01 11:46 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 [this message]
2021-03-01 12:04 ` pukkamustard
2021-03-03 13:27 ` zimoun
2021-03-03 13:46 ` Julien Lepiller
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=EBEFC231-A3EE-48C2-A11C-2EAE7511FEB7@lepiller.eu \
--to=julien@lepiller.eu \
--cc=46806@debbugs.gnu.org \
--cc=pukkamustard@posteo.net \
/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.