From 0fdfe307defb3af858e0016e9d3d0883524aec20 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 29 Mar 2019 18:37:42 +0100 Subject: rm rules that conflict --- test/monniaux/rules.mk | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'test/monniaux') 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 $@ -- cgit