Added information output to run_CI_tests.py

This commit is contained in:
Jocelyn Fiat
2011-11-16 08:57:02 +01:00
parent 203d51a97e
commit 02f5bdd801

View File

@@ -53,12 +53,14 @@ def runTestForProject(where):
if clobber: if clobber:
rm_dir("EIFGENs") rm_dir("EIFGENs")
# compile the library # compile the restbucks
print "# Compiling restbucks example"
cmd = "ecb -config %s -target restbucks -batch -c_compile -project_path . " % (os.path.join ("examples", "restbucks", "restbucks-safe.ecf")) cmd = "ecb -config %s -target restbucks -batch -c_compile -project_path . " % (os.path.join ("examples", "restbucks", "restbucks-safe.ecf"))
res = eval_cmd(cmd) res = eval_cmd(cmd)
sleep(1) sleep(1)
print "# Launch check_compilations"
if sys.platform == 'win32': if sys.platform == 'win32':
cmd = "tests\\check_compilations.bat" cmd = "tests\\check_compilations.bat"
else: else:
@@ -67,6 +69,7 @@ def runTestForProject(where):
cmd = "%s -clean" % (cmd) cmd = "%s -clean" % (cmd)
res_output = eval_cmd_output(cmd) res_output = eval_cmd_output(cmd)
print "# Analyze check_compilations results"
lines = re.split ("\n", res_output) lines = re.split ("\n", res_output)
regexp = "^(\S+)\s+(\S+)\s+from\s+(\S+)\s+\(([^\)]+)\)\.\.\.(\S+)$" regexp = "^(\S+)\s+(\S+)\s+from\s+(\S+)\s+\(([^\)]+)\)\.\.\.(\S+)$"
p = re.compile (regexp); p = re.compile (regexp);
@@ -88,6 +91,8 @@ def runTestForProject(where):
if len(failures) > 0: if len(failures) > 0:
sys.exit(2) sys.exit(2)
print "# End..."
if __name__ == '__main__': if __name__ == '__main__':
runTestForProject(os.path.join (os.getcwd(), '..')) runTestForProject(os.path.join (os.getcwd(), '..'))