I have an Athlon64 X2 and I'd like to test "agda", but it is masked only for "~x86": $ emerge -pv agda These are the packages that would be merged, in order: Calculating dependencies... done! !!! All ebuilds that could satisfy "sci-mathematics/agda" have been masked. !!! One of the following masked packages is required to complete your request: - sci-mathematics/agda-1.0.2-r1 (masked by: missing keyword) - sci-mathematics/agda-1.0.2 (masked by: missing keyword) For more information, see the MASKED PACKAGES section in the emerge man page or refer to the Gentoo Handbook. Can this be unmasked?
Does it compile for you on amd64? It fails on my opteron with ... ghc -fglasgow-exts -cpp -O -odir out -hidir out -package lang --make -DSANTA='""' -DGANDALF='""' -o emacsagda emacsagda.hs ghc-6.8.2: unknown package: lang ... even though I am not sure if this is amd64 specific or a general problem with the ebuild. Since I don't know anything about haskell maybe somebody from the haskell herd can comment and suggest a fix. Thanks, Markus
AFAIK 'lang' package is part of ghc since 6.6 and is not needed since then. Removing references to it allows it to continue compiling: # sed -i -e "s:-package lang::g" src/BasicOps_Properties.hs src/checker.hs src/Makefile.in src/Syntax/makefile Although I get more errors: [20 of 81] Compiling Lex ( Lex.hs, out/Lex.o ) Lex.hs:310:34: lexical error in string/character literal (UTF-8 decoding error) make[1]: *** [agdachecker] Error 1
(In reply to comment #2) > Although I get more errors: > > [20 of 81] Compiling Lex ( Lex.hs, out/Lex.o ) > > Lex.hs:310:34: > lexical error in string/character literal (UTF-8 decoding error) > make[1]: *** [agdachecker] Error 1 > Yeah, we'll probably have to fix a few things to get it to compile. I'll try to have a look at it but if somebody with more (aka any) haskell experience would like to give it a shot please post here and go right ahead ;) Thanks, Markus
I've added the amd64 keyword and (hopefully) fixed all compile issues. Unfortunately, I had to disable building of the html docs for now since the makefile is pretty broken in this regard. Hopefully, I can fix this at some point in the future and then re-enable building of the docs. Thanks, Markus
According to Agdas homepage, our version is outdated. http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.Download Surely you'd like version 2.x instead? Feel free to send a patch to the darcs repos http://haskell.org/~gentoo/gentoo-haskell/, or we'll get to it shortly.
(In reply to comment #5) > According to Agdas homepage, our version is outdated. > http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.Download > I know, but unfortunately I haven't had the time to bump it :( > Surely you'd like version 2.x instead? > Feel free to send a patch to the darcs repos > http://haskell.org/~gentoo/gentoo-haskell/, or we'll get to it shortly. > Thanks for pointing me to the repository which looks very useful. Could you tell me a little bit more about it, like who maintains it and the like. It looks like adga has been split into a library and front end ebuild. Any reason for this? Thanks much, Markus
(In reply to comment #6) > Thanks for pointing me to the repository which looks very useful. > Could you tell me a little bit more about it, like who maintains > it and the like. It looks like adga has been split into a library > and front end ebuild. Any reason for this? You can use layman if you'd like to use the overlay. It requires darcs, or the overlay will not be visible in layman. It's an official Gentoo overlay, which a few more devs and myself is maintaining. You can find us in #gentoo-haskell on freenode where we coordinate our work. I don't know why the Agda ebuild is split into two, as they use the same source tarball and share the build procedure.
