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

ML API: Build system and error handling fixes.

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2013-02-20 11:49:00 +00:00
parent 9142901efe
commit dcdcd7b140
3 changed files with 19 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
scripts/mk_util.py
View file

@ -1351,10 +1351,14 @@ class MLComponent(Component):
api_src = get_component(API_COMPONENT).to_src_dir
for f in filter(lambda f: f.endswith('.ml'), os.listdir(self.src_dir)):
out.write('%s/%s: %s/%s\n' % (sub_dir,f,src_dir,f))
out.write('\t%s %s/%s %s/%s\n' % (CP_CMD,src_dir,f,sub_dir,f))
str = '\t%s %s/%s %s/%s\n' % (CP_CMD,src_dir,f,sub_dir,f)
if IS_WINDOWS: str = str.replace('/','\\')
out.write(str)
for f in filter(lambda f: f.endswith('.c'), os.listdir(self.src_dir)):
out.write('%s/%s: %s/%s\n' % (sub_dir,f,src_dir,f))
out.write('\t%s %s/%s %s/%s\n' % (CP_CMD,src_dir,f,sub_dir,f))
str = '\t%s %s/%s %s/%s\n' % (CP_CMD,src_dir,f,sub_dir,f)
if IS_WINDOWS: str = str.replace('/','\\')
out.write(str)
modules = ["z3enums", "z3native", "z3"] # dependencies in this order!
prev = ''
for m in modules: