mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix nightly

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-04-07 15:43:39 -07:00
parent d9af8ea9fb
commit 90995b63c3
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_util.py
View file

@ -1081,8 +1081,8 @@ class Component:
dependencies.add(os.path.join(self.to_src_dir, cppfile)) dependencies.add(os.path.join(self.to_src_dir, cppfile))
self.add_rule_for_each_include(out, cppfile) self.add_rule_for_each_include(out, cppfile)
includes = extract_c_includes(os.path.join(self.src_dir, cppfile)) includes = extract_c_includes(os.path.join(self.src_dir, cppfile))
for include in includes: for include, orig_include in includes.items():
owner = self.find_file(include, cppfile) owner = self.find_file(include, cppfile, orig_include)
dependencies.add('%s.node' % os.path.join(owner.build_dir, include)) dependencies.add('%s.node' % os.path.join(owner.build_dir, include))
for cppfile in cppfiles: for cppfile in cppfiles:
out.write('%s$(OBJ_EXT) ' % os.path.join(self.build_dir, os.path.splitext(cppfile)[0])) out.write('%s$(OBJ_EXT) ' % os.path.join(self.build_dir, os.path.splitext(cppfile)[0]))