Stream: Coq devs & plugin devs

Topic: Makefile.build/common


view this post on Zulip 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?

view this post on Zulip Emilio Jesús Gallego Arias (Jan 17 2022 at 16:49):

What do you mean by "call dune sub-target"

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Emilio Jesús Gallego Arias (Jan 17 2022 at 16:51):

??


Last updated: Feb 05 2023 at 20:03 UTC