diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-30 17:31:11 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-30 17:31:11 +0100 |
| commit | 79a2dac7e5317e515ce9610db1d48d0fc9ff0708 (patch) | |
| tree | fe280055b9f4697ae9f1f61398d43b041b229fc7 /test/mppa | |
| parent | 30e8e1618e59bdb585b1fb36cddce41eefe12364 (diff) | |
| download | compcert-kvx-79a2dac7e5317e515ce9610db1d48d0fc9ff0708.tar.gz compcert-kvx-79a2dac7e5317e515ce9610db1d48d0fc9ff0708.zip | |
Finished implementation of va_arg + testing done
Diffstat (limited to 'test/mppa')
| -rw-r--r-- | test/mppa/instr/Makefile | 2 | ||||
| -rw-r--r-- | test/mppa/interop/Makefile | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/mppa/instr/Makefile b/test/mppa/instr/Makefile index 27449e88..9d1fbb5f 100644 --- a/test/mppa/instr/Makefile +++ b/test/mppa/instr/Makefile @@ -3,7 +3,7 @@ CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 SIMU ?= k1-mppa -TIMEOUT ?= --signal=SIGTERM 20s +TIMEOUT ?= --signal=SIGTERM 60s DIR=./ SRCDIR=$(DIR) diff --git a/test/mppa/interop/Makefile b/test/mppa/interop/Makefile index f4dc259e..78271a4e 100644 --- a/test/mppa/interop/Makefile +++ b/test/mppa/interop/Makefile @@ -3,7 +3,7 @@ CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 -Wno-varargs SIMU ?= k1-mppa -TIMEOUT ?= --signal=SIGTERM 40s +TIMEOUT ?= --signal=SIGTERM 80s DIR=./ SRCDIR=$(DIR) @@ -212,7 +212,7 @@ $(BINDIR)/%.gcc.bin: $(OBJDIR)/%.gcc.o $(OBJDIR)/$(COMMON).gcc.o $(K1CCPATH) $(BINDIR)/%.gcc.rev.bin: $(OBJDIR)/%.gcc.o $(OBJDIR)/$(COMMON).ccomp.o $(K1CCPATH) @mkdir -p $(@D) - $(K1CC) $(CFLAGS) $(wordlist 1,2,$^) -o $@ + $(CCOMP) $(CFLAGS) $(wordlist 1,2,$^) -o $@ $(BINDIR)/%.ccomp.bin: $(OBJDIR)/%.ccomp.o $(OBJDIR)/$(COMMON).gcc.o $(CCOMPPATH) @mkdir -p $(@D) @@ -230,7 +230,7 @@ $(BINDIR)/%.gcc.vaarg.bin: $(OBJDIR)/%.gcc.o $(OBJDIR)/$(VAARG_COMMON).gcc.o $(K $(BINDIR)/%.gcc.rev.vaarg.bin: $(OBJDIR)/%.gcc.o $(OBJDIR)/$(VAARG_COMMON).ccomp.o $(K1CCPATH) @mkdir -p $(@D) - $(K1CC) $(CFLAGS) $(wordlist 1,2,$^) -o $@ + $(CCOMP) $(CFLAGS) $(wordlist 1,2,$^) -o $@ $(BINDIR)/%.ccomp.vaarg.bin: $(OBJDIR)/%.ccomp.o $(OBJDIR)/$(VAARG_COMMON).gcc.o $(CCOMPPATH) @mkdir -p $(@D) |