diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 20:20:25 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 20:20:25 +0100 |
commit | f9a0dd579dc72b09c4ebb036df0b59891412163d (patch) | |
tree | 6cd0b20ea7868eaffc92c34594ff54f9532094b5 /test/monniaux/Makefile | |
parent | d366e22b0c8665ab73d162cf8db98b91b2e4314e (diff) | |
download | compcert-kvx-f9a0dd579dc72b09c4ebb036df0b59891412163d.tar.gz compcert-kvx-f9a0dd579dc72b09c4ebb036df0b59891412163d.zip |
for testing postpass
Diffstat (limited to 'test/monniaux/Makefile')
-rw-r--r-- | test/monniaux/Makefile | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index 26fd90d7..91644c2f 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -4,20 +4,26 @@ K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int -EXECUTABLES=int_mat.host int_mat.k1c int_mat.k1c_ccomp +PRODUCTS=int_mat.host int_mat.k1c int_mat.k1c_ccomp int_mat.k1c_ccomp.s -all: $(EXECUTABLES) +all: $(PRODUCTS) -int_mat.host: int_mat.c - $(CC) $(CFLAGS) $+ -o $@ +int_mat.host: int_mat.c int_mat_run.c modint.h + $(CC) $(CFLAGS) int_mat.c int_mat_run.c -o $@ -int_mat.k1c: int_mat.c - $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ +int_mat.k1c: int_mat.c int_mat_run.k1c.o modint.h + $(K1C_CC) $(K1C_CFLAGS) int_mat.c int_mat_run.k1c.o -o $@ -int_mat.k1c_ccomp: int_mat.c - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ +int_mat_run.k1c.o: int_mat_run.c modint.h + $(K1C_CC) $(K1C_CFLAGS) -c int_mat_run.c -o $@ + +int_mat.k1c_ccomp.s: int_mat.c modint.h + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -S int_mat.c -o $@ + +int_mat.k1c_ccomp: int_mat.k1c_ccomp.s int_mat_run.k1c.o modint.h + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) int_mat.k1c_ccomp.s int_mat_run.k1c.o -o $@ clean: - $(RM) -f $(EXECUTABLES) + $(RM) -f $(PRODUCTS) .PHONY: clean |