aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-tea
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/bitsliced-tea
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/bitsliced-tea')
-rw-r--r--test/monniaux/bitsliced-tea/Makefile27
-rw-r--r--test/monniaux/bitsliced-tea/make.proto2
2 files changed, 2 insertions, 27 deletions
diff --git a/test/monniaux/bitsliced-tea/Makefile b/test/monniaux/bitsliced-tea/Makefile
deleted file mode 100644
index 3d5fd540..00000000
--- a/test/monniaux/bitsliced-tea/Makefile
+++ /dev/null
@@ -1,27 +0,0 @@
-include ../rules.mk
-
-PRODUCTS=bstea.gcc.host.out bstea.ccomp.host.out bstea.gcc.o1.k1c.out bstea.gcc.k1c.out bstea.ccomp.k1c.out bstea.ccomp.k1c.s bstea.gcc.k1c.s bstea.gcc.k1c bstea.ccomp.k1c bstea.gcc.host bstea.ccomp.host
-
-all: $(PRODUCTS)
-
-bstea.gcc.host: bstea.c bstea_run.c bstea.h ../clock.o
- $(CC) $(CFLAGS) bstea.c bstea_run.c ../clock.o -o $@
-
-bstea.ccomp.host: bstea.c bstea_run.c bstea.h ../clock.o
- $(CCOMP) $(CCOMPFLAGS) bstea.c bstea_run.c ../clock.o -o $@
-
-bstea.gcc.k1c.s bstea.ccomp.k1c.s bstea_run.gcc.k1c.s: bstea.h
-
-bstea.gcc.k1c: bstea.gcc.k1c.o bstea_run.gcc.k1c.o ../clock.gcc.k1c.o
- $(K1C_CC) $(K1C_CFLAGS) $+ -o $@
-
-bstea.gcc.o1.k1c: bstea.gcc.o1.k1c.o bstea_run.gcc.o1.k1c.o ../clock.gcc.k1c.o
- $(K1C_CC) $(K1C_CFLAGS_O1) $+ -o $@
-
-bstea.ccomp.k1c: bstea.ccomp.k1c.o bstea_run.gcc.k1c.o ../clock.gcc.k1c.o
- $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@
-
-clean:
- $(RM) -f *.k1c *.host *.out *.o *.s
-
-.PHONY: clean
diff --git a/test/monniaux/bitsliced-tea/make.proto b/test/monniaux/bitsliced-tea/make.proto
new file mode 100644
index 00000000..7ddc95d2
--- /dev/null
+++ b/test/monniaux/bitsliced-tea/make.proto
@@ -0,0 +1,2 @@
+objdeps: [{name: bstea_run, compiler: gcc}]
+target: bstea