You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
I'm using
z3-sys
in my rust crate indirectly and it takes a long time to compilez3-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.The text was updated successfully, but these errors were encountered: