Stream: Dune devs & users

Topic: running clightgen with dune


view this post on Zulip Valerii Huhnin (Nov 19 2021 at 18:58):

What is the best way to run clightgen with dune?
Note that I need to run it with multiple files that are currently placed outside of the project root

view this post on Zulip Emilio Jesús Gallego Arias (Nov 19 2021 at 20:52):

Not sure what your context is, if the files are not in a project root, then dune may not know about it

view this post on Zulip Emilio Jesús Gallego Arias (Nov 19 2021 at 20:52):

you can just call it regularly

view this post on Zulip Emilio Jesús Gallego Arias (Nov 19 2021 at 20:52):

I mean, the plain binary


Last updated: Jan 30 2023 at 19:04 UTC