diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 20:29:57 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 20:29:57 +0100 |
| commit | 34595a9b0a2a4f7314a894294b8a9f92baa497c2 (patch) | |
| tree | f409f86e9982ca52a2ae77772561b1a5afa443ed /test/monniaux/Makefile | |
| parent | f4c2e3fb9c012685c1ecd4ee24ff838619238fe2 (diff) | |
| download | compcert-kvx-34595a9b0a2a4f7314a894294b8a9f92baa497c2.tar.gz compcert-kvx-34595a9b0a2a4f7314a894294b8a9f92baa497c2.zip | |
so that we can compare gcc and ccomp .s
Diffstat (limited to 'test/monniaux/Makefile')
| -rw-r--r-- | test/monniaux/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index 91644c2f..6dc4cf61 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -4,15 +4,18 @@ K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int -PRODUCTS=int_mat.host int_mat.k1c int_mat.k1c_ccomp int_mat.k1c_ccomp.s +PRODUCTS=int_mat.host int_mat.k1c int_mat.k1c_ccomp int_mat.k1c_ccomp.s int_mat.k1c.s all: $(PRODUCTS) 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 int_mat_run.k1c.o modint.h - $(K1C_CC) $(K1C_CFLAGS) int_mat.c int_mat_run.k1c.o -o $@ +int_mat.k1c.s: int_mat.c modint.h + $(K1C_CC) $(K1C_CFLAGS) -S int_mat.c -o $@ + +int_mat.k1c: int_mat.k1c.s int_mat_run.k1c.o modint.h + $(K1C_CC) $(K1C_CFLAGS) int_mat.k1c.s int_mat_run.k1c.o -o $@ int_mat_run.k1c.o: int_mat_run.c modint.h $(K1C_CC) $(K1C_CFLAGS) -c int_mat_run.c -o $@ |