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

fix cmake issues

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-03-19 15:51:31 -07:00
parent 20bbdfe31a
commit 67dc5ce2b5
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
contrib/cmake/src/qe/CMakeLists.txt
View file

@ -21,7 +21,7 @@ z3_add_component(qe
vsubst_tactic.cpp vsubst_tactic.cpp
COMPONENT_DEPENDENCIES COMPONENT_DEPENDENCIES
nlsat_tactic nlsat_tactic
nlqsat nlsat
sat sat
smt smt
tactic tactic

4
scripts/mk_genfile_common.py
View file

@ -57,7 +57,7 @@ def sorted_headers_by_component(l):
_logger.debug("get_key({})".format(path)) _logger.debug("get_key({})".format(path))
path_components = [] path_components = []
stripped_path = path stripped_path = path
assert 'src' in stripped_path.split(os.path.sep) assert 'src' in stripped_path.split(os.path.sep) or 'src' in stripped_path.split('/')
# Keep stripping off directory components until we hit ``src`` # Keep stripping off directory components until we hit ``src``
while os.path.basename(stripped_path) != 'src': while os.path.basename(stripped_path) != 'src':
path_components.append(os.path.basename(stripped_path)) path_components.append(os.path.basename(stripped_path))
@ -214,7 +214,7 @@ def mk_gparams_register_modules_internal(component_src_dirs, path):
""" """
assert isinstance(component_src_dirs, list) assert isinstance(component_src_dirs, list)
assert check_dir_exists(path) assert check_dir_exists(path)
cmds = [] cmds = []
mod_cmds = [] mod_cmds = []
mod_descrs = [] mod_descrs = []
fullname = os.path.join(path, 'gparams_register_modules.cpp') fullname = os.path.join(path, 'gparams_register_modules.cpp')