Stream: Coq devs & plugin devs

Topic: Bumping dune version


view this post on Zulip Emilio Jesús Gallego Arias (Dec 08 2021 at 16:59):

Hi folks, this is a warning that we will bump the minimal required dune version for a full dev dune build to 2.9.2 soon

view this post on Zulip Jason Gross (Dec 08 2021 at 17:13):

What does "full dev build" mean? (Will make world still work fine with dune 2.7.0?)

view this post on Zulip Théo Zimmermann (Dec 08 2021 at 17:35):

Full dev build is the build method using Dune for vo files, as opposed to the "hybrid" / legacy one.

view this post on Zulip Théo Zimmermann (Dec 08 2021 at 17:36):

I.e., the one relying on Makefile.dune as opposed to Makefile.make

view this post on Zulip Enrico Tassi (Dec 08 2021 at 20:28):

Did you manage to get the deps right? That would be awesome!


Last updated: Feb 06 2023 at 19:03 UTC