[問題] 又是和GHC有關的問題 囧>

[jaiyalas (ZZZ)]

昨天在灌agda的時候..
(沒錯,我要拋棄epigram轉向agda啦~)

需要的lib什麼的都灌好了
可是在最後要build agda的時候
丟出了我看不懂的東西:
src\\full/TypeChecking/Serialise.hs:37:17:
    Could not find module `Codec.Compression.GZip':
        it is a member of package zlib-0.3, which is hidden

後來不信邪
跑去ubuntu上試了一下
結果也是類似的問題
不過找不到的module不是同一個..

可以告訴我要怎樣可以找到那些module嗎??
謝謝~

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.132.126.239
※ 編輯: jaiyalas        來自: 220.132.126.239      (09/29 13:21)
推 godfat:沒灌 ghc 的 zlib package?
→ godfat:不然就是版本太舊，改灌上面提到的 0.3 版
推 jaiyalas:我就是0.3版,而且重灌好幾次了..都一樣..
→ jaiyalas:ubuntu噴的是readline-1.0找不到,但是我去看ghc-pkg,裡面
→ jaiyalas:也是有這個東西..所以我不知道是為啥找不到..
推 godfat:應該不是 zlib 和 readline 本身沒灌吧？