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?
When building the unstable branch after
python scripts/mk_make.py --java
make stops with the following message:
make: *** No rule to make target
../src/api/java/Z3Native.java', needed bylibz3java.so'. Stop.
a find tells me that I have a file named
which seems to contain the native API.
My system is kubuntu 12.10.