Use rust stable and remove rumprun rust target

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

13 stars 40 forks source link

Use rust stable and remove rumprun rust target #36

Closed nomadeel closed 3 years ago

nomadeel commented 3 years ago

Support for the Rumprun target was removed recently and this is causing the Rust dockerfile to fail. Note that we don't actually test any of the Rumprun Rust stuff at all in regression.

Signed-off-by: Damon Lee Damon.Lee@data61.csiro.au

nomadeel commented 3 years ago

There is Tier 2 support for x86_64-unknown-netbsd but I haven't tested this yet (https://doc.rust-lang.org/nightly/rustc/platform-support.html).

lsf37 commented 3 years ago

Note that we don't actually test any of the Rumprun Rust stuff at all in regression.

I'd eventually like to add that to GitHub, but it's towards the end of the list for now.

lsf37 commented 3 years ago

(Ok to ignore the lint failure)