From e744e3907713a073100cfe96769fe235b1bf50b8 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@airbus.com>
Date: Fri, 15 Mar 2019 17:25:56 +0100
Subject: [felics] Automatisation de la mise à jour des vecteurs FELICS
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 test/felics/make-vectors.sh | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'test/felics/make-vectors.sh')

diff --git a/test/felics/make-vectors.sh b/test/felics/make-vectors.sh
index 2ddbc77..d6050e8 100755
--- a/test/felics/make-vectors.sh
+++ b/test/felics/make-vectors.sh
@@ -1,9 +1,27 @@
 #!/bin/bash
 
+set -eu
+
+
+FELICS_CIPHERS_DIR=$1
+LILLIPUT_VERSION=$2
+
+
+output-filename ()
+{
+    local mode=$1
+    local keylen=$2
+    local lilliput_dir=Lilliput-${mode^^}-${keylen}_v${LILLIPUT_VERSION}
+
+    echo "${FELICS_CIPHERS_DIR}"/${lilliput_dir}/source/test_vectors.c
+}
+
+
 for mode in i ii
 do
     for keylen in 128 192 256
     do
-        make vector mode=${mode} keylen=${keylen}
+        output=$(output-filename ${mode} ${keylen})
+        make vector mode=${mode} keylen=${keylen} output=${output}
     done
 done
-- 
cgit v1.2.3