Agda不会安装

Question

我无法在Mac 10.9.2，Haskell平台2013.2.0.0上安装Agda。当我运行cabal安装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提交错误报告。