Блог

Главная - Вопросы по программированию - Ошибка разрешения Nix при установке локальной библиотеки Idris

Ошибка разрешения Nix при установке локальной библиотеки Idris

#idris #nix

Вопрос:

Я установил Idris2 v0.4.0 с

 $ nix-env -i idris2

и это прекрасно работает. Я могу запустить REPL и ввести «проверьте мою программу», но у меня возникли трудности с установкой локальной библиотеки Idris. Я получаю

 $ idris2 --install foo.ipkg
...
Uncaught error: INTERNAL ERROR: Can't make directory /nix/store/...-idris2-0.4.0/idris2-0.4.0/foo-0.0.1
Permission Denied

Я предполагаю, что это связано с тем, что у Idris нет разрешения на установку /nix .

Что я пробовал

  • установите IDRIS2_PREFIX , чтобы оно было локальным, но тогда Идрис не может найти Прелюдию (как и ожидалось, так как я сказал ему искать в другом месте).
  • использование sudo , но это не только не работает (он не распознает idris2 ), но и кажется огромным излишеством для установки библиотеки

Ответ №1:

На момент написания статьи Idris 2 не поддерживается должным образом в Nixpkgs. Идет некоторое обсуждение и экспериментальная работа.

Ответ №2:

Если я использую homebrew для установки Idris, а не Nix, с

 brew install idris2

это прекрасно работает.

Метки: