Closed nrolland closed 5 years ago
Pin this copy of odoc first:
opam pin add https://github.com/jfeser/odoc.git
There is a handy but slightly obscure feature in opam 2.0 that might help with this called 'pin-depends'. You can use that field to specify packages that need to be pinned upstream automatically, such as odoc in this case.
Very cool looking tool btw! I look forward to trying this on my Mac with odoc and Dash :-)
Is there some module missing ?