From 86b2ffe8b0cb7fe971da80793844e19eea901161 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Mon, 13 Sep 2021 18:56:10 +0200
Subject: it now downloads csmith

---
 test/monniaux/csmith/Makefile | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'test')

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
-- 
cgit