mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-09 16:55:47 +00:00
Code Activity

Keep z3.ml and z3.mli in the src but specify the generated file in the bin.

Browse source
This commit is contained in:
Weng Shiwei 2025-04-17 21:56:51 -04:00
parent 7a78bd4a6b
commit 7943538744
No known key found for this signature in database
GPG key ID: CFB31B6A2D733ADB
1 changed files with 11 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

27
src/api/ml/CMakeLists.txt
View file

@ -56,14 +56,6 @@ add_custom_command(
VERBATIM VERBATIM
) )
add_custom_command(
OUTPUT ${z3ml_bin}/z3.ml
${z3ml_bin}/z3.mli
COMMAND "${CMAKE_COMMAND}" "-E" "copy" "${z3ml_src}/z3.ml" "${z3ml_bin}/z3.ml"
COMMAND "${CMAKE_COMMAND}" "-E" "copy" "${z3ml_src}/z3.mli" "${z3ml_bin}/z3.mli"
DEPENDS ${z3ml_src}/z3.ml
${z3ml_src}/z3.mli
COMMENT "Copying z3.ml and z3.mli to build area")
set(z3ml_common_flags "-package" "zarith" set(z3ml_common_flags "-package" "zarith"
"-I" "${z3ml_bin}") "-I" "${z3ml_bin}")
@ -132,16 +124,19 @@ add_custom_command(
OUTPUT ${z3ml_bin}/z3.cmi OUTPUT ${z3ml_bin}/z3.cmi
${z3ml_bin}/z3.cmo ${z3ml_bin}/z3.cmo
${z3ml_bin}/z3.cmx ${z3ml_bin}/z3.cmx
COMMAND "${OCAMLFIND}" "ocamlc" ${z3ml_common_flags} COMMAND "${OCAMLFIND}" "ocamlc" ${z3ml_common_flags}
"-c" "${z3ml_bin}/z3.mli" "-o" "${z3ml_bin}/z3.cmi"
COMMAND "${OCAMLFIND}" "ocamlc" ${z3ml_common_flags} "-c" "${z3ml_src}/z3.mli"
"-c" "${z3ml_bin}/z3.ml" COMMAND "${OCAMLFIND}" "ocamlc" ${z3ml_common_flags}
COMMAND "${OCAMLFIND}" "ocamlopt" ${z3ml_common_flags} "-o" "${z3ml_bin}/z3.cmo"
"-c" "${z3ml_bin}/z3.ml" "-c" "${z3ml_src}/z3.ml"
COMMAND "${OCAMLFIND}" "ocamlopt" ${z3ml_common_flags}
"-o" "${z3ml_bin}/z3.cmx"
"-c" "${z3ml_src}/z3.ml"
DEPENDS ${z3ml_bin}/z3enums.cmo DEPENDS ${z3ml_bin}/z3enums.cmo
${z3ml_bin}/z3native.cmo ${z3ml_bin}/z3native.cmo
${z3ml_bin}/z3.ml ${z3ml_src}/z3.ml
${z3ml_bin}/z3.mli ${z3ml_src}/z3.mli
COMMENT "Building z3.cmo" COMMENT "Building z3.cmo"
VERBATIM) VERBATIM)