diff options
Diffstat (limited to 'test/monniaux/quest/Makefile')
-rw-r--r-- | test/monniaux/quest/Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/monniaux/quest/Makefile b/test/monniaux/quest/Makefile new file mode 100644 index 00000000..ef0b7db8 --- /dev/null +++ b/test/monniaux/quest/Makefile @@ -0,0 +1,24 @@ +# install Quest using: opam install quest +MAX=300 + +include ../rules.mk + +QUEST=quest +KVX_CCOMPFLAGS += -fstruct-passing -fbitfields + +PREFIX=ran%06.f +TARGETS_C=$(shell seq --format $(PREFIX).c 0 $(MAX)) +TARGETS_OUT=$(shell seq --format $(PREFIX).ccomp.kvx.out 0 $(MAX)) + +all: $(TARGETS_C) $(TARGETS_OUT) + +ran%.c : + $(QUEST) -seed $* -test ansi > $@ + +%.ccomp.kvx : %.ccomp.kvx.s + $(KVX_CCOMP) $(KVX_CCOMPFLAGS) $+ -o $@ + +clean: + -rm -f $(TARGETS_C) $(TARGETS_OUT) + +.PHONY: all clean |