mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
16 lines
720 B
Diff
16 lines
720 B
Diff
--- scripts/update_api.py 2020-09-10 12:51:28.000000000 -0600
|
|
+++ scripts/update_api.py 2020-11-05 09:46:58.000000000 -0700
|
|
@@ -546,11 +546,7 @@
|
|
|
|
java_native.write(' static {\n')
|
|
java_native.write(' if (!Boolean.parseBoolean(System.getProperty("z3.skipLibraryLoad"))) {\n')
|
|
- 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')
|
|
java_native.write(' }\n')
|
|
|