option to skip native library load

vorpal-research · Jul 7, 2022 · bef461a · bef461a
1 parent 45bafd7
commit bef461a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 8 deletions.
diff --git a/pom.xml b/pom.xml
@@ -6,7 +6,7 @@
 
     <groupId>org.vorpal.research</groupId>
     <artifactId>boolector-java</artifactId>
-    <version>3.2.6</version>
+    <version>3.2.7</version>
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
@@ -67,4 +67,4 @@
             <url>https://maven.pkg.github.com/vorpal-research/kotlin-maven</url>
         </repository>
     </distributionManagement>
-</project>
+</project>
diff --git a/src/main/java/org/vorpal/research/boolector/Btor.java b/src/main/java/org/vorpal/research/boolector/Btor.java
@@ -34,12 +34,15 @@ public Btor() {
     }
 
     static {
-        try {
-            NativeUtils.loadLibrary("boolector");
-            NativeUtils.loadLibrary("boolector-java");
-        } catch (IOException e) {
-            e.printStackTrace();
-            throw new IllegalStateException("Unable to load dynamic libraries");
+        boolean skipLoad = Boolean.parseBoolean(System.getProperty("boolector.skipLibraryLoad", "false"));
+        if (!skipLoad) {
+            try {
+                NativeUtils.loadLibrary("boolector");
+                NativeUtils.loadLibrary("boolector-java");
+            } catch (IOException e) {
+                e.printStackTrace();
+                throw new IllegalStateException("Unable to load dynamic libraries");
+            }
         }
     }