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

Use Z3_ option prefix in cmake with Java bindings build command (#4612)

Browse source 
Just s/BUILD_JAVA_BINDINGS/Z3_BUILD_JAVA_BINDINGS/ to make the build command
actually build Java bindings instead of just throwing a warning.
This commit is contained in:
Alexander Lisianoi 2020-08-02 18:50:22 +02:00 committed by GitHub
parent 7fa5b31fe1
commit b82dff531e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README-CMake.md
View file

@ -303,7 +303,7 @@ installation of Java. If CMake fails to find your installation of Java set the
correct location. For example correct location. For example
``` ```
JAVA_HOME=/usr/lib/jvm/default cmake -DBUILD_JAVA_BINDINGS=ON ../ JAVA_HOME=/usr/lib/jvm/default cmake -DZ3_BUILD_JAVA_BINDINGS=ON ../
``` ```
Note that the built ``.jar`` file is named ``com.microsoft.z3-VERSION.jar`` Note that the built ``.jar`` file is named ``com.microsoft.z3-VERSION.jar``
where ``VERSION`` is the Z3 version. Under non Windows systems a where ``VERSION`` is the Z3 version. Under non Windows systems a