Repository navigation
ocaml: boot from ocaml-5.5.2 as published in bootstrap gen-9 (camlboot ladder), not the tarball's boot/ocamlc - #1212
Closed
bryan-minimal wants to merge 2 commits into
Closed
bryan-minimal wants to merge 2 commits into
bryan-minimal wants to merge 2 commits into
Conversation
…t ladder), not the tarball's boot/ocamlc A new prebuilt package ocaml-5.5.2 on both arches; ocaml/build.sh deletes the shipped bytecode and copies the gen-9 compiler's ocamlc.byte and ocamllex.byte into boot/ before the stock world.opt. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Contributor
|
Important Draft PR not reviewedDraft PRs are not automatically reviewed by default.
To automatically review draft PRs, update your CodeRabbit configuration: reviews:
auto_review:
drafts: true
|
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Member
Author
|
Superseded by #1242, which merges this branch and repoints every bootstrap pin at gen-11 of gominimal/bootstrap. Closing to stop the duplicate world rebuilds; the branch stays. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
ocaml(5.5.2) no longer boots from the tarball's shippedboot/ocamlcbytecode. It boots fromocaml-5.5.2as published in gen-9 of gominimal/bootstrap, the top of a source-only ladder with no OCaml binary as input.What gen-9's OCaml is
camlboot (OCaml 4.07's compiler, interpreted under a Guile built from C) → ocaml-4.07.1 → 4.08.1 → 4.09.0 → 4.10.2 → 4.11.2 → 4.12.1 → 4.13.1 → 4.14.3 → 5.0.0 → 5.1.1 → 5.2.1 → 5.3.0 → 5.4.0 → 5.5.2. Every tarball's shipped boot compiler is deleted; each rung is built by the previous one, with the new runtime accepting the old exec magic for the boot round, removed primitives shimmed, and a boot-compat overlay for syntax the older compiler lacks, all undone before a pristine
world.opt(gominimal/bootstraptools/gen-ocaml-ladder.py). Built on two machines per arch (amd64: an AMD c4d and an Intel c3; arm64: two Axions): camlboot, 4.07.1 and 4.11.2 upward identical on both; 4.08.1–4.10.2 differ in their bytecode tools and.cmtifiles and are recorded as unreproduced, not published. Objects live ings://minimal-bootstrap/gen-9/sha256/<sha>/…(public read, create-only), listed ingenerations/gen-9/manifest.json.Changed here
ocaml-5.5.2: new prebuilt spec on both arches (layoutusr/lib/ocaml-5.5.2), runtime deps glibc and toolchain likeocamlitself.ocaml: takesocaml-5.5.2as a build dep;build.shdeletesboot/ocamlcandboot/ocamllex, copies the gen-9 compiler'socamlc.byteandocamllex.bytethere, asserts bytecode, then runs the stockworld.opt. Same release, so nothing else changes.Cost
ocaml's spec hash moves on both arches, so the OCaml stack (dune, ocamlfind, …) rebuilds once. CI is red until gen-9 is published.🤖 Generated with Claude Code