diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-14 15:07:32 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-14 15:07:32 +0100 |
| commit | 03f2891a533dccbd8e4b5ba58a734fee79f1dd06 (patch) | |
| tree | c7d5cdd690e2c8ae14571fcf33eae5995e179ee9 /test/monniaux/complex | |
| parent | 097b85b91be59734a62f8d38abea74c35c483e5d (diff) | |
| download | compcert-kvx-03f2891a533dccbd8e4b5ba58a734fee79f1dd06.tar.gz compcert-kvx-03f2891a533dccbd8e4b5ba58a734fee79f1dd06.zip | |
le Makefile passe
Diffstat (limited to 'test/monniaux/complex')
| -rw-r--r-- | test/monniaux/complex/Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/test/monniaux/complex/Makefile b/test/monniaux/complex/Makefile index c92f5211..b0dca135 100644 --- a/test/monniaux/complex/Makefile +++ b/test/monniaux/complex/Makefile @@ -8,8 +8,17 @@ all: $(PRODUCTS) complex_mat.gcc.host.s complex_mat.ccomp.host.s complex_mat.gcc.k1c.s complex_mat.ccomp.k1c.s : ../clock.h -complex_mat.gcc.host complex_mat.ccomp.host : ../clock.gcc.host.o -complex_mat.gcc.k1c complex_mat.ccomp.k1c : ../clock.gcc.k1c.o +complex_mat.ccomp.host: complex_mat.ccomp.host.o ../clock.gcc.host.o + $(CCOMP) $(CCOMPFLAGS) $+ -o $@ + +complex_mat.gcc.host: complex_mat.gcc.host.o ../clock.gcc.host.o + $(CC) $(CFLAGS) $+ -o $@ + +complex_mat.gcc.k1c: complex_mat.gcc.k1c.o ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ + +complex_mat.ccomp.k1c: complex_mat.ccomp.k1c.o ../clock.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ clean: -rm -f *.o *.s *.k1c |