casa-mp-base

--- scripts/update_api.py.orig  2019-08-20 22:29:56.000000000 -0600

+++ scripts/update_api.py   2019-08-20 22:30:44.000000000 -0600

@@ -519,8 +519,7 @@

     java_native.write('  public static native void setInternalErrorHandler(long ctx);\n\n')

     java_native.write('  static {\n')

-    java_native.write('    try { System.loadLibrary("z3java"); }\n')

-    java_native.write('    catch (UnsatisfiedLinkError ex) { System.loadLibrary("libz3java"); }\n')

+    java_native.write('    System.load("@PREFIX@/lib/z3/libz3java.dylib");\n')

     java_native.write('  }\n')

     java_native.write('\n')