mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity

[CMake] Add a few notes on finding the Java installation.

Browse source
This commit is contained in:
Dan Liew 2016-04-18 11:18:47 +01:00
parent 022039535a
commit 48550732bf
1 changed files with 17 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
README-CMake.md
View file

@ -290,6 +290,23 @@ Example
``` ```
cmake -DCMAKE_BUILD_TYPE=Release -DENABLE_TRACING=FALSE ../ cmake -DCMAKE_BUILD_TYPE=Release -DENABLE_TRACING=FALSE ../
```
## Z3 API Bindings
Z3 exposes various language bindings for its API. Below are some notes on building
and/or installing these bindings when building Z3 with CMake.
### Java bindings
The CMake build uses the ``FindJava`` and ``FindJNI`` cmake modules to detect the
installation of Java. If CMake fails to find your installation of Java set the
``JAVA_HOME`` environment variable when invoking CMake so that it points at the
correct location. For example
```
JAVA_HOME=/usr/lib/jvm/default cmake -DBUILD_JAVA_BINDINGS=ON ../
``` ```
## Developer/packager notes ## Developer/packager notes