Stream: Coq users

Topic: dune: How to have unit tests

view this post on Zulip Li-yao (Jul 21 2020 at 22:45):

Say I have some Coq files in a subdirectory test/, how to tell dune to make sure they build, but not to include them as part of the library?

view this post on Zulip Karl Palmskog (Jul 21 2020 at 22:46):

this is a question best asked in the Dune stream, but see for example:

Last updated: Jun 18 2024 at 08:01 UTC