Skip to content

rust: update target jsons for rustc 1.93+#421

Open
zaklogician wants to merge 1 commit intoseL4:mainfrom
zaklogician:fix-tpw-64
Open

rust: update target jsons for rustc 1.93+#421
zaklogician wants to merge 1 commit intoseL4:mainfrom
zaklogician:fix-tpw-64

Conversation

@zaklogician
Copy link

@zaklogician zaklogician commented Feb 13, 2026

Recent versions of rustc expect the target-pointer-width field in target.json files to have type u16 instead of string (see Rust PR# 144443).

Our target specifications under example/rust and initialiser still use the older format, which results in errors when running ./pyenv/bin/python build_sdk.py on a system with a newer version of rustc.

Here we update these files to the newer format, which makes the build succeed on rustc 1.93.0 and above.

NB this commit does not add condition logic / multiple copies to support multiple incompatible versions of these json files, so the build will now fail with outdated versions of rustc instead.

Recent versions of `rustc` expect the `target-pointer-width` field in
`target.json` files to hvae type `u16` instead of `string`.

The target specifications under `example/rust` and `initialiser` still
use the older format, which results in errors when running `build_sdk.py`
on a system with newer `rustc` versions.

Here we update these files to the newer format, which makes the build
succeed on `rustc` 1.93.0 and above.

NB this commit does not add condition logic / multiple copies to support
multiple incompatible versions of these json files, so the build will
now fail with outdated versions of `rustc` instead.

Signed-off-by: Zoltan A. Kocsis <11808286+zaklogician@users.noreply.github.com>
@midnightveil
Copy link
Contributor

midnightveil commented Feb 13, 2026

See also #343 and #342. I believe the current idea is that we only a specific version of Rust (because this is, after all, a nightly feature). (I'd argue that we don't really need these JSON at all, but anyway).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants