diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-08 13:33:45 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-08 13:33:45 +0200 |
commit | 2f065ddf184e1a712bc9165cb2b4f5b40b2bba33 (patch) | |
tree | 4f9277b59e1a6a02f5a3becec3a3aee88e10be82 /test/monniaux/tacle-bench-powerwindow/Makefile | |
parent | 51c6f11b6f2afcc0ba0394a65f22e12e4a5f8404 (diff) | |
download | compcert-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/Makefile | 44 |
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 |