From 54660295442d0608fa0b56659dd3b17f34ffbc70 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 22 Mar 2019 22:36:51 +0100
Subject: for testing with quest

---
 test/monniaux/quest/Makefile | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 test/monniaux/quest/Makefile

(limited to 'test/monniaux/quest')

diff --git a/test/monniaux/quest/Makefile b/test/monniaux/quest/Makefile
new file mode 100644
index 00000000..c049238b
--- /dev/null
+++ b/test/monniaux/quest/Makefile
@@ -0,0 +1,24 @@
+# install Quest using: opam install quest
+MAX=300
+
+include ../rules.mk
+
+QUEST=quest
+K1C_CCOMPFLAGS += -fstruct-passing -fbitfields
+
+PREFIX=ran%06.f
+TARGETS_C=$(shell seq --format $(PREFIX).c 0 $(MAX))
+TARGETS_OUT=$(shell seq --format $(PREFIX).ccomp.k1c.out 0 $(MAX))
+
+all:	$(TARGETS_C) $(TARGETS_OUT)
+
+ran%.c :
+	$(QUEST) -seed $* -test ansi > $@
+
+%.ccomp.k1c : %.ccomp.k1c.s
+	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@
+
+clean:
+	-rm -f $(TARGETS_C) $(TARGETS_OUT)
+
+.PHONY: all clean
-- 
cgit