diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 19:18:05 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 19:18:05 +0200 |
| commit | 124cd837a591df308221f236810c7f66847b1abe (patch) | |
| tree | 91d286e8f5da30abf0007cc6530d5c92d10b0e04 /test | |
| parent | 32c90e36e4018a5a49a0a45e2e98a9c94c0d185d (diff) | |
| download | compcert-kvx-124cd837a591df308221f236810c7f66847b1abe.tar.gz compcert-kvx-124cd837a591df308221f236810c7f66847b1abe.zip | |
target cc
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/csmith/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index e6475fa2..f4b0d68a 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -4,7 +4,10 @@ all: INCLUDES=-I csmith/include/csmith-2.3.0/ TARGET_CCOMP=../../../ccomp + +ifndef TARGET_CC TARGET_CC=kvx-cos-gcc +endif ifndef EXECUTE EXECUTE=timeout 10s kvx-cluster -- @@ -21,7 +24,7 @@ MAX=10000 PREFIX=ran%06.f CCOMPOTS=-static -CCOMPFLAGS+= -fstruct-passing -fbitfields -fno-cse2 -stdlib ../../../runtime +CCOMPFLAGS+= -fstruct-passing -fbitfields -fno-cse2 -fno-cse -fno-cse3 -stdlib ../../../runtime TESTS_C=$(shell seq --format $(PREFIX)/source.c 1 $(MAX)) |