From 0ee486d06a755ad4664361b748b51b00b0143f77 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Tue, 24 Mar 2015 10:08:19 +0100
Subject: [PATCH] -2cw7 : fix the call to owcet that was wrong when -o was not
used.
---
src/soc2c.ml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/soc2c.ml b/src/soc2c.ml
index 706ea655..03cf9c40 100644
--- a/src/soc2c.ml
+++ b/src/soc2c.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 24/03/2015 (at 09:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 24/03/2015 (at 10:05) by Erwan Jahier> *)
(* let put (os: out_channel) (fmt:('a, unit, string, unit) format4) : 'a = *)
@@ -413,6 +413,7 @@ int main(){" ^ (
"
);
);
+ Printf.printf "%s has been generated.\n" mainfile; flush stdout;
close_out oc
@@ -720,7 +721,7 @@ typedef float _float;
else
Printf.sprintf "%s -o %s %s %s" gcc execfile cfile main_file
in
- let main_step = base^"_"^args.Lv6MainArgs.main_node^"_step" in
+ let main_step = (string_of_soc_key msoc)^"_step" in
let gcc = if args.Lv6MainArgs.gen_wcet then
(gcc ^ " > owcet.out; owcet.arm "^execfile^ " --add-prop otawa::ilp::OUTPUT_PATH="^
main_step^".0.lp "^main_step^" 2>&1 | grep WCET")
--
GitLab