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

Remove temporary files created during configuration tests.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-04-29 15:15:57 +01:00
parent 1abeb825a3
commit 78cc1e0703
1 changed files with 15 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

20
scripts/mk_util.py
View file

@ -227,7 +227,13 @@ def test_openmp(cc):
t.add('#include<omp.h>\nint main() { return omp_in_parallel() ? 1 : 0; }\n') t.add('#include<omp.h>\nint main() { return omp_in_parallel() ? 1 : 0; }\n')
t.commit() t.commit()
if IS_WINDOWS: if IS_WINDOWS:
return exec_compiler_cmd([cc, CPPFLAGS, 'tstomp.cpp', LDFLAGS, '/openmp']) == 0 r = exec_compiler_cmd([cc, CPPFLAGS, 'tstomp.cpp', LDFLAGS, '/openmp']) == 0
try:
rmf('tstomp.obj')
rmf('tstomp.exe')
except:
pass
return r
else: else:
return exec_compiler_cmd([cc, CPPFLAGS, 'tstomp.cpp', LDFLAGS, '-fopenmp']) == 0 return exec_compiler_cmd([cc, CPPFLAGS, 'tstomp.cpp', LDFLAGS, '-fopenmp']) == 0
@ -357,10 +363,14 @@ def check_ml():
r = exec_cmd([OCAMLOPT, '-o', 'a.out', 'hello.ml']) r = exec_cmd([OCAMLOPT, '-o', 'a.out', 'hello.ml'])
if r != 0: if r != 0:
raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler. Note that ocamlopt may require flexlink to be in your path.') raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler. Note that ocamlopt may require flexlink to be in your path.')
rmf('hello.cmi') try:
rmf('hello.cmo') rmf('hello.cmi')
rmf('hello.cmx') rmf('hello.cmo')
rmf('a.out') rmf('hello.cmx')
rmf('a.out')
rmf('hello.o')
except:
pass
find_ml_lib() find_ml_lib()
find_ocaml_find() find_ocaml_find()