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/interop | |
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/interop')
-rw-r--r-- | test/mppa/interop/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
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) |