From 8de1320d81c699d5d1ee22c0ed062e7cea15c52b Mon Sep 17 00:00:00 2001
From: Phillip Raffeck <phillip.raffeck@fau.de>
Date: Mon, 30 Jan 2017 18:42:59 +0100
Subject: [PATCH] update flash script
---
tools/tacle-check/lib/tb_wcet.py | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/tools/tacle-check/lib/tb_wcet.py b/tools/tacle-check/lib/tb_wcet.py
index 4cae5e60637..e2dc20ccd8b 100644
--- a/tools/tacle-check/lib/tb_wcet.py
+++ b/tools/tacle-check/lib/tb_wcet.py
@@ -627,7 +627,19 @@ def process_arm_benchmark(benchmark_name, files, out_dir, patmos_clang, patmos_c
# 6.) create helper script
script = os.path.join(result_dir, 'flash.sh')
with open(script, 'w') as outfile:
- outfile.write("ARM_FlashProgrammer -device MKL46Z256M4 -execute -program "+s19)
+ outfile.write("#! /bin/bash\n\n")
+ outfile.write("DIR=\"$( cd \"$( dirname \"${BASH_SOURCE[0]}\" )\" && pwd)\"\n")
+ outfile.write("\nif command -v ARM_FlashProgrammer >/dev/null 2>&1; then\n")
+ outfile.write(" FLASHER=`command -v ARM_FlashProgrammer`\n")
+ outfile.write("elif command -v UsbdmFlashProgrammer >/dev/null 2>&1; then\n")
+ outfile.write(" FLASHER=`command -v UsbdmFlashProgrammer`\n")
+ outfile.write("else\n")
+ outfile.write(" echo \"No suitable flash program found.\"\n")
+ outfile.write(" exit 1\n")
+ outfile.write("fi\n\n")
+ outfile.write("CMD=\"${FLASHER} -device MKL46Z256M4 -execute -program ${DIR}/"+benchmark_name+".s19\"\n")
+ outfile.write("echo $CMD\neval $CMD\n")
+ os.chmod(script, 0o744)
# for platin & pasim
entry = benchmark_name + "_main"
--
GitLab