| 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 | |
|---|
