Возможно ли переместить корень OPAM?Или, чтобы создать «портативную» (в смысле, например, «firefox portable») версию корня OPAM?
То есть установить пакет через opam --root=/PATH/TO/A
, а затем переместить /PATH/TO/A
в/ANOTHER/PATH/TO/B
и запустите все оттуда.
Наивная попытка привела к небольшой ошибке в "opam config env", где старый путь проскользнул.Кроме того, некоторые файлы конфигурации (findlib, global-config) должны были быть скорректированы.После исправления некоторые вещи сработали, но «utop» завершился неудачно с
Fatal error: exception Not_found
Это принципиальная проблема или переносимый рут OPAM просто вопрос установки правильных переменных средыпосле переезда?