Я хочу локально перекомпилировать/переустановить пакет, который уже был загружен через OPAM, но без повторной загрузки.
opam reinstall
, похоже, всегда повторно загружает пакет, и я не вижу возможности его отключить.
Вот несколько причин, по которым может потребоваться выполнить эту локальную переустановку:
- Локальные исходники были изменены, и человек хочет применить изменения без необходимости вручную пересобирать все из исходного исходного кода;
- В настоящее время подключение к Интернету отсутствует или работает медленно/ограничено.