Cabal 安装命令给出错误

Cabal install command Gives error

我不明白为什么它不起作用。我的问题是我创建了 ~/.bash_profile 并尝试添加 haskell 网页给出的路径。

当我执行 cabal 安装时,我得到以下输出:

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

我希望我做对了问题。
但我也确实需要帮助。

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

要安装 agda,请尝试:

cabal update
cabal install agda