Stream: Dune devs & users

Topic: ✔ Warning: The native-compiler option is deprecated.


view this post on Zulip Emilio Jesús Gallego Arias (Sep 22 2021 at 11:41):

Hi @MackieLoeffel , to get rid of the warning you can either disable it in your flags declaration, or bump to (using coq 0.3); sorry for the problems

view this post on Zulip MackieLoeffel (Sep 22 2021 at 11:46):

Thanks, I will update to coq 0.3 then.

view this post on Zulip Notification Bot (Sep 22 2021 at 11:53):

MackieLoeffel has marked this topic as resolved.


Last updated: Oct 16 2021 at 09:07 UTC