Please bump. The current version of 1.0.2 in the portage is quite outdated.
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!