aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/sha-2
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-05-14 18:01:28 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-05-14 18:01:28 +0200
commit76abb605749d1b8ddcc842cecb258fa755d63ccf (patch)
treee636a781c4b2b49b346013dec887abeb1badedd0 /test/monniaux/sha-2
parent13ea0149e1994c5489d9aed00e7486e49d687889 (diff)
downloadcompcert-kvx-76abb605749d1b8ddcc842cecb258fa755d63ccf.tar.gz
compcert-kvx-76abb605749d1b8ddcc842cecb258fa755d63ccf.zip
Avancement sur la génération de Makefile des benchmarks
Diffstat (limited to 'test/monniaux/sha-2')
-rw-r--r--test/monniaux/sha-2/Makefile24
-rw-r--r--test/monniaux/sha-2/make.proto2
2 files changed, 2 insertions, 24 deletions
diff --git a/test/monniaux/sha-2/Makefile b/test/monniaux/sha-2/Makefile
deleted file mode 100644
index 8fba819b..00000000
--- a/test/monniaux/sha-2/Makefile
+++ /dev/null
@@ -1,24 +0,0 @@
-include ../rules.mk
-
-PRODUCTS=sha-256.host sha-256.gcc.o1.k1c.out sha-256.gcc.k1c.out sha-256.ccomp.k1c.out sha-256.ccomp.k1c.s sha-256.gcc.k1c.s sha-256.gcc.k1c sha-256.ccomp.k1c
-
-all: $(PRODUCTS)
-
-sha-256.host: sha-256.c sha-256_run.c sha-256.h
- $(CC) $(CFLAGS) sha-256.c sha-256_run.c -o $@
-
-sha-256.gcc.k1c.s sha-256.ccomp.k1c.s sha-256_run.gcc.k1c.s: sha-256.h
-
-sha-256.gcc.k1c: sha-256.gcc.k1c.o sha-256_run.gcc.k1c.o
- $(K1C_CC) $(K1C_CFLAGS) $+ -o $@
-
-sha-256.gcc.o1.k1c: sha-256.gcc.o1.k1c.o sha-256_run.gcc.o1.k1c.o
- $(K1C_CC) $(K1C_CFLAGS_O1) $+ -o $@
-
-sha-256.ccomp.k1c: sha-256.ccomp.k1c.o sha-256_run.gcc.k1c.o
- $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@
-
-clean:
- $(RM) -f $(PRODUCTS) sha-256.gcc.k1c.o sha-256.ccomp.k1c.o sha-256_run.gcc.k1c.o sha-256_run.gcc.k1c.s
-
-.PHONY: clean
diff --git a/test/monniaux/sha-2/make.proto b/test/monniaux/sha-2/make.proto
new file mode 100644
index 00000000..e96fee7d
--- /dev/null
+++ b/test/monniaux/sha-2/make.proto
@@ -0,0 +1,2 @@
+objdeps: [{name: sha-256_run, compiler: gcc}]
+target: sha-256