diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-08 16:24:48 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-08 16:24:48 +0100 |
| commit | 4a3a66fca16b2094ff9c3f27fcaf0a70983663c3 (patch) | |
| tree | ec8c8044f5da5f597faad8f76f5f12e43b583456 /test | |
| parent | 4206ca72bb9abf32949e4d31983762e46ef114ad (diff) | |
| download | compcert-kvx-4a3a66fca16b2094ff9c3f27fcaf0a70983663c3.tar.gz compcert-kvx-4a3a66fca16b2094ff9c3f27fcaf0a70983663c3.zip | |
disable useless warnings
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/BearSSL/conf/KalrayCompCert.mk | 2 | ||||
| -rw-r--r-- | test/monniaux/idea/Makefile | 2 | ||||
| -rw-r--r-- | test/monniaux/jpeg-6b/Makefile | 2 | ||||
| -rw-r--r-- | test/monniaux/tiny-AES-c/Makefile | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/BearSSL/conf/KalrayCompCert.mk b/test/monniaux/BearSSL/conf/KalrayCompCert.mk index 917fc947..e2bef9d8 100644 --- a/test/monniaux/BearSSL/conf/KalrayCompCert.mk +++ b/test/monniaux/BearSSL/conf/KalrayCompCert.mk @@ -39,7 +39,7 @@ MKDIR = mkdir -p # C compiler and flags. CC = ../../../ccomp -fstruct-passing GCC=k1-mbr-gcc -CFLAGS = -W -Wall -O3 -D_POSIX_C_SOURCE=200909L +CFLAGS = -W -Wall -Wno-c11-extensions -O3 -D_POSIX_C_SOURCE=200909L CCOUT = -c -o # Static library building tool. diff --git a/test/monniaux/idea/Makefile b/test/monniaux/idea/Makefile index 75b7ce43..4637a3a4 100644 --- a/test/monniaux/idea/Makefile +++ b/test/monniaux/idea/Makefile @@ -8,7 +8,7 @@ idea.gcc.host: idea.c idea.h ../clock.gcc.host.o $(CC) $(CFLAGS) idea.c ../clock.gcc.host.o -o $@ idea.ccomp.host: idea.c idea.h ../clock.gcc.host.o - $(CCOMP) $(CFLAGS) idea.c ../clock.gcc.host.o -o $@ + $(CCOMP) $(CCOMPFLAGS) idea.c ../clock.gcc.host.o -o $@ idea.gcc.k1c.s idea.ccomp.k1c.s idea_run.gcc.k1c.s: idea.h diff --git a/test/monniaux/jpeg-6b/Makefile b/test/monniaux/jpeg-6b/Makefile index a7911678..4ddba98c 100644 --- a/test/monniaux/jpeg-6b/Makefile +++ b/test/monniaux/jpeg-6b/Makefile @@ -10,7 +10,7 @@ CC= ../../../ccomp EXECUTE=k1-cluster --syscall=libstd_scalls.so -- # You may need to adjust these cc options: -CFLAGS= -O3 -Wall +CFLAGS= -O3 -Wall -Wno-c11-extensions # Generally, we recommend defining any configuration symbols in jconfig.h, # NOT via -D switches here. # However, any special defines for ansi2knr.c may be included here: diff --git a/test/monniaux/tiny-AES-c/Makefile b/test/monniaux/tiny-AES-c/Makefile index c369e40f..e9d821b3 100644 --- a/test/monniaux/tiny-AES-c/Makefile +++ b/test/monniaux/tiny-AES-c/Makefile @@ -5,7 +5,7 @@ CC = ../../../ccomp LD = ../../../ccomp AR = ar ARFLAGS = rcs -CFLAGS = -Wall -O3 -c +CFLAGS = -Wall -Wno-c11-extensions -O3 -c LDFLAGS = -Wall -O3 # -Wl,-Map,test.map ifdef AES192 CFLAGS += -DAES192=1 |