diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-07 15:17:27 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-07 15:17:27 +0100 |
| commit | 323c06990fffb1b3e68cc0abff2d9e095484bc61 (patch) | |
| tree | 1e55d372fb4d0e04a82d1596644b9d529a7a996b /test/monniaux/rules.mk | |
| parent | 97d9c43afd95badeca39a3a5f1ec6d6018e560eb (diff) | |
| download | compcert-kvx-323c06990fffb1b3e68cc0abff2d9e095484bc61.tar.gz compcert-kvx-323c06990fffb1b3e68cc0abff2d9e095484bc61.zip | |
fix rules
Diffstat (limited to 'test/monniaux/rules.mk')
| -rw-r--r-- | test/monniaux/rules.mk | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 19a11c5f..a83a9b2e 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -8,12 +8,18 @@ K1C_CCOMPFLAGS=-O3 -Wall -fno-unprototyped EXECUTE=k1-cluster --syscall=libstd_scalls.so -- -%.host.gcc.o : %.c +%.gcc.host.o : %.gcc.host.s $(CC) $(CFLAGS) -c -o $@ $< -%.host.ccomp.o : %.c +%.ccomp.host.o : %.ccomp.host.s $(CCOMP) $(CCOMPFLAGS) -c -o $@ $< +%.gcc.host.s : %.c + $(CC) $(CFLAGS) -S -o $@ $< + +%.ccomp.host.s : %.c + $(CCOMP) $(CCOMPFLAGS) -S -o $@ $< + %.gcc.k1c.s: %.c $(K1C_CC) $(K1C_CFLAGS) -S $< -o $@ @@ -26,12 +32,6 @@ EXECUTE=k1-cluster --syscall=libstd_scalls.so -- %.ccomp.k1c.o: %.ccomp.k1c.s $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@ -%.gcc.host.o: %.c - $(CC) $(CFLAGS) -c $< -o $@ - -%.ccomp.host.o: %.c - $(CCOMP) $(CCOMPFLAGS) -c $< -o $@ - %.k1c.out : %.k1c k1-cluster --cycle-based -- $< |tee $@ |