diff options
| author | Enrico Tassi | 2019-06-19 11:28:56 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-19 11:32:51 +0200 |
| commit | 0976a670cf853c9bc61b3eee6dceae4a429e066f (patch) | |
| tree | d51200b18898ad3ee5849fd7b32cf448375e1ebe | |
| parent | ef41b7ed635902b3819b376f489f04841e1afc72 (diff) | |
[test-suite] support for unit-tests/ide/ tests linking coq.ide
| -rw-r--r-- | test-suite/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index ed4777608a..6949f9c386 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -299,6 +299,11 @@ unit-tests/%.ml.log: unit-tests/%.ml unit-tests/src/$(UNIT_LINK) $(HIDE)$(OCAMLBEST) -linkall -linkpkg -package coq.toplevel,oUnit \ -I unit-tests/src $(UNIT_LINK) $< -o $<.test; $(HIDE)./$<.test +unit-tests/ide/%.ml.log: unit-tests/ide/%.ml unit-tests/src/$(UNIT_LINK) + $(SHOW) 'TEST $<' + $(HIDE)$(OCAMLBEST) -linkall -linkpkg -package coq.ide,oUnit \ + -I unit-tests/src $(UNIT_LINK) $< -o $<.test; + $(HIDE)./$<.test ####################################################################### # Other generic tests |