Closed mjambon closed 4 years ago
Originally requested by @ygrek (https://github.com/mjambon/dune-deps/issues/5).
This may help declutter graphs and should be straightforward to add. The idea would be to add one command-line option to omit external libraries and another option to omit executables.
Added options --no-exe and --no-ext. Will be in release 1.2.0.
--no-exe
--no-ext
Originally requested by @ygrek (https://github.com/mjambon/dune-deps/issues/5).
This may help declutter graphs and should be straightforward to add. The idea would be to add one command-line option to omit external libraries and another option to omit executables.