Valerii Huhnin (Nov 19 2021 at 18:58): 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
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
Emilio Jesús Gallego Arias (Nov 19 2021 at 20:52):you can just call it regularly
Emilio Jesús Gallego Arias (Nov 19 2021 at 20:52):I mean, the plain binary
Last updated: Apr 18 2024 at 17:02 UTC