Agda不会安装

Question

我无法在Mac 10.9.2，Haskell platform 2013.2.0.0上安装Agda。当我运行cabal install Agda时，我得到了这个。

39 warnings and 1 error generated.
Failed to install Agda-2.3.2.2
Updating documentation index /Users/me/Library/Haskell/doc/index.html
cabal: Error: some packages failed to install:
Agda-2.3.2.2 failed during the building phase. The exception was:  
ExitFailure 1

有什么建议吗？

编辑:在按照建议尝试了cabal-unpack等命令后，cabal-build给出了这个错误：

src/full/Agda/Interaction/BasicOps.hs:3:4:
     error: invalid preprocessing directive
     #-}
      ^

Answer 1

如果您只是想让它启动并运行，只需将#-}移到上面一行的末尾...然后进行通常的cabal构建，cabal安装。我这里没有mac，所以我不能自己测试它，但我相信预处理器指令需要放在行的开头。这只是一块创可贴，可能存在于其他文件中。

当然，长期的解决方案是向Agda提交错误报告。