Commits

Leonardo de Moura  committed 1a8aa48

modified scripts to be able to run them on Linux/OSX

  • Participants
  • Parent commits 7b1aa09

Comments (0)

Files changed (4)

File dll/mk_def.py

 import re
+import os
 
 pat1 = re.compile(".*Z3_API.*")
-api = open('..\lib\z3_api.h', 'r')
+api = open('..%slib%sz3_api.h' % (os.sep, os.sep), 'r')
 
 z3def = open('z3.def', 'w')
 z3dbgdef = open('z3_dbg.def', 'w')
 log_h   = open('api_log_macros.h', 'w')
 log_c   = open('api_log_macros.cpp', 'w')
 exe_c   = open('api_commands.cpp', 'w')
-core_py = open('..\\python\\z3core.py', 'w')
-dotnet_fileout = '..\\Microsoft.Z3\\Native.cs'
+core_py = open('..%spython%sz3core.py' % (os.sep, os.sep), 'w')
+dotnet_fileout = '..%sMicrosoft.Z3%sNative.cs' % (os.sep, os.sep)
 ##
 log_h.write('// Automatically generated file, generator: api.py\n')
 log_h.write('#include\"z3.h\"\n')

File python/mk_z3consts.py

 # Author: Leonardo de Moura (leonardo)
 ############################################
 import re
+import os 
 
 blank_pat      = re.compile("^ *$")
 comment_pat    = re.compile("^ *//.*$")
 openbrace_pat  = re.compile("{ *")
 closebrace_pat = re.compile("}.*;")
 
-api = open('..\\lib\\z3_api.h', 'r')
+api = open('..%slib%sz3_api.h' % (os.sep, os.sep), 'r')
 
 z3consts  = open('z3consts.py', 'w')
 z3consts.write('# Automatically generated file, generator: mk_z3consts.py\n\n')

File python/mk_z3tactics.py

 # Author: Leonardo de Moura (leonardo)
 ############################################
 import re
+import os
 
 tactic_pat  = re.compile("^[ \t]*ADD_TACTIC_CMD")
 probe_pat   = re.compile("^[ \t]*ADD_PROBE")
 
-cppfile = open('..\\lib\\install_tactics.cpp', 'r')
+cppfile = open('..%slib%sinstall_tactics.cpp' % (os.sep, os.sep), 'r')
 
 z3tactics  = open('z3tactics.py', 'w')
 z3tactics.write('# Automatically generated file, generator: mk_z3tactics.py\n')