diff --git a/engine/wscript b/engine/wscript index 7b848601..5b5b4846 100644 --- a/engine/wscript +++ b/engine/wscript @@ -48,6 +48,8 @@ def configure(conf): conf.check( lib='SHELL32' ) conf.check( lib='GDI32' ) conf.check( lib='ADVAPI32' ) + conf.check( lib='DBGHELP' ) + conf.env.append_unique('DEFINES', 'DBGHELP') def get_subproject_name(ctx): return os.path.basename(os.path.realpath(str(ctx.path))) @@ -63,7 +65,7 @@ def build(bld): if bld.env.DEST_OS != 'win32': libs += [ 'DL', 'M', 'PTHREAD' ] else: - libs += ['USER32', 'SHELL32', 'GDI32', 'ADVAPI32'] + libs += ['USER32', 'SHELL32', 'GDI32', 'ADVAPI32', 'DBGHELP'] source += bld.path.ant_glob(['platform/win32/*.c']) source += bld.path.ant_glob([