Macos 在OSX El Capitan上安装Agda？

我正试图按照指示在我的mac上安装Agda

但我遇到了一些问题：

当我在终端窗口中键入

cabal update

时，它会显示

跳过下载：本地和远程文件匹配。

我不确定这是否意味着它工作正常

我找不到我的

.bash\u配置文件

文件，因此我不知道如何更新我的

路径变量

如果我尝试跳过上面的前两个步骤，直接键入

cabal install happy alex

，它会显示以下内容：

Resolving dependencies...
Configuring alex-3.1.7...
Configuring happy-1.19.5...
Building happy-1.19.5...
Building alex-3.1.7...
Failed to install happy-1.19.5
Build log ( /Users/ChiuYenChao/.cabal/logs/happy-1.19.5.log ):
[1 of 1] Compiling Main             ( /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28407/happy-1.19.5/dist/setup/setup.hs, /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28407/happy-1.19.5/dist/setup/Main.o )
Linking /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28407/happy-1.19.5/dist/setup/setup ...
Configuring happy-1.19.5...
Building happy-1.19.5...
Preprocessing executable 'happy' for happy-1.19.5...
<command line>: cannot satisfy -package-id mtl-2.2.1-7fee06b00eebbe3fa92f6d82f0fb6c19
    (use -v for more information)
Failed to install alex-3.1.7
Build log ( /Users/ChiuYenChao/.cabal/logs/alex-3.1.7.log ):
[1 of 1] Compiling Main             ( /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28406/alex-3.1.7/dist/setup/setup.hs, /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28406/alex-3.1.7/dist/setup/Main.o )
Linking /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28406/alex-3.1.7/dist/setup/setup ...
Configuring alex-3.1.7...
Building alex-3.1.7...
Preprocessing executable 'alex' for alex-3.1.7...
<command line>: cannot satisfy -package-id QuickCheck-2.8.1-720f6faecb50e002ef05e66ef82b9675
    (use -v for more information)
cabal: Error: some packages failed to install:
alex-3.1.7 failed during the building phase. The exception was:
ExitFailure 1
happy-1.19.5 failed during the building phase. The exception was:
ExitFailure 1

---

我会尝试用stack构建Agda

使用为OSX下载

stack

运行：

stack setup
stack install Agda

这两个步骤都可能需要一段时间。查看输出以查看堆栈将Agda程序放置在何处-它可能类似于

~/.local/bin

更新

有关$PATH环境变量以及如何设置它的一些说明：

---

我会尝试使用stack构建Agda

使用为OSX下载

stack

运行：

stack setup
stack install Agda

这两个步骤都可能需要一段时间。查看输出以查看堆栈将Agda程序放置在何处-它可能类似于

~/.local/bin

更新

有关$PATH环境变量以及如何设置它的一些说明：

---

在多次失败后，我只需卸载旧版本的Haskell并重新安装，然后该方法运行得很好…

在多次失败后，我只需卸载旧版本的Haskell并重新安装，然后这个方法运行得很好…

您的系统上可能已经有了

happy

和

alex

。你最初是如何安装Haskell的？@ErikR看来你是对的，我可以在我的

bin

文件折叠中找到

happy

和

alex

，但我仍然无法继续

cabal install agra

步骤。另外，升级到OSX El Captain时，我安装了一个名为unsigned的东西。你可能会喜欢。不过，它已经几个月没有更新了。您安装了哪个版本的Haskell平台？我知道这可能不是您想要的，但我建议您尝试删除HP，安装堆栈，然后再试一次-顺便说一句：如果您找不到

.bash\u配置文件

，可能是因为它是隐藏的（当然不是真的，但是你知道终端和其他东西在默认情况下不会显示以

开头的文件），所以你看不到它或者它真的不在那里。在这种情况下，你可以简单地创建它（参见）你的系统上可能已经有了

happy

和

alex

。你最初是如何安装Haskell的？@ErikR似乎你是对的，我可以在我的

bin

文件文件夹中找到

happy

和

alex

的，但我仍然无法继续

cabal install agra

步骤。P.S.我安装了一个名为 未签名的（）当升级到OSX El Captain时。你可能会喜欢。但是，它已经好几个月没有更新了。你安装了哪个版本的Haskell平台？我知道这可能不是你想要的，但我建议你尝试删除HP，安装堆栈，然后再试一次-顺便说一句：如果你找不到

。bash\u profile

它可能是b因为它是隐藏的（当然不是真的，但你知道终端和其他东西在默认情况下不会显示以

开头的文件），所以你看不到它或者它真的不在那里。在这种情况下，你可以简单地创建它（请参阅）我正在尝试

手动下载

，但不知道

$PATH

是什么意思，如何设置它以及如何知道堆栈本身将安装可执行文件的同一目录在哪里？我正在尝试

手动下载

，但不知道

$PATH

是什么意思，如何设置它以及如何知道它在哪里de>堆栈本身将安装可执行文件的同一目录？