There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
On Ubunutu 14.04 when running the following instructions:
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?