Summary: | sci-mathematics/agda-2.2.6 version bump | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Jaak Ristioja <jaak> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | enhancement | CC: | haskell |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Jaak Ristioja
2010-02-08 11:05:33 UTC
Thanks for the note! I am working on it. Best, Markus I've ebuilds for agda-lib and agda ready to go. However, we need to get quickcheck-2 into the main portage tree before I can commit it. @haskell: can we move quickcheck-2 into the main tree? Thanks, Markus (In reply to comment #2) > I've ebuilds for agda-lib and agda ready to go. > However, we need to get quickcheck-2 into the > main portage tree before I can commit it. Meanwhile, could you please post those ebuilds here? I'm in urgent need for them at the moment. Sure, I've posted them here [1]. Agda-lib is the library + emacs part, agda the command line part of it. You'll need quickcheck2 from the haskell overlay to compile. cheers, Markus [1] http://dev.gentoo.org/~markusle/agda/ (In reply to comment #4) > [1] http://dev.gentoo.org/~markusle/agda/ agda-lib-2.2.6-emacs.patch is missing, ebuild fails to compile. (In reply to comment #5) > (In reply to comment #4) > > [1] http://dev.gentoo.org/~markusle/agda/ > > agda-lib-2.2.6-emacs.patch is missing, ebuild fails to compile. > Wait, sorry, my bad - all is there. But it still fails:
>>> Compiling source in /var/tmp/portage/sci-mathematics/agda-lib-2.2.6/work/Agda-2.2.6 ...
* Using cabal-1.8.0.2.
[1 of 1] Compiling Main ( /var/tmp/portage/sci-mathematics/agda-lib-2.2.6/work/Agda-2.2.6/Setup.hs, /var/tmp/portage/sci-mathematics/agda-lib-2.2.6/work/Agda-2.2.6/Setup.o )
Linking setup ...
Configuring Agda-2.2.6...
setup: At least the following dependencies are missing:
base ==4.2.*,
haskeline >=0.3 && <0.7,
process >=1.0.1.0 && <2,
syb ==0.1.*
(In reply to comment #7) > setup: At least the following dependencies are missing: > base ==4.2.*, > haskeline >=0.3 && <0.7, > process >=1.0.1.0 && <2, > syb ==0.1.* Looks like it needs GHC 6.12. (In reply to comment #8) > > Looks like it needs GHC 6.12. > Indeed, thank you very much for pointing this out. In addition to quickcheck2, it looks like we'll also need dev-haskell/haskeline from the overlay in the main tree. cheers, Markus in cvs. thanks! |