Summary: | sci-mathematics/agda fails to build | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Diego Elio Pettenò (RETIRED) <flameeyes> |
Component: | New packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | haskell |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | Build log |
Description
Diego Elio Pettenò (RETIRED)
2010-12-23 09:59:49 UTC
Created attachment 257839 [details]
Build log
Bumped sci-mathematics/agda to 2.3.0, checked it builds with ghc 7.0.4 and 6.12.3. I am not sure why haskeline was broken due to the missing unix in the original build log, some possibilities: - a problem with the dev-lang/ghc ebuild used at the time. - installing unix in the global ghc package database using cabal or an ebuild. unix should not be installed as its a ghc core library. - upgrading ghc then trying to emerge sci-mathematics/agda without first running haskell-updater |