Enrico Tassi (Jan 17 2022 at 16:03): Enrico Tassi (Jan 17 2022 at 16:03):A while ago I did ask why we do have this thing. The answer was that some tasks (eg refman) was not built by dune directly.
Now the question is: why does this makefile call dune sub-targets instead of just building everything, and then use the installed Coq to do stuff?
Emilio Jesús Gallego Arias (Jan 17 2022 at 16:49):What do you mean by "call dune sub-target"
Emilio Jesús Gallego Arias (Jan 17 2022 at 16:49):Anyways I wouldn't worry too much, likely tomorrow I'll push the PR that removes these files in full actually
Enrico Tassi (Jan 17 2022 at 16:51):If you have time for the build system, please release dune 2.9.2 and unblock 15220.
Emilio Jesús Gallego Arias (Jan 17 2022 at 16:51):??
Last updated: Oct 13 2024 at 01:02 UTC