work_dir = os.path.abspath(ini.get("general", "workdir") or ".")
scripts_dir = os.path.abspath("../scripts")
tree_expire = 0
-cc_version = None
cc_command = "gcc"
cxx_command = "g++"
if ini.has_option("phase1", "expire"):
tree_expire = ini.getint("phase1", "expire")
-if ini.has_option("phase1", "cc_version"):
- cc_version = ini.get("phase1", "cc_version").split()
- if len(cc_version) == 1:
- cc_version = ["eq", cc_version[0]]
-
if ini.has_option("general", "git_ssh"):
git_ssh = ini.getboolean("general", "git_ssh")
property = "cc_command",
description = "Finding gcc command",
command = [
- "../findbin.pl", "gcc",
- cc_version[0] if cc_version is not None else '',
- cc_version[1] if cc_version is not None else ''
+ "../findbin.pl", "gcc", "", "",
],
haltOnFailure = True))
property = "cxx_command",
description = "Finding g++ command",
command = [
- "../findbin.pl", "g++",
- cc_version[0] if cc_version is not None else '',
- cc_version[1] if cc_version is not None else ''
+ "../findbin.pl", "g++", "", "",
],
haltOnFailure = True))