How to avoid long time compilation?

prove-rs / z3.rs

Rust bindings for the Z3 solver.

347 stars 110 forks source link

How to avoid long time compilation? #212

Open syheliel opened 2 years ago

syheliel commented 2 years ago

I'm using z3-sys in my rust crate indirectly and it takes a long time to compile z3-sys. I guess it is used to prepare some system functions for z3. I'm using ubuntu, and I want to know is there a way to speed up compilation by installing something on my system? like apt istall libz3 or something similar to it.

waywardmonkeys commented 2 years ago

The best path forward here will be what's going on in PR #193.