From 4ee53ce2ac2e32aa9ae9c2334f0770d7f5f28fa8 Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Thu, 29 Nov 2018 15:21:39 +0100 Subject: Ajout d'une cible dans le Makefile pour la livraison NIST MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Et aussi : - extraction des sources de TestVectorGen.zip (la flemme de m'assurer que le conteneur GCC aura unzip) - dépôt dans le dossier results ; on laissera Gitlab archiver le résultat pour nous --- Makefile | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 7b25332..7502c08 100644 --- a/Makefile +++ b/Makefile @@ -4,7 +4,10 @@ implementations = $(dir \ delegated = clean test -.PHONY: $(delegated) +.PHONY: $(delegated) nist + +results: + mkdir $@ $(delegated):: status=0; \ @@ -16,6 +19,7 @@ $(delegated):: clean:: - rm traces*.tgz + - rm -r results # To generate complete traces, apply this patch before running "make traces": # $ git apply traces.patch @@ -23,6 +27,9 @@ clean:: # $ git diff src > traces.patch traces: traces-ae traces-tbc -traces-%: +traces-%: | results @ echo "Collecting traces" @ ./collect-traces.sh $@ + +nist: | results + ./nist/make-package.sh -- cgit v1.2.3