1 | *************** |
---|
2 | *** 543,553 **** |
---|
3 | |
---|
4 | java_native.write(' static {\n') |
---|
5 | java_native.write(' if (null == System.getProperty("z3.skipLibraryLoad")) {\n') |
---|
6 | - java_native.write(' try {\n') |
---|
7 | - java_native.write(' System.loadLibrary("z3java");\n') |
---|
8 | - java_native.write(' } catch (UnsatisfiedLinkError ex) {\n') |
---|
9 | - java_native.write(' System.loadLibrary("libz3java");\n') |
---|
10 | - java_native.write(' }\n') |
---|
11 | java_native.write(' }\n') |
---|
12 | java_native.write(' }\n') |
---|
13 | |
---|
14 | --- 543,549 ---- |
---|
15 | |
---|
16 | java_native.write(' static {\n') |
---|
17 | java_native.write(' if (null == System.getProperty("z3.skipLibraryLoad")) {\n') |
---|
18 | + java_native.write(' System.load("@PREFIX@/lib/z3/libz3java.dylib");\n') |
---|
19 | java_native.write(' }\n') |
---|
20 | java_native.write(' }\n') |
---|
21 | |
---|