From: Simon Tournier <zimon.toutoune@gmail.com>
To: "Julien Lepiller" <julien@lepiller.eu>, "Ludovic Courtès" <ludo@gnu.org>
Cc: Andreas Enge <andreas@enge.fr>,
guix-devel@gnu.org, Lars-Dominik Braun <lars@6xq.net>
Subject: Re: OCaml bootstrap
Date: Thu, 04 May 2023 20:26:50 +0200 [thread overview]
Message-ID: <87zg6k6jh1.fsf@gmail.com> (raw)
In-Reply-To: <25636CAD-C6E7-4519-BA2C-2D58A5B222FD@lepiller.eu>
Hi Julien,
On jeu., 04 mai 2023 at 12:01, Julien Lepiller <julien@lepiller.eu> 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 them are “core-updates” packages. However, still.
Some packages (autotools) use guile-3.0/pinned instead of guile-3.0.
Other gdb/pinned (rust). Etc.
Therefore we could use something like /pinned (or -boot or else) for
building camlboot once. This allows transparency and being able to
rebuild if the worst is necessary.
But then, we consider the binary as the bootstrap seed of OCaml world.
Maybe, it could be discussed with the OCaml community.
Well, I do not know if it is worth but somehow I think that a similar
strategy as MES and bootstrapping C could be applied for camlboot and
bootstrapping OCaml. Something like gnu/packages/ocaml-commencement.scm
that bootstraps the OCaml world and this would depend on packages that
are tweaked with a lot of care. Similarly as the MES bootstrap chain.
Cheers,
simon
prev parent reply other threads:[~2023-05-04 18: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
2023-05-04 8:41 ` Simon Tournier
2023-05-04 10:01 ` Julien Lepiller
2023-05-04 18:26 ` Simon Tournier [this message]
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
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87zg6k6jh1.fsf@gmail.com \
--to=zimon.toutoune@gmail.com \
--cc=andreas@enge.fr \
--cc=guix-devel@gnu.org \
--cc=julien@lepiller.eu \
--cc=lars@6xq.net \
--cc=ludo@gnu.org \
/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 public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).