diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-20 14:45:49 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-20 14:45:49 +0200 |
commit | ea881bf4002c6a2ee5cafff393ee0c8939d50835 (patch) | |
tree | 43bae0209f93313a7293e40d713d6b626b85fe44 /test | |
parent | 2b990365318a58b18d6def2aa590dd8a91e53e10 (diff) | |
download | compcert-kvx-ea881bf4002c6a2ee5cafff393ee0c8939d50835.tar.gz compcert-kvx-ea881bf4002c6a2ee5cafff393ee0c8939d50835.zip |
separate wget/curl
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/csmith/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index ab7931f1..274b3b84 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -90,7 +90,9 @@ ran%/example.host_target.cmp : ran%/example.gcc.host.out ran%/example.ccomp.targ clean: -rm -rf ran* -csmith/bin/csmith: - curl -L -o csmith-2.3.0.tar.gz https://embed.cs.utah.edu/csmith/csmith-2.3.0.tar.gz +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 WD=`pwd` && cd csmith-2.3.0 && ./configure --prefix=$$WD/csmith && make install |