mirror of
https://github.com/c-cube/iter.git
synced 2025-12-05 19:00:31 -05:00
18 lines
404 B
Makefile
18 lines
404 B
Makefile
|
|
QTEST_PREAMBLE=''
|
|
DONTTEST=../src/iterLabels.ml ../src/mkflags.ml
|
|
QTESTABLE=$(filter-out $(DONTTEST), \
|
|
$(wildcard ../src/*.ml) \
|
|
$(wildcard ../src/*.mli) \
|
|
)
|
|
|
|
qtest-gen:
|
|
@rm run_qtest.ml 2>/dev/null || true
|
|
@if which qtest > /dev/null ; then \
|
|
qtest extract --preamble $(QTEST_PREAMBLE) \
|
|
-o run_qtest.ml \
|
|
$(QTESTABLE) 2> /dev/null ; \
|
|
else touch run_qtest.ml ; \
|
|
fi
|
|
|
|
.PHONY: qtest-gen
|