Skip to content

Commit 084bdad

Browse files
authored
Upgrade rust edition, remove cbindgen (#22)
* upgrade to rust edition 2024. * update: track latest commit of hal. * fix: devcontainer specifies a fixed rust version. * make binding gen error more verbose. * fix: build.rs should panic. * fix: add cbindgen to devcontainer. * fix: bindgen error reporting. * check if the workspace is the problem. * check if the workspace is the problem. * debugging. * debugging. * remove: cbindgen * revert the debugging changes.
1 parent 9996060 commit 084bdad

File tree

16 files changed

+218
-290
lines changed

16 files changed

+218
-290
lines changed

Diff for: .devcontainer/Dockerfile

+2-1
Original file line numberDiff line numberDiff line change
@@ -89,7 +89,7 @@ USER ${USERNAME}
8989
RUN umask 0002 && \
9090
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs \
9191
| sh -s -- -y --no-modify-path && \
92-
rustup update stable && \
92+
rustup install 1.85.0 && \
9393
rustup component add rust-src llvm-tools-preview && \
9494
cargo install cargo-binutils && \
9595
rustup target add thumbv7em-none-eabihf thumbv7em-none-eabi
@@ -98,6 +98,7 @@ RUN cargo install --locked kani-verifier && \
9898
cargo kani setup
9999
RUN cargo install --locked cargo-tarpaulin
100100
RUN cargo install --locked cargo-watch
101+
RUN cargo install --force cbindgen
101102

102103
COPY --from=qemu-builder /usr/local/ /usr/local/
103104

0 commit comments

Comments
 (0)