[felics] Automatisation de la mise à jour des vecteurs FELICS

1 files changed, 19 insertions, 1 deletions

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