作者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