I want to locally recompile/reinstall a package that has already been downloaded via OPAM, but without downloading it again.
opam reinstall
seems to always re-download the package, and I see no option to disable it.
Here are a few reasons one might want to perform this local re-installation:
- The local sources have been modified, and the person wants to apply the modifications, without having to manually rebuild everything from the original source code;
- There is currently no Internet connection, or it is slow/capped.