安装本地 Idris 库时出现 Nix 权限错误

Question

我用

安装了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 设置为本地，但 Idris 找不到 Prelude（正如预期的那样，因为我已经告诉它到别处寻找）。
• 使用sudo，但这不仅行不通（它无法识别idris2），而且对于库安装来说似乎也太过分了

Answer 1

在撰写本文时，Idris 2 在 Nixpkgs 中不受支持 properly。一些讨论和实验工作is going on。

Answer 2

如果我使用自制软件安装 Idris 而不是 Nix，则使用

brew install idris2

效果很好。