SEL4PROJ / rust-camkes-samples

Sample camkes applications using rust
Other
1 stars 0 forks source link

libcompiler-rt.a is dead, long live libcompiler-builtins.rlib #1

Open dckc opened 7 years ago

dckc commented 7 years ago

The directions on the Rust wiki page say multirust update nightly but I don't think that works any more.

I'm trying to use rustup override set nightly-2016-06-01 based on a clue from kent_. I don't have it completely working: build errors

He referred me to https://github.com/rust-lang/rust/pull/35021, which is a [breaking-change] that I guess we need to react to.

dckc commented 7 years ago

closely related: https://github.com/redox-os/redox/issues/709

dckc commented 7 years ago

Kent suggests:

Xargo builds the sysroot in a temp directory. This seems to break the localized rust version overrides provided by multirust or rustup.
I'm not sure what a good fix for this is, but a temporary work around would be to set the same nightly-2016-06-01 on /tmp, or change the global default. So your build errors in that github issue are because the older libstd is being built with a newer version of rustc.

I tried rustup default nightly-2015-04-01 and then make qemu-arm again. No joy, though the symptoms are different:

 [RUST] Building std libs
    Compiling sysroot for arm-sel4-linux-gnueabi
 failed to parse manifest at `/home/connolly/.xargo/src/src/libpanic_unwind/Cargo.toml`
 Caused by:
   expected a value of type `array`, but found a value of type `table` for the key `lib`

I tried removing ~/.xargo ; no joy.

https://github.com/rust-lang/cargo/issues/1011 suggests this error is due to a missing name key in the [lib] section.

dckc commented 7 years ago

nightly-2016-05-31 seems to work, once I updated my cargo to something relatively modern. I can't quite be sure, though, because now I'm having trouble at the linking step.

dckc commented 7 years ago

somebody shared a Dockerfile relevant to this stuff

dckc commented 7 years ago

On 23 Oct, I back-tracked and built some non-rust stuff. It took me quite a while to navigate haskell version issues and such, but I guess I got there.

23 Oct chat log

My rust goal got stuck on gcc version skew, I think.