mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Changed makefile generation for ml bindings to use OCAMLFIND variable

Browse source
This commit is contained in:
philzook58 2019-10-02 19:43:37 -04:00 committed by Nikolaj Bjorner
parent 5b4cd6dde4
commit d4c60f5766
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_util.py
View file

@ -1955,8 +1955,8 @@ class MLComponent(Component):
OCAML_FLAGS += '-g' OCAML_FLAGS += '-g'
if OCAMLFIND: if OCAMLFIND:
OCAMLCF = OCAMLC + ' ' + 'ocamlc -package zarith' + ' ' + OCAML_FLAGS OCAMLCF = OCAMLFIND + ' ' + 'ocamlc -package zarith' + ' ' + OCAML_FLAGS
OCAMLOPTF = OCAMLOPT + ' ' + 'ocamlopt -package zarith' + ' ' + OCAML_FLAGS OCAMLOPTF = OCAMLFIND + ' ' + 'ocamlopt -package zarith' + ' ' + OCAML_FLAGS
else: else:
OCAMLCF = OCAMLC + ' ' + OCAML_FLAGS OCAMLCF = OCAMLC + ' ' + OCAML_FLAGS
OCAMLOPTF = OCAMLOPT + ' ' + OCAML_FLAGS OCAMLOPTF = OCAMLOPT + ' ' + OCAML_FLAGS