From e83ce9dcea07aa3d070bfe7268776987be00c95d Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Mon, 13 Sep 2021 15:57:52 +0200
Subject: bump ocaml version

---
 test/monniaux/csmith/Makefile     |  2 +-
 test/monniaux/csmith/Makefile.old | 23 +++++++++++++++++++++++
 2 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 test/monniaux/csmith/Makefile.old

(limited to 'test/monniaux')

diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile
index ab1c36b1..c98baadd 100644
--- a/test/monniaux/csmith/Makefile
+++ b/test/monniaux/csmith/Makefile
@@ -11,7 +11,7 @@ ifndef CSMITH
 CSMITH=csmith
 endif
 
-MAX=10
+MAX=300
 PREFIX=ran%06.f
 
 CCOMPOTS=-static
diff --git a/test/monniaux/csmith/Makefile.old b/test/monniaux/csmith/Makefile.old
new file mode 100644
index 00000000..56313452
--- /dev/null
+++ b/test/monniaux/csmith/Makefile.old
@@ -0,0 +1,23 @@
+CSMITH?=/local/monniaux/packages/csmith-2.3.0/bin/csmith
+MAX=1000
+
+include ../rules.mk
+KVX_CCOMPFLAGS+=-I/local/monniaux/packages/csmith-2.3.0/include/csmith-2.3.0 -fstruct-passing -fbitfields
+
+TARGETS_S=$(shell seq --format src%06.f.ccomp.kvx.s 0 $(MAX))
+TARGETS_C=$(shell seq --format src%06.f.c 0 $(MAX))
+TARGETS_O=$(shell seq --format src%06.f.ccomp.kvx.o 0 $(MAX))
+
+all: c s o
+
+s: $(TARGETS_S)
+c: $(TARGETS_C)
+o: $(TARGETS_O)
+
+src%.c :
+	$(CSMITH) --output $@ --seed $*
+
+clean:
+	-rm -f $(TARGETS_C) $(TARGETS_S) $(TARGETS_O)
+
+.PHONY: s c o clean
-- 
cgit