Cabal install命令给出错误

Question

我无法理解为什么它只是工作。我的问题是我创建了〜/ .bash_profile并尝试添加haskell网页给出的PATH可能出错了。

当我预先形成cabal安装时，我得到了这个输出：

Marcuss-MacBook-Pro:~ marcuslagerstedt$ cabal install
cabal: Error reading local package.
Couldn't find .cabal file in: .
Marcuss-MacBook-Pro:~ marcuslagerstedt$

我希望我做了一个正确的问题。
但我真的需要帮助。

Answer 1

您似乎想要安装特定的包，即agda。命令cabal install采用包的名称或假定您在本地目录中安装某个包。你正在打第二种情况。

安装agda试试：

cabal update
cabal install agda