aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/complex
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-14 15:07:32 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-14 15:07:32 +0100
commit03f2891a533dccbd8e4b5ba58a734fee79f1dd06 (patch)
treec7d5cdd690e2c8ae14571fcf33eae5995e179ee9 /test/monniaux/complex
parent097b85b91be59734a62f8d38abea74c35c483e5d (diff)
downloadcompcert-kvx-03f2891a533dccbd8e4b5ba58a734fee79f1dd06.tar.gz
compcert-kvx-03f2891a533dccbd8e4b5ba58a734fee79f1dd06.zip
le Makefile passe
Diffstat (limited to 'test/monniaux/complex')
-rw-r--r--test/monniaux/complex/Makefile13
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