How can I stop dune from rebuilding the test-suite every time? I had to switch back to the legacy system because I couldn't get incremental builds
don't use dune runtest, instead cd test-suite; make
ignore unit test failures until https://github.com/coq/coq/pull/14625 merged (unit tests don't test anything interesting anyway)
To only run part of the test-suite, when using dune, I modify last line the test-suite/dune
file and add the name of the make-target before the closing double-quotes.
Last updated: Oct 13 2024 at 01:02 UTC