Caleb Stanford
Caleb Stanford
Agree it's not super important. Mainly reporting because the message told me to - it probably doesn't come up super often and seems to only occur on a particular malformed...
I think I just need to point it to the latest z3? ``` ls /opt/homebrew/Cellar/z3/ 4.14.1 ```
Update: I was able to fix this for my setup as follows: 1. view the version of Z3 that z3-rs is expecting: ``` $ echo $Z3_SYS_Z3_HEADER /opt/homebrew/Cellar/z3/4.13.0/include/z3.h ``` 2. view...
Hmm guess I have not fully figured this out yet... 😬 ``` error: linking with `cc` failed: exit status: 1 | = note: env -u IPHONEOS_DEPLOYMENT_TARGET -u TVOS_DEPLOYMENT_TARGET -u XROS_DEPLOYMENT_TARGET...
ok I just cloned my new z3 version to the expected old location... now it works! ``` cp -r /opt/homebrew/Cellar/z3/4.14.1 /opt/homebrew/Cellar/z3/4.13.0 ```
Nice, thanks for taking a look! I don't have a setup to test at present but next time I am adding z3-rs as a dependency on a fresh machine, I...