diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-15 21:50:45 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-15 21:50:45 +0100 |
commit | b0e23628f95845591f8ce697784beda13e3cf640 (patch) | |
tree | d5188eb50d94ef2799e9abe69c1e6f144a5640f8 /test/monniaux/float_mat/Makefile | |
parent | 2524079a87d69c8c3574ef1e7bcc4df98b36011c (diff) | |
download | compcert-kvx-b0e23628f95845591f8ce697784beda13e3cf640.tar.gz compcert-kvx-b0e23628f95845591f8ce697784beda13e3cf640.zip |
double matrix multiplication
Diffstat (limited to 'test/monniaux/float_mat/Makefile')
-rw-r--r-- | test/monniaux/float_mat/Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/monniaux/float_mat/Makefile b/test/monniaux/float_mat/Makefile new file mode 100644 index 00000000..0b66010a --- /dev/null +++ b/test/monniaux/float_mat/Makefile @@ -0,0 +1,21 @@ +include ../rules.mk + +PRODUCTS=float_mat.host float_mat.gcc.k1c.out float_mat.ccomp.k1c.out float_mat.ccomp.k1c.s float_mat.gcc.k1c.s float_mat.gcc.k1c float_mat.ccomp.k1c + +all: $(PRODUCTS) + +float_mat.host: float_mat.c float_mat_run.c float_mat.h + $(CC) $(CFLAGS) float_mat.c float_mat_run.c -o $@ + +float_mat.gcc.k1c.s float_mat.ccomp.k1c.s float_mat_run.gcc.k1c.s: float_mat.h + +float_mat.gcc.k1c: float_mat.gcc.k1c.o float_mat_run.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ + +float_mat.ccomp.k1c: float_mat.ccomp.k1c.o float_mat_run.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ + +clean: + $(RM) -f $(PRODUCTS) float_mat.gcc.k1c.o float_mat.ccomp.k1c.o float_mat_run.gcc.k1c.o + +.PHONY: clean |