aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/tacle-bench-powerwindow
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/tacle-bench-powerwindow
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/tacle-bench-powerwindow')
-rw-r--r--test/monniaux/tacle-bench-powerwindow/Makefile48
-rw-r--r--test/monniaux/tacle-bench-powerwindow/make.proto7
2 files changed, 7 insertions, 48 deletions
diff --git a/test/monniaux/tacle-bench-powerwindow/Makefile b/test/monniaux/tacle-bench-powerwindow/Makefile
deleted file mode 100644
index 560a0cf9..00000000
--- a/test/monniaux/tacle-bench-powerwindow/Makefile
+++ /dev/null
@@ -1,48 +0,0 @@
-ALL_CFLAGS = -include kill_pragma.h
-
-CFILES= powerwindow.c powerwindow_PW_Control_DRV.c \
- powerwindow_const_params.c powerwindow_PW_Control_PSG_BackL.c \
- powerwindow_controlexclusion.c powerwindow_PW_Control_PSG_BackR.c \
- powerwindow_debounce.c powerwindow_PW_Control_PSG_Front.c \
- powerwindow_inputs.c wcclib.c \
- powerwindow_powerwindow_control.c
-
-HFILES= kill_pragma.h wcclib.h \
- $(wildcard powerwindow_HeaderFiles/*.h)
-
-K1C_GCC_OFILES=$(CFILES:.c=.gcc.k1c.o)
-K1C_GCC_OFILES_O1=$(CFILES:.c=.gcc.o1.k1c.o)
-K1C_CCOMP_OFILES=$(CFILES:.c=.ccomp.k1c.o)
-K1C_GCC_SFILES=$(CFILES:.c=.gcc.k1c.s)
-K1C_CCOMP_SFILES=$(CFILES:.c=.ccomp.k1c.s)
-
-HOST_GCC_OFILES=$(CFILES:.c=.gcc.host.o)
-HOST_CCOMP_OFILES=$(CFILES:.c=.ccomp.host.o)
-HOST_GCC_SFILES=$(CFILES:.c=.gcc.host.s)
-HOST_CCOMP_SFILES=$(CFILES:.c=.ccomp.host.s)
-
-all: powerwindow.gcc.o1.k1c.out powerwindow.gcc.k1c.out powerwindow.ccomp.k1c.out $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES)
-
-include ../rules.mk
-
-$(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) $(HOST_GCC_SFILES) $(HOST_CCOMP_SFILES) : $(HFILES)
-
-powerwindow.gcc.k1c: $(K1C_GCC_OFILES)
- $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o
-
-powerwindow.gcc.o1.k1c: $(K1C_GCC_OFILES_O1)
- $(K1C_CC) $(K1C_CFLAGS_O1) -o $@ $+ ../clock.gcc.k1c.o
-
-powerwindow.ccomp.k1c: $(K1C_CCOMP_OFILES)
- $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -o $@ $+ ../clock.gcc.k1c.o
-
-powerwindow.gcc.host: $(HOST_GCC_OFILES)
- $(CC) $(CFLAGS) -o $@ $+ ../clock.gcc.host.o
-
-powerwindow.ccomp.host: $(HOST_CCOMP_OFILES)
- $(CCOMP) $(CCOMPFLAGS) -o $@ $+ ../clock.gcc.host.o
-
-.PHONY: clean
-
-clean:
- rm -f *.s *.o *.k1c
diff --git a/test/monniaux/tacle-bench-powerwindow/make.proto b/test/monniaux/tacle-bench-powerwindow/make.proto
new file mode 100644
index 00000000..3d1ad1e5
--- /dev/null
+++ b/test/monniaux/tacle-bench-powerwindow/make.proto
@@ -0,0 +1,7 @@
+intro: "ALL_CFLAGS = -include kill_pragma.h"
+objdeps: [{name: powerwindow_const_params, compiler: both}, {name: powerwindow_controlexclusion, compiler: both},
+ {name: powerwindow_debounce, compiler: both}, {name: powerwindow_inputs, compiler: both},
+ {name: powerwindow_powerwindow_control, compiler: both}, {name: powerwindow_PW_Control_DRV, compiler: both},
+ {name: powerwindow_PW_Control_PSG_BackL, compiler: both}, {name: powerwindow_PW_Control_PSG_BackR, compiler: both},
+ {name: powerwindow_PW_Control_PSG_Front, compiler: both}]
+target: powerwindow