ish: use threaded portable-bytecode Chez host - #25
Merged
Merged
Conversation
isomorphisms
marked this pull request as ready for review
September 16, 2026 12:20
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
1 participant
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.
Follow-up to merged PR #24 after the exact Android package jobs showed that the threaded ARM targets alone did not make
fork-threadavailable while compiling generated Idriç Chez source.This branch makes the host Chez used to drive the cross compiler threaded while leaving the Android targets as
tarmv7leandtarm64le. It also removes only Chez's inferred Linux-lrt -lpthreadtarget libraries, because Android/Bionic provides those APIs from libc while still using the threading compile flags.At head e6141ce both targets successfully passed Idriç bootstrap, maintained Ish Chez-source generation, cross compilation, and target Chez kernel linking. The resulting ARMv7 launcher was a valid ARM ELF, but the validation gate falsely rejected it: under
set -o pipefail,grep -qexited after matchingMachine: ARM, causingllvm-readelfto receive SIGPIPE and the pipeline to report failure.Current head 1767d27 changes only that ELF validation to capture the full header before matching it. The exact-head ARMv7 phone and AArch64 tablet package jobs are now running.
Expected finish condition: both exact-head Android package jobs pass and produce immutable ARMv7 phone and AArch64 tablet packages. Physical-device execution remains
PENDINGand is not claimed by this PR.