2020-11-05 09:51:07 -07:00
|
|
|
--- scripts/update_api.py 2020-09-10 12:51:28.000000000 -0600
|
|
|
|
|
+++ scripts/update_api.py 2020-11-05 09:46:58.000000000 -0700
|
2021-12-07 22:01:35 -07:00
|
|
|
@@ -546,11 +546,7 @@
|
2019-09-24 19:23:50 -06:00
|
|
|
|
|
|
|
|
java_native.write(' static {\n')
|
2021-12-07 22:01:35 -07:00
|
|
|
java_native.write(' if (!Boolean.parseBoolean(System.getProperty("z3.skipLibraryLoad"))) {\n')
|
2020-11-05 09:51:07 -07:00
|
|
|
- java_native.write(' try {\n')
|
|
|
|
|
- java_native.write(' System.loadLibrary("z3java");\n')
|
|
|
|
|
- java_native.write(' } catch (UnsatisfiedLinkError ex) {\n')
|
|
|
|
|
- java_native.write(' System.loadLibrary("libz3java");\n')
|
|
|
|
|
- java_native.write(' }\n')
|
|
|
|
|
+ java_native.write(' System.load("@PREFIX@/lib/z3/libz3java.dylib");\n')
|
|
|
|
|
java_native.write(' }\n')
|
2019-09-24 19:23:50 -06:00
|
|
|
java_native.write(' }\n')
|
|
|
|
|
|
