aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/tacle-bench-powerwindow/Makefile
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-08 13:33:45 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-08 13:33:45 +0200
commit2f065ddf184e1a712bc9165cb2b4f5b40b2bba33 (patch)
tree4f9277b59e1a6a02f5a3becec3a3aee88e10be82 /test/monniaux/tacle-bench-powerwindow/Makefile
parent51c6f11b6f2afcc0ba0394a65f22e12e4a5f8404 (diff)
downloadcompcert-kvx-2f065ddf184e1a712bc9165cb2b4f5b40b2bba33.tar.gz
compcert-kvx-2f065ddf184e1a712bc9165cb2b4f5b40b2bba33.zip
powerwindow from tacle-bench
Diffstat (limited to 'test/monniaux/tacle-bench-powerwindow/Makefile')
-rw-r--r--test/monniaux/tacle-bench-powerwindow/Makefile44
1 files changed, 44 insertions, 0 deletions
diff --git a/test/monniaux/tacle-bench-powerwindow/Makefile b/test/monniaux/tacle-bench-powerwindow/Makefile
new file mode 100644
index 00000000..a739417e
--- /dev/null
+++ b/test/monniaux/tacle-bench-powerwindow/Makefile
@@ -0,0 +1,44 @@
+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_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.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.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