1

Closed

Missing src/api/java/Z3Native.java

description

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

src/api/java/com/Microsoft/Z3/Native.java

which seems to contain the native API.

My system is kubuntu 12.10.
Closed Nov 29, 2012 at 5:28 PM by leodemoura
The Java bindings can be compiled using the latest update in the "unstable" branch.

comments

leodemoura wrote Nov 27, 2012 at 12:20 AM

The Java bindings are working in progress. They are not ready yet.

leodemoura wrote Nov 27, 2012 at 12:25 AM

The libz3java.so can be build using this changeset:

http://z3.codeplex.com/SourceControl/changeset/0111918affdf

After that, Christoph took over and started implementing high-level Java API on top of the automatically generated low-level bindings in Z3Native.java.
Christoph is automatically translating the .Net bindings into the high-level Java API. They should be usuable soon.