Can't compile as part of Citrus
Followed C3 build instructions for C3.
Many errors, all similar to the following kind, when trying to do cargo install citrus
on Mac OS X El Capitan, rust nightly rustc 1.24.0-nightly (8e7a609e6 2018-01-04)
:-
error[E0308]: mismatched types
--> /Users/raph/.cargo/registry/src/github.com-1ecc6299db9ec823/c3-0.9.0/src/clang_extensions.rs:222:37
|
222 | let ty = unsafe { Type { x: c3_UnaryExpr_getArgType(self.x) } };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `clang_sys::CXType`, found a different struct `clang_sys::CXType`
|
= note: expected type `clang_sys::CXType` (struct `clang_sys::CXType`)
found type `clang_sys::CXType` (struct `clang_sys::CXType`)
note: Perhaps two different versions of crate `clang_sys` are being used?
--> /Users/raph/.cargo/registry/src/github.com-1ecc6299db9ec823/c3-0.9.0/src/clang_extensions.rs:222:37
|
222 | let ty = unsafe { Type { x: c3_UnaryExpr_getArgType(self.x) } };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: aborting due to 28 previous errors