cargo fel4 build: libsel4-sys troubles

[dckc]

I followed the README just fine up to cargo fel4 build and then hit:

   Compiling libsel4-sys v0.5.0 (https://github.com/PolySync/libsel4-sys.git#d12472b4)
error: failed to run custom build command for `libsel4-sys v0.5.0 (https://github.com/PolySync/libsel4-sys.git#d12472b4)`
process didn't exit successfully: `/home/dconnolly/projects/fel4-play/target/debug/build/libsel4-sys-ff44cb0e25eba93a/build-script-build` (exit code: 101)
--- stdout
....
Traceback (most recent call last):
  File "/home/dconnolly/.cargo/git/checkouts/libsel4-sys-0c6a750eab59b961/d12472b/deps/seL4_kernel/tools/invocation_header_gen.py", line 21, in <module>
    import tempita
ImportError: No module named tempita

Full log is in https://gist.github.com/dckc/b0d3c30acab0a0fc14ada3f7a446b753

I got past that with:

$ pip install tempita
...
Successfully installed tempita-0.5.2

Then I hit:

-- Installing: /home/dconnolly/projects/fel4-play/target/x86_64-sel4-fel4/debug/build/libsel4-sys-842c8ae7d32f7f09/out/build/staging/lib/libsel4.a
cargo:root=/home/dconnolly/projects/fel4-play/target/x86_64-sel4-fel4/debug/build/libsel4-sys-842c8ae7d32f7f09/out

--- stderr
thread 'main' panicked at 'Unable to find libclang: "couldn\'t find any of [\'libclang.so\', \'libclang.so.*\', \'libclang-*.so\'], set the LIBCLANG_PATH environment variable to a path where one of these files can be found (skipped: [])"', src/libcore/result.rs:1009:5

I'm not sure how to get past that one.

[boydm]

I got past it with
sudo apt-get install clang

Now I'm failing to build with

error[E0557]: feature has been removed
--> src/bin/root-task.rs:8:12
|
8 | #![feature(panic_implementation)]
| ^^^^^^^^^^^^^^^^^^^^
|

Looks like it is using rust features that are no longer valid.

Is fel4 a supported thing? Should I use it for a project or move on? Asking as there haven't been updates in a year...

[wangboyu-langya]

I've got the same problem, it seems to be a problem of an outdated version of Rust.

[ratmice]

I ran into the same, after fixing it..

I noticed it is already fixed on the master branch that this crate releases from:
maindotrs, but hasn't seemed to have hit crates.io (check the repository info.)

Try checking out that branch, then:
cargo install --path cargo-fel4 --force

You may have to cargo fel4 new it seems if your project was generated from an older fel4.
I imagine this might be why it hasn't released.

[NalaGinrut]

@ratmice Thanks! It works for me.

To anyone who may need help. please just run this and try again:

cargo install  --git https://github.com/maindotrs/cargo-fel4

If it's still not passed, then you may need to create the project with this new fel4 again.