p870613

hi, l had already installed `libz3-dev`, but I have same issue. However, I compile the example code in [z3 ](https://github.com/Z3Prover/z3/tree/master/examples) successfully. And, here is error message. ``` ➜ build git:(master)...

Same issue in Ubuntu20.04. error: `std::intrinsics::transmute` is not yet stable as a const fn --> /home/lin/.cargo/registry/src/github.com-1ecc6299db9ec823/rustc-ap-rustc_ast-669.0.0/ptr.rs:136:17 | 136 | std::mem::transmute(NonNull::::dangling() as NonNull) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = help: add `#![feature(const_transmute)]` to...

Thanks for your reply !! how to enable cache ? thanks !!