Closed EmileTrotignon closed 10 months ago
Thanks! I'm not too crazy that we have different flags for specifying paths to odocl files, but I suppose the --favoured
will only be used by dune anyway... (I hope we never hit the getconf ARG_MAX
max length for command-line arguments, but I'm guessing we would need >40k paths of favored odocls for that to happen on my system)
Do you mind cleaning a bit the commit history so we can merge? :)
This add an option to choose which package are going to be favoured in the ranking.
For now, there is no way to specifiy no packages, I will change that.