jini files handling

Kirill Golubev · Kirill Golubev · commit 64341591f64f · 2022-11-13T00:08:35.000+03:00
diff --git a/liquidjava-umbrella/liquidjava-verifier/pom.xml b/liquidjava-umbrella/liquidjava-verifier/pom.xml
@@ -79,15 +79,14 @@
 						as eclipse (hence all tests passing) -->
 					<useSystemClassLoader>false</useSystemClassLoader>
 					<forkCount>1</forkCount>
-					<argLine>-Dgumtree.match.gt.minh=1</argLine>
+					<argLine>-Dgumtree.match.gt.minh=1 -Djava.library.path="/Users/frogofjuly/GitReps/cvc5/build/src/api/java"</argLine>
 					<!-- we put the tests in src/main/java so that it's easier to navigate 
 						and understand on Github (recall that's an example code project, not a production 
 						app or library ) -->
 					<testSourceDirectory>${basedir}/test/main/java/</testSourceDirectory>
 					<testClassesDirectory>${project.build.directory}/classes/</testClassesDirectory>
 				</configuration>
 			</plugin>
-
 			<plugin>
 				<groupId>org.antlr</groupId>
 				<artifactId>antlr4-maven-plugin</artifactId>
diff --git a/liquidjava-umbrella/liquidjava-verifier/regarding_cvc5.md b/liquidjava-umbrella/liquidjava-verifier/regarding_cvc5.md
@@ -66,4 +66,25 @@ Then run building process for liquid java
 
 ## Symblos not found/loaded
 
-One should compile Liquid Java project with the same JVM as cvc5!
+One should compile Liquid Java project with the same JVM as cvc5!
+
+## no cvc5jni in java.library.path
+
+One should add this flag to JVM, for it to find jni files.
+
+```
+-Djava.library.path="/Path/to/cvc5/repository/cvc5/build/src/api/java"
+```
+
+Hard part is that there are tests which are running under `maven-surefire-plugin`.
+Today's solution is not idiomatic, but a working one.
+
+The pom file need to be changed. Line 
+```xml
+<argLine>-Dgumtree.match.gt.minh=1></argLine>
+```
+to
+
+```xml
+<argLine>-Dgumtree.match.gt.minh=1 -Djava.library.path="/Path/to/cvc5/repository/cvc5/build/src/api/java"</argLine>
+```
