mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-18 16:28:56 +00:00
Code Activity

set source & target version java compile flags in cmake build to match the python/make build for consistent bytecode generation (#8112)

Browse source 
Co-authored-by: bu99ed <bu99ed@localhost>
This commit is contained in:
bu99ed 2026-01-04 00:26:40 +01:00 • committed by GitHub
parent 5dc812728e
commit ff7d0fb501
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/CMakeLists.txt
View file

@ -187,6 +187,8 @@ add_custom_target(build_z3_java_bindings
# TODO: Should we set ``CMAKE_JNI_TARGET`` to ``TRUE``?
# REMARK: removed VERSION to fix issue with using this to create installations.
set(CMAKE_JAVA_COMPILE_FLAGS -source 1.8 -target 1.8)
add_jar(z3JavaJar
SOURCES ${Z3_JAVA_JAR_SOURCE_FILES_FULL_PATH}
OUTPUT_NAME ${Z3_JAVA_PACKAGE_NAME}