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

OSX again

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-26 20:21:00 +01:00
parent cf04bf9959
commit 79c7deb6b0
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
scripts/mk_util.py
View file

@ -47,7 +47,7 @@ def display_help():
# Parse configuration option for mk_make script # Parse configuration option for mk_make script
def parse_options(): def parse_options():
global VERBOSE, DEBUG_MODE, IS_WINDOW, VS_X64, ONLY_MAKEFILES, SHOW_CPPS global VERBOSE, DEBUG_MODE, IS_WINDOW, VS_X64, ONLY_MAKEFILES, SHOW_CPPS
options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:svxhmc', ['build=', options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:dsxhmc', ['build=',
'debug', 'debug',
'silent', 'silent',
'x64', 'x64',
@ -376,8 +376,9 @@ class DLLComponent(Component):
out.write(' ') out.write(' ')
out.write(obj) out.write(obj)
for dep in deps: for dep in deps:
c_dep = _Name2Component[dep] if not dep in self.reexports:
out.write(' %s/%s$(LIB_EXT)' % (c_dep.build_dir, c_dep.name)) c_dep = _Name2Component[dep]
out.write(' %s/%s$(LIB_EXT)' % (c_dep.build_dir, c_dep.name))
out.write(' $(SLINK_EXTRA_FLAGS)') out.write(' $(SLINK_EXTRA_FLAGS)')
if IS_WINDOW: if IS_WINDOW:
out.write(' /DEF:%s/%s.def' % (self.to_src_dir, self.name)) out.write(' /DEF:%s/%s.def' % (self.to_src_dir, self.name))