Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 303973 - sci-mathematics/agda-2.2.6 version bump
Summary: sci-mathematics/agda-2.2.6 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Gentoo Science Mathematics related packages
URL: http://wiki.portal.chalmers.se/agda/p...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-02-08 11:05 UTC by Jaak Ristioja
Modified: 2010-09-14 19:54 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Jaak Ristioja 2010-02-08 11:05:33 UTC
Please bump. The current version of 1.0.2 in the portage is quite outdated.
Comment 1 Markus Dittrich (RETIRED) gentoo-dev 2010-02-12 13:45:04 UTC
Thanks for the note! I am working on it.

Best,
Markus
Comment 2 Markus Dittrich (RETIRED) gentoo-dev 2010-02-12 23:27:48 UTC
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
Comment 3 Jaak Ristioja 2010-02-15 11:05:59 UTC
(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.
Comment 4 Markus Dittrich (RETIRED) gentoo-dev 2010-02-19 03:46:53 UTC
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/
Comment 5 Jaak Ristioja 2010-02-19 08:18:01 UTC
(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.
Comment 6 Jaak Ristioja 2010-02-19 08:19:20 UTC
(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.
Comment 7 Jaak Ristioja 2010-02-19 08:22:41 UTC
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.*
Comment 8 Ivan 2010-02-20 10:23:49 UTC
(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. 

Comment 9 Markus Dittrich (RETIRED) gentoo-dev 2010-02-26 03:00:21 UTC
(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
Comment 10 Sébastien Fabbro (RETIRED) gentoo-dev 2010-09-14 19:54:35 UTC
in cvs. thanks!