Я хочу локально перекомпилировать/переустановить пакет, который уже был загружен через OPAM, но не загружал его снова.OPAM: как локально переустановить пакет без повторной загрузки?
opam reinstall
Кажется, что он всегда перезагружает пакет, и я не вижу возможности отключить его.
Вот несколько причин, одна, возможно, захотите выполнить эту локальную переустановку:
- местные источники были изменены, и человек хочет применить изменения, без необходимости вручную восстановить все из исходный код;
- В настоящее время нет подключения к Интернету, или он медленный/ограниченный.
В manpage упоминается переменная среды OPAMCURL - предположительно, вы можете использовать ее для определения замены завитка, используемой для загрузки пакетов. Вы считали, что используете это? (путем установки его в фиктивный сценарий, который просто «извлекает» локальные источники, а не загружает их) –