Agda tidak dapat menginstal [duplikat]

Saya tidak bisa menginstal Agda di Mac 10.9.2, platform Haskell 2013.2.0.0. Ketika saya menjalankan komplotan rahasia menginstal Agda, saya mendapatkan ini.

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

Ada tip?

EDIT: Setelah mencoba cabal-unpack dll seperti yang disarankan, cabal-build memberikan kesalahan ini:

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