mirror of
https://github.com/c-cube/iter.git
synced 2025-12-06 11:15:32 -05:00
fix(qtest): force re-generation of qtest_run.ml
This commit is contained in:
parent
de7290d8e4
commit
8ba5e09f8f
2 changed files with 5 additions and 2 deletions
|
|
@ -7,9 +7,12 @@ QTESTABLE=$(filter-out $(DONTTEST), \
|
|||
)
|
||||
|
||||
qtest-gen:
|
||||
@rm run_qtest.ml || true
|
||||
@if which qtest > /dev/null ; then \
|
||||
qtest extract --preamble $(QTEST_PREAMBLE) \
|
||||
-o run_qtest.ml \
|
||||
$(QTESTABLE) 2> /dev/null ; \
|
||||
else touch qtest/run_qtest.ml ; \
|
||||
else touch run_qtest.ml ; \
|
||||
fi
|
||||
|
||||
.PHONY: qtest-gen
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
|
||||
(rule
|
||||
((targets (run_qtest.ml))
|
||||
(deps ((file Makefile) )) ; (glob_files ../src/**/*.ml{,i})))
|
||||
(deps ((file Makefile) (files_recursively_in ../src))) ; (glob_files ../src/**/*.ml{,i})))
|
||||
(fallback)
|
||||
;(libraries (qtest qcheck))
|
||||
(action
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue