Agda จะไม่ติดตั้ง [ซ้ำกัน]

ฉันไม่สามารถติดตั้ง Agda บน Mac 10.9.2 แพลตฟอร์ม Haskell 2013.2.0.0 ได้ เมื่อฉันรัน 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
     #-}
      ^