coq/test-suite/coq-makefile/emptyprefix, branch master The formal proof system Porting the test-suite to coqpp. 2018-10-19T14:24:46+00:00 Pierre-Marie Pédrot 2018-10-19T14:21:22+00:00 266050f7aaa0ee0b090b30b1acabaccda6919889 






coq_makefile: Support "" as the prefix in _CoqProject
2018-02-15T09:21:31+00:00

Joachim Breitner

2018-02-12T15:32:01+00:00

00dfe2be53ddc84836e095f0a20a0efdebc87f50

This fixes #6350 (and even comes with a test case).

Refering to other directories as `-R … ""` is maybe not best practice,
but some people out there do it, so as long as it does not cause too
much trouble, we can continue to support it.





This fixes #6350 (and even comes with a test case).

Refering to other directories as `-R … ""` is maybe not best practice,
but some people out there do it, so as long as it does not cause too
much trouble, we can continue to support it.