mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-10 16:13:25 +00:00
Code Activity

fix warnings in configure script

Browse source
This commit is contained in:
Nuno Lopes 2016-11-23 09:32:20 +00:00
parent 7a4c20698f
commit 1d417f6527
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -2299,6 +2299,7 @@ def mk_config():
if ONLY_MAKEFILES: if ONLY_MAKEFILES:
return return
config = open(os.path.join(BUILD_DIR, 'config.mk'), 'w') config = open(os.path.join(BUILD_DIR, 'config.mk'), 'w')
global CXX, CC, GMP, FOCI2, CPPFLAGS, CXXFLAGS, LDFLAGS, EXAMP_DEBUG_FLAG, FPMATH_FLAGS, HAS_OMP, LOG_SYNC
if IS_WINDOWS: if IS_WINDOWS:
config.write( config.write(
'CC=cl\n' 'CC=cl\n'
@ -2391,7 +2392,6 @@ def mk_config():
print('OCaml Native: %s' % OCAMLOPT) print('OCaml Native: %s' % OCAMLOPT)
print('OCaml Library: %s' % OCAML_LIB) print('OCaml Library: %s' % OCAML_LIB)
else: else:
global CXX, CC, GMP, FOCI2, CPPFLAGS, CXXFLAGS, LDFLAGS, EXAMP_DEBUG_FLAG, FPMATH_FLAGS, HAS_OMP, LOG_SYNC
OS_DEFINES = "" OS_DEFINES = ""
ARITH = "internal" ARITH = "internal"
check_ar() check_ar()