diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-21 09:09:08 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-21 09:09:08 +0200 |
commit | 04e9f9fef81b6adb9d7088496612b3f7aab99843 (patch) | |
tree | eeb891db9fea774ba37f4dbba96a85836e446a9a /test/monniaux/csmith/Makefile | |
parent | ee73aa4d40ac7b57f54321cdec8a8f70633edc81 (diff) | |
parent | 683591ec8d60ed4d44b97d0f9f6870ec84ab07a6 (diff) | |
download | compcert-kvx-04e9f9fef81b6adb9d7088496612b3f7aab99843.tar.gz compcert-kvx-04e9f9fef81b6adb9d7088496612b3f7aab99843.zip |
Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into csmith
Diffstat (limited to 'test/monniaux/csmith/Makefile')
-rw-r--r-- | test/monniaux/csmith/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 1f32dccb..5a1d3843 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -18,7 +18,7 @@ CFLAGS += -Wno-incompatible-pointer-types ifndef CSMITH CSMITH=csmith/bin/csmith endif -CSMITHOPT=--max-funcs 10 +CSMITHOPT=--max-funcs 10 --no-unions MAX=500 PREFIX=ran%06.f @@ -91,7 +91,7 @@ clean: -rm -rf ran* csmith-2.3.0.tar.gz: - curl -L -O $@ https://embed.cs.utah.edu/csmith/csmith-2.3.0.tar.gz + curl -L -o $@ https://embed.cs.utah.edu/csmith/csmith-2.3.0.tar.gz csmith/bin/csmith: csmith-2.3.0.tar.gz tar xfz csmith-2.3.0.tar.gz |