diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-21 17:03:24 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-21 17:03:24 +0100 |
commit | bdaa3eb0ad6486186519ba1ba574e8ac92505cf0 (patch) | |
tree | 317a87bfe26b092294e24e1e2c38199e1a7cc54d /test/mppa/instr/Makefile | |
parent | b873e06abcee1c7f6a51aaabb973b550a52a5b61 (diff) | |
download | compcert-kvx-bdaa3eb0ad6486186519ba1ba574e8ac92505cf0.tar.gz compcert-kvx-bdaa3eb0ad6486186519ba1ba574e8ac92505cf0.zip |
Mise à jour vis à vis de CompCert 3.4
Diffstat (limited to 'test/mppa/instr/Makefile')
-rw-r--r-- | test/mppa/instr/Makefile | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/test/mppa/instr/Makefile b/test/mppa/instr/Makefile index 89ff9a73..34b5e9ec 100644 --- a/test/mppa/instr/Makefile +++ b/test/mppa/instr/Makefile @@ -3,7 +3,7 @@ CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 SIMU ?= k1-cluster -TIMEOUT ?= 10s +TIMEOUT ?= --signal=SIGTERM 20s DIR=./ SRCDIR=$(DIR) @@ -37,7 +37,7 @@ BIN=$(addprefix $(BINDIR)/,$(addsuffix .x86-gcc.bin,$(TESTNAMES)))\ all: $(BIN) -.PHONY: +.PHONY: test: $(X86_GCC_OUT) $(GCC_OUT) @echo "Comparing x86 gcc output to k1 gcc.." @for test in $(TESTNAMES); do\ @@ -70,6 +70,20 @@ check: $(GCC_OUT) $(CCOMP_OUT) .SECONDARY: # Generating output +## Version sans les timeout +#$(OUTDIR)/%.x86-gcc.out: $(BINDIR)/%.x86-gcc.bin +# @mkdir -p $(@D) +# ./$< > $@; echo $$? >> $@ +# +#$(OUTDIR)/%.gcc.out: $(BINDIR)/%.gcc.bin $(SIMUPATH) +# @mkdir -p $(@D) +# $(SIMU) -- $< > $@ ; echo $$? >> $@ +# +#$(OUTDIR)/%.ccomp.out: $(BINDIR)/%.ccomp.bin $(SIMUPATH) +# @mkdir -p $(@D) +# $(SIMU) -- $< > $@ ; echo $$? >> $@ + +## Version avec timeout $(OUTDIR)/%.x86-gcc.out: $(BINDIR)/%.x86-gcc.bin @mkdir -p $(@D) ret=0; timeout $(TIMEOUT) ./$< > $@ || { ret=$$?; }; echo $$ret >> $@ |