1
Vote

z3ml.cmxa

description

Hi,

On Ubunutu 14.04 when running the following instructions:

python scripts/mk_make.py
cd build
make
sudo make install

I receive this error:

make: *** No rule to make target api/ml/z3ml.cmxa', needed byinstall'. Stop.

Can you please let me know what the issue is?

comments

wintersteiger wrote Dec 9, 2015 at 11:46 AM

Z3 has moved to Github, these pages on Codeplex, including the issues page, are not used anymore.

Please get and compile the master branch here or a nightly binary there and if you still see have the same problem, create a new issue in the new issue tracker.