diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 18:56:10 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-13 18:56:10 +0200 |
| commit | 86b2ffe8b0cb7fe971da80793844e19eea901161 (patch) | |
| tree | 87416ec41aff26a713ddcf3dbe13bf29b467078e /test | |
| parent | 2ee99d7583667fece0fd26aadea452c084567f96 (diff) | |
| download | compcert-kvx-86b2ffe8b0cb7fe971da80793844e19eea901161.tar.gz compcert-kvx-86b2ffe8b0cb7fe971da80793844e19eea901161.zip | |
it now downloads csmith
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/csmith/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 7307d370..e7c9a8ac 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -1,4 +1,4 @@ -INCLUDES=-I/usr/include/csmith +INCLUDES=-I csmith/include/csmith-2.3.0/ TARGET_CCOMP=../../../ccomp TARGET_CC=gcc @@ -9,7 +9,7 @@ endif CFLAGS += -Wno-incompatible-pointer-types ifndef CSMITH -CSMITH=csmith +CSMITH=csmith/bin/csmith endif MAX=30 @@ -31,6 +31,8 @@ TESTS_CMP=$(shell seq --format $(PREFIX)/example.target.cmp 1 $(MAX)) # $(shell all: $(TESTS_CCOMP_TARGET_OUT) $(TESTS_GCC_TARGET_OUT) $(TESTS_CCOMP_TARGET_S) $(TESTS_GCC_TARGET_S) $(TESTS_CMP) $(TESTS_C) +$(TESTS_C): $(CSMITH) + tests_c: $(TESTS_C) tests_s: $(TESTS_CCOMP_TARGET_S) @@ -79,3 +81,8 @@ 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 + tar xfz csmith-2.3.0.tar.gz + WD=`pwd` && cd csmith-2.3.0 && ./configure --prefix=$$WD/csmith && make install |