mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-12 09:03:26 +00:00
Code Activity

remove trailing whitespace

Browse source
This commit is contained in:
Kevin Borgolte 2015-05-05 11:29:48 -07:00
parent 7dcdecfa09
commit f458423868
1 changed files with 15 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

30
scripts/mk_util.py
View file

@ -1415,7 +1415,7 @@ class MLComponent(Component):
fout.close() fout.close()
if VERBOSE: if VERBOSE:
print("Updated '%s'" % ml_meta_out) print("Updated '%s'" % ml_meta_out)
def mk_makefile(self, out): def mk_makefile(self, out):
if is_ml_enabled(): if is_ml_enabled():
@ -1459,16 +1459,16 @@ class MLComponent(Component):
archives = archives + ' ' + os.path.join(sub_dir,m) + '.cma' archives = archives + ' ' + os.path.join(sub_dir,m) + '.cma'
mls = mls + ' ' + os.path.join(sub_dir, m) + '.ml' mls = mls + ' ' + os.path.join(sub_dir, m) + '.ml'
out.write('%s: %s %s\n' % out.write('%s: %s %s\n' %
(os.path.join(sub_dir, 'z3native_stubs$(OBJ_EXT)'), (os.path.join(sub_dir, 'z3native_stubs$(OBJ_EXT)'),
os.path.join(sub_dir, 'z3native_stubs.c'), os.path.join(sub_dir, 'z3native_stubs.c'),
get_component(Z3_DLL_COMPONENT).dll_name+'$(SO_EXT)')); get_component(Z3_DLL_COMPONENT).dll_name+'$(SO_EXT)'));
out.write('\t$(CC) $(CXXFLAGS_OCAML) -I %s -I %s %s $(CXX_OUT_FLAG)%s$(OBJ_EXT)\n' % out.write('\t$(CC) $(CXXFLAGS_OCAML) -I %s -I %s %s $(CXX_OUT_FLAG)%s$(OBJ_EXT)\n' %
(OCAML_LIB, api_src, os.path.join(sub_dir, 'z3native_stubs.c'), os.path.join(sub_dir, 'z3native_stubs'))) (OCAML_LIB, api_src, os.path.join(sub_dir, 'z3native_stubs.c'), os.path.join(sub_dir, 'z3native_stubs')))
out.write('%s: %s %s %s$(SO_EXT)' % ( out.write('%s: %s %s %s$(SO_EXT)' % (
os.path.join(sub_dir, "z3ml.cmxa"), os.path.join(sub_dir, "z3ml.cmxa"),
cmis, cmis,
archives, archives,
get_component(Z3_DLL_COMPONENT).dll_name)) get_component(Z3_DLL_COMPONENT).dll_name))
out.write(' %s\n' % (os.path.join(sub_dir, 'z3native_stubs$(OBJ_EXT)'))) out.write(' %s\n' % (os.path.join(sub_dir, 'z3native_stubs$(OBJ_EXT)')))
@ -1507,7 +1507,7 @@ class MLComponent(Component):
out.write(' ' + get_component(Z3_DLL_COMPONENT).dll_name + '$(LIB_EXT)') out.write(' ' + get_component(Z3_DLL_COMPONENT).dll_name + '$(LIB_EXT)')
out.write('\n\n') out.write('\n\n')
def main_component(self): def main_component(self):
return is_ml_enabled() return is_ml_enabled()
@ -1631,7 +1631,7 @@ class MLExampleComponent(ExampleComponent):
if ML_ENABLED: if ML_ENABLED:
out.write('ml_example.byte: api/ml/z3ml.cmxa ') out.write('ml_example.byte: api/ml/z3ml.cmxa ')
for mlfile in get_ml_files(self.ex_dir): for mlfile in get_ml_files(self.ex_dir):
out.write(' %s' % os.path.join(self.to_ex_dir, mlfile)) out.write(' %s' % os.path.join(self.to_ex_dir, mlfile))
out.write('\n') out.write('\n')
out.write('\t%s ' % OCAMLC) out.write('\t%s ' % OCAMLC)
if DEBUG_MODE: if DEBUG_MODE:
@ -1642,7 +1642,7 @@ class MLExampleComponent(ExampleComponent):
out.write('\n') out.write('\n')
out.write('ml_example$(EXE_EXT): api/ml/z3ml.cmxa ml_example.byte') out.write('ml_example$(EXE_EXT): api/ml/z3ml.cmxa ml_example.byte')
for mlfile in get_ml_files(self.ex_dir): for mlfile in get_ml_files(self.ex_dir):
out.write(' %s' % os.path.join(self.to_ex_dir, mlfile)) out.write(' %s' % os.path.join(self.to_ex_dir, mlfile))
out.write('\n') out.write('\n')
out.write('\t%s ' % OCAMLOPT) out.write('\t%s ' % OCAMLOPT)
if DEBUG_MODE: if DEBUG_MODE:
@ -1803,7 +1803,7 @@ def mk_config():
if is_verbose(): if is_verbose():
print('64-bit: %s' % is64()) print('64-bit: %s' % is64())
print('OpenMP: %s' % HAS_OMP) print('OpenMP: %s' % HAS_OMP)
if is_java_enabled(): if is_java_enabled():
print('JNI Bindings: %s' % JNI_HOME) print('JNI Bindings: %s' % JNI_HOME)
print('Java Compiler: %s' % JAVAC) print('Java Compiler: %s' % JAVAC)
if is_ml_enabled(): if is_ml_enabled():
@ -1927,10 +1927,10 @@ def mk_config():
print('OpenMP: %s' % HAS_OMP) print('OpenMP: %s' % HAS_OMP)
print('Prefix: %s' % PREFIX) print('Prefix: %s' % PREFIX)
print('64-bit: %s' % is64()) print('64-bit: %s' % is64())
print('FP math: %s' % FPMATH) print('FP math: %s' % FPMATH)
if GPROF: if GPROF:
print('gprof: enabled') print('gprof: enabled')
print('Python version: %s' % distutils.sysconfig.get_python_version()) print('Python version: %s' % distutils.sysconfig.get_python_version())
if is_java_enabled(): if is_java_enabled():
print('JNI Bindings: %s' % JNI_HOME) print('JNI Bindings: %s' % JNI_HOME)
print('Java Compiler: %s' % JAVAC) print('Java Compiler: %s' % JAVAC)
@ -2819,7 +2819,7 @@ def mk_z3consts_ml(api_files):
m2 = comment_pat.match(line) m2 = comment_pat.match(line)
if m1 or m2: if m1 or m2:
# skip blank lines and comments # skip blank lines and comments
linenum = linenum + 1 linenum = linenum + 1
elif mode == SEARCHING: elif mode == SEARCHING:
m = typedef_pat.match(line) m = typedef_pat.match(line)
if m: if m:
@ -2897,7 +2897,7 @@ def mk_z3consts_ml(api_files):
m2 = comment_pat.match(line) m2 = comment_pat.match(line)
if m1 or m2: if m1 or m2:
# skip blank lines and comments # skip blank lines and comments
linenum = linenum + 1 linenum = linenum + 1
elif mode == SEARCHING: elif mode == SEARCHING:
m = typedef_pat.match(line) m = typedef_pat.match(line)
if m: if m: