To clone z3 using ubuntu Git I had to follow this codeplex Git workaround

I got the unstable HEAD.

To build z3:

python scripts/mk_make.py --java
cd build
make all examples

I also had to set LD_LIBRARY_PATH to get the com.microsoft.z3.jar code to load the z3 shared libraries correctly.