diff options
Diffstat (limited to 'demoscript/Util.py')
| -rw-r--r-- | demoscript/Util.py | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 0c8beeb7638..4cc586e9823 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -292,7 +292,16 @@ def configurePaths(): binDir = os.path.join(binDir, "sparcv9") else: binDir = os.path.join(binDir, "amd64") - + else: + # + # Add third party home to PATH, to use db_xx tools + if isWin32(): + addenv("PATH", os.path.join(getThirdpartyHome(), "bin\\x64" if x64 else "bin")) + if getCppCompiler() == "VC110": + addenv("PATH", os.path.join(getThirdpartyHome(), "bin\\vc110\\x64" if x64 else "bin\\vc110")) + elif isDarwin(): + addenv("PATH", os.path.join(getThirdpartyHome(), "bin")) + if binDir != os.path.join(getIceDir("cpp"), "bin"): addenv("PATH", binDir) @@ -773,7 +782,6 @@ def cleanDbDir(path): def getJavaLibraryPath(): if isWin32(): if iceHome: - print return "-Djava.library.path=\"%s\" " % os.path.join(iceHome, "bin\\x64" if x64 else "bin") else: return "-Djava.library.path=\"%s\" " % os.path.join(getThirdpartyHome(), "bin\\x64" if x64 else "bin") |