aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/heapsort
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/heapsort
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/heapsort')
-rw-r--r--test/monniaux/heapsort/Makefile30
-rw-r--r--test/monniaux/heapsort/make.proto2
2 files changed, 2 insertions, 30 deletions
diff --git a/test/monniaux/heapsort/Makefile b/test/monniaux/heapsort/Makefile
deleted file mode 100644
index 74eb1dea..00000000
--- a/test/monniaux/heapsort/Makefile
+++ /dev/null
@@ -1,30 +0,0 @@
-include ../rules.mk
-
-PRODUCTS=heapsort.gcc.host.out heapsort.ccomp.host.out heapsort.gcc.o1.k1c.out heapsort.gcc.k1c.out heapsort.ccomp.k1c.out heapsort.ccomp.k1c.s heapsort.gcc.k1c.s heapsort.gcc.k1c heapsort.ccomp.k1c
-
-all: $(PRODUCTS)
-
-heapsort.gcc.host: heapsort.c heapsort_run.gcc.host.o heapsort.h
- $(CC) $(CFLAGS) heapsort.c heapsort_run.gcc.host.o -o $@
-
-heapsort.ccomp.host: heapsort.c heapsort_run.gcc.host.o heapsort.h
- $(CCOMP) $(CCOMPFLAGS) heapsort.c heapsort_run.gcc.host.o -o $@
-
-heapsort.gcc.k1c.s heapsort.ccomp.k1c.s heapsort_run.gcc.k1c.s: heapsort.h
-
-heapsort.gcc.o1.k1c: heapsort.gcc.o1.k1c.o heapsort_run.gcc.o1.k1c.o
- $(K1C_CC) $(K1C_CFLAGS_O1) $+ -o $@
-
-heapsort.gcc.k1c: heapsort.gcc.k1c.o heapsort_run.gcc.k1c.o
- $(K1C_CC) $(K1C_CFLAGS) $+ -o $@
-
-heapsort.ccomp.k1c: heapsort.ccomp.k1c.o heapsort_run.gcc.k1c.o
- $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@
-
-%.k1c.out: %.k1c
- k1-cluster --cycle-based -- $< | tee $@
-
-clean:
- $(RM) -f $(PRODUCTS) heapsort.gcc.k1c.o heapsort.ccomp.k1c.o heapsort_run.gcc.k1c.o heapsort_run.gcc.k1c.s
-
-.PHONY: clean
diff --git a/test/monniaux/heapsort/make.proto b/test/monniaux/heapsort/make.proto
new file mode 100644
index 00000000..edbf0efd
--- /dev/null
+++ b/test/monniaux/heapsort/make.proto
@@ -0,0 +1,2 @@
+objdeps: [{name: heapsort_run, compiler: gcc}]
+target: heapsort