diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 18:35:19 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 18:35:19 +0200 |
| commit | 2ee99d7583667fece0fd26aadea452c084567f96 (patch) | |
| tree | 0e3eafb995638f869bec659cbf8a9ff263c459da /test/monniaux | |
| parent | 6dfcfbe4e1976088ae98f9a72e213102be63fc54 (diff) | |
| download | compcert-kvx-2ee99d7583667fece0fd26aadea452c084567f96.tar.gz compcert-kvx-2ee99d7583667fece0fd26aadea452c084567f96.zip | |
seems to work
Diffstat (limited to 'test/monniaux')
| -rw-r--r-- | test/monniaux/csmith/Makefile | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index c98baadd..7307d370 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -1,17 +1,18 @@ INCLUDES=-I/usr/include/csmith TARGET_CCOMP=../../../ccomp TARGET_CC=gcc -#EXECUTE=kvx-cluster -- -all: +ifndef EXECUTE +EXECUTE=timeout 2s +endif -.SECONDARY: +CFLAGS += -Wno-incompatible-pointer-types ifndef CSMITH CSMITH=csmith endif -MAX=300 +MAX=30 PREFIX=ran%06.f CCOMPOTS=-static @@ -38,7 +39,7 @@ tests_s: $(TESTS_CCOMP_TARGET_S) $(TARGET_CCOMP) $(INCLUDES) $(CCOMPOPTS) $(CCOMPFLAGS) -S -o $@ $< %.gcc.target.s : %.c - $(TARGET_CC) $(INCLUDES) $(CCOMPOPTS) -S -o $@ $< + $(TARGET_CC) $(INCLUDES) $(CFLAGS) -S -o $@ $< %.gcc.host.s : %.c $(CC) $(INCLUDES) $(CFLAGS) -S -o $@ $< |