Skip to content

Commit 24e4c3b

Browse files
Kirill GolubevKirill Golubev
Kirill Golubev
authored and
Kirill Golubev
committed
inital cvc5 support
1 parent d0cd063 commit 24e4c3b

2 files changed

Lines changed: 50 additions & 0 deletions

File tree

‎liquidjava-umbrella/liquidjava-verifier/pom.xml‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -176,5 +176,14 @@
176176
<version>4.7.1</version>
177177
</dependency>
178178

179+
<dependency>
180+
<groupId>io.github.cvc5</groupId>
181+
<artifactId>cvc5</artifactId>
182+
<version>1.0.0</version>
183+
<scope>system</scope>
184+
<systemPath>/Users/frogofjuly/GitReps/cvc5/build/install/share/java/cvc5.jar</systemPath>
185+
</dependency>
186+
187+
179188
</dependencies>
180189
</project>

‎liquidjava-umbrella/liquidjava-verifier/regarding_cvc5.md‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
# Notes on integraing cvc5 to Liquid Java:
2+
3+
## Path variables
4+
5+
Error looked like this:
6+
```
7+
Found Java: /usr/local/Cellar/openjdk/19/bin/java (found version "19.0.0") found components: Development
8+
CMake Error at /usr/local/Cellar/cmake/3.24.2/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:230 (message):
9+
Could NOT find JNI (missing: AWT JVM)
10+
Call Stack (most recent call first):
11+
/usr/local/Cellar/cmake/3.24.2/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:594 (_FPHSA_FAILURE_MESSAGE)
12+
/usr/local/Cellar/cmake/3.24.2/share/cmake/Modules/FindJNI.cmake:562 (find_package_handle_standard_args)
13+
src/api/java/CMakeLists.txt:133 (find_package)
14+
```
15+
16+
Solution is to find existing jvm installation or install openjdk. For me it was not enough, there were some path variables to be set. In my case the following did the trick (passing through configuation stage).
17+
18+
```
19+
export JAVA_HOME=/usr/local/Cellar/openjdk/19/libexec/openjdk.jdk/Contents/Home/
20+
export JAVA_INCLUDE_PATH="${JAVA_HOME}/include"
21+
export JVM="${JAVA_HOME}/lib/server/libjvm.so"
22+
export AWT="${JAVA_HOME}/lib/libjawt.so"
23+
```
24+
25+
## Dependencies to maven project
26+
27+
The easiest and the dirtiest way to do it.
28+
29+
```
30+
<dependency>
31+
<groupId>io.github.cvc5</groupId>
32+
<artifactId>cvc5</artifactId>
33+
<version>1.0.0</version>
34+
<scope>system</scope>
35+
<systemPath>/Users/frogofjuly/GitReps/cvc5/build/install/share/java/cvc5.jar</systemPath>
36+
</dependency>
37+
```
38+
39+
## Symblos not found/loaded
40+
41+
One should compile Liquid Java project with the same JVM as cvc5!

0 commit comments

Comments
 (0)