From 1ff18029ef66889c30be852ebebb9ec8013c0790 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@airbus.com>
Date: Thu, 16 May 2019 14:44:05 +0200
Subject: Ajout de traces pour la version threshold
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Pour aider à l'implémentation VHDL.
---
 traces/collect-traces.sh | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'traces/collect-traces.sh')

diff --git a/traces/collect-traces.sh b/traces/collect-traces.sh
index 3d9d76b..11c2402 100755
--- a/traces/collect-traces.sh
+++ b/traces/collect-traces.sh
@@ -3,7 +3,14 @@
 set -eu
 
 trace_type=$1
-patch=traces/${trace_type}.patch
+implem=${IMPLEMENTATION:-ref}
+
+if [ -f traces/${implem}/${trace_type}.patch ]
+then
+    patch=traces/${implem}/${trace_type}.patch
+else
+    patch=traces/${trace_type}.patch
+fi
 
 # To update these patches:
 # - add the tracing code you need to the source files
@@ -15,7 +22,7 @@ git apply --3way ${patch}
 
 for variant_dir in test/{i,ii}-{128,192,256}
 do
-    make -C ${variant_dir} ${trace_type}
+    make -C ${variant_dir} ${trace_type} IMPLEMENTATION=${implem}
 done
 
 cp results/{i,ii}-{128,192,256}/${trace_type}-*.txt ${d}
-- 
cgit v1.2.3