mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-09 23:53:25 +00:00
Code Activity

ML API: build system fixes

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2013-01-08 21:02:44 +00:00
parent 9eea0f3232
commit 9d965b5fec
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mk_util.py
View file

@ -354,7 +354,10 @@ def check_ml():
raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler') raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler')
os.remove('hello.cmi') os.remove('hello.cmi')
os.remove('hello.cmo') os.remove('hello.cmo')
os.remove('hello.cmx')
os.remove('hello.obj')
os.remove('a.out') os.remove('a.out')
t.__del__()
find_ml_lib() find_ml_lib()
def find_ml_lib(): def find_ml_lib():