diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:37:42 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:37:42 +0100 |
| commit | 0fdfe307defb3af858e0016e9d3d0883524aec20 (patch) | |
| tree | 0733faf256418f0b56da9e49aa08ed5540a9b04f | |
| parent | c0558ea2fd66679eeca136b41c4378ebebb9b3a0 (diff) | |
| download | compcert-kvx-0fdfe307defb3af858e0016e9d3d0883524aec20.tar.gz compcert-kvx-0fdfe307defb3af858e0016e9d3d0883524aec20.zip | |
rm rules that conflict
| -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 eec216bd..c8412479 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -35,17 +35,17 @@ EXECUTE=k1-cluster --syscall=libstd_scalls.so -- %.ccomp.k1c.o: %.ccomp.k1c.s $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@ -%.gcc.k1c : %.gcc.k1c.o - $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ +# %.gcc.k1c : %.gcc.k1c.o +# $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ -%.ccomp.k1c : %.ccomp.k1c.o - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ +# %.ccomp.k1c : %.ccomp.k1c.o +# $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ -%.gcc.host : %.gcc.host.o - $(CC) $(CFLAGS) $+ -o $@ +# %.gcc.host : %.gcc.host.o +# $(CC) $(CFLAGS) $+ -o $@ -%.ccomp.host : %.ccomp.host.o - $(CCOMP) $(CCOMPFLAGS) $+ -o $@ +# %.ccomp.host : %.ccomp.host.o +# $(CCOMP) $(CCOMPFLAGS) $+ -o $@ %.k1c.out : %.k1c k1-cluster --cycle-based -- $< |tee $@ |