From 7f0b5bc129988225c831314202608a26a18170f9 Mon Sep 17 00:00:00 2001 From: Sergey Vladimirov Date: Fri, 28 Aug 2020 17:30:26 +0300 Subject: [PATCH] Allow to skip System.loadLibrary() calls from Java Native class (#4667) --- scripts/update_api.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index db1bf9db5..0697c1793 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -542,8 +542,13 @@ def mk_java(java_dir, package_name): 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(' if (null == 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(' }\n') java_native.write(' }\n') java_native.write('\n')