diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 19:44:51 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 19:44:51 +0100 |
commit | 4645d92db40ecffa7cad4bf71acc93482954e8d7 (patch) | |
tree | 7afd616d91b2d5d72ac18353466b752ba525be17 | |
parent | a7def1212eff65221d2528a27e567235420d7f15 (diff) | |
parent | ab50e8fd5baf3692fd6de00c71cf01f0c9e0ce4b (diff) | |
download | compcert-kvx-4645d92db40ecffa7cad4bf71acc93482954e8d7.tar.gz compcert-kvx-4645d92db40ecffa7cad4bf71acc93482954e8d7.zip |
Merge branch 'mppa_k1c' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-mul
-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 f1f26fe2..09b845e5 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -37,17 +37,17 @@ EXECUTE_CYCLES=k1-cluster --syscall=libstd_scalls.so --cycle-based -- %.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 $(EXECUTE_CYCLES) $< $(EXECUTE_ARGS) |tee $@ |