mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

Install target fix for ocamlfind_install on Windows.

Browse source 
Relates to #409
This commit is contained in:
Christoph M. Wintersteiger 2016-02-09 19:58:52 +00:00
parent 4ba744987d
commit a16f524eae
1 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

13
scripts/mk_util.py
View file

@ -3650,10 +3650,15 @@ class MakeRuleCmd(object):
assert not ' ' in dir
install_root = cls._install_root(dir, in_prefix, out)
cls.write_cmd(out, "mkdir -p {install_root}{dir}".format(
install_root=install_root,
dir=dir))
if is_windows():
cls.write_cmd(out, "IF NOT EXIST {dir} (mkdir {dir})".format(
install_root=install_root,
dir=dir))
else:
cls.write_cmd(out, "mkdir -p {install_root}{dir}".format(
install_root=install_root,
dir=dir))
@classmethod
def _is_path_prefix_of(cls, temp_path, target_as_abs):
"""