diff options
author | Benoit Foucher <benoit@zeroc.com> | 2009-12-22 12:16:56 +0100 |
---|---|---|
committer | Benoit Foucher <benoit@zeroc.com> | 2009-12-22 12:16:56 +0100 |
commit | 96a87612f375821a448512b38d34a6a44fdcbc9a (patch) | |
tree | b543d317b302ed71e8eb526c2cb763cf74dacb66 /demoscript/Util.py | |
parent | Fixed bug 4530 - getOperation is now const (diff) | |
download | ice-96a87612f375821a448512b38d34a6a44fdcbc9a.tar.bz2 ice-96a87612f375821a448512b38d34a6a44fdcbc9a.tar.xz ice-96a87612f375821a448512b38d34a6a44fdcbc9a.zip |
Fixed bug 4529 - demo script failures outside source distribution
Diffstat (limited to 'demoscript/Util.py')
-rw-r--r-- | demoscript/Util.py | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 7df0f7ec3f0..5af536c8afe 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -230,8 +230,13 @@ def isNoServices(): if os.environ.get("CPP_COMPILER", "") != "": compiler = os.environ["CPP_COMPILER"] else: - config = open(os.path.join(toplevel, "cpp", "config", "Make.rules.mak"), "r") - compiler = re.search("CPP_COMPILER[\t\s]*= ([A-Z0-9]*)", config.read()).group(1) + config = None + if os.path.exists(os.path.join(toplevel, "cpp", "config", "Make.rules.mak")): + config = open(os.path.join(toplevel, "cpp", "config", "Make.rules.mak"), "r") + elif os.path.exists(os.path.join(toplevel, "config", "Make.rules.mak")): + config = open(os.path.join(toplevel, "config", "Make.rules.mak"), "r") + if config != None: + compiler = re.search("CPP_COMPILER[\t\s]*= ([A-Z0-9]*)", config.read()).group(1) return compiler == "BCC2010" or compiler == "VC60" def getMapping(): @@ -456,9 +461,12 @@ def getIceVersion(): def getServiceDir(): global serviceDir if serviceDir == None: - serviceDir = "C:\\Ice-" + str(getIceVersion()) + "\\bin" + if iceHome: + serviceDir = os.path.join(iceHome, "bin") + else: + serviceDir = "C:\\Program Files\ZeroC\Ice-" + str(getIceVersion()) + "\\bin" return serviceDir - + def getIceBox(mapping = "cpp"): if mapping == "cpp": if isNoServices(): |