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

fixed mk_make problem on Windows

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-12-06 13:57:35 -08:00
parent 68b97024e2
commit fdb3e22560
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_util.py
View file

@ -88,6 +88,9 @@ def is_osx():
def unix_path2dos(path): def unix_path2dos(path):
return string.join(path.split('/'), '\\') return string.join(path.split('/'), '\\')
def to_unix_path(path):
return string.join(path.split('\\'), '/')
def which(program): def which(program):
import os import os
def is_exe(fpath): def is_exe(fpath):
@ -440,7 +443,7 @@ def extract_c_includes(fname):
# Given a path dir1/subdir2/subdir3 returns ../../.. # Given a path dir1/subdir2/subdir3 returns ../../..
def reverse_path(p): def reverse_path(p):
l = p.split('/') l = to_unix_path(p).split('/')
n = len(l) n = len(l)
r = '..' r = '..'
for i in range(1, n): for i in range(1, n):