作者jaiyalas (ZZZ)
看板PLT
標題[問題] 又是和GHC有關的問題 囧>
時間Sat Sep 29 13:20:54 2007
昨天在灌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)
1F：推 godfat:沒灌 ghc 的 zlib package? 09/29 16:37
2F：→ godfat:不然就是版本太舊，改灌上面提到的 0.3 版 09/29 16:37
3F：推 jaiyalas:我就是0.3版,而且重灌好幾次了..都一樣.. 09/29 19:07
4F：→ jaiyalas:ubuntu噴的是readline-1.0找不到,但是我去看ghc-pkg,裡面 09/29 19:07
5F：→ jaiyalas:也是有這個東西..所以我不知道是為啥找不到.. 09/29 19:08
6F：推 godfat:應該不是 zlib 和 readline 本身沒灌吧？ 09/29 19:35