Hi Iain. Il 11/12/2010 17:20, Iain Lane ha scritto: > Hiya, > > I've just updated these packages in git and would appreciate a > sponsor.
I'm not sure to have time enough for a complete review, but I can suggest at least a problem: two files[1] seem to be generated during compilation; given that they occupy more than half a MB, I'd consider the option of repackaging. [1] dist/build/Agda/Syntax/Parser/{Lexer,Parser}.hs At least, I'd try to prevent this error: > [21:06] giova...@edelstein:~/packages/sponsor/agda$ git reset --hard > HEAD is now at 7af4fc6 Update changelog > [21:06] giova...@edelstein:~/packages/sponsor/agda$ git-buildpackage -uc -us > test -x debian/rules > dh_testroot > dh_clean > [ ! -x "debian/hlibrary.setup" ] || debian/hlibrary.setup clean > rm -rf dist dist-ghc6 dist-hugs debian/hlibrary.setup Setup.hi Setup.ho > Setup.o .*config* > rm -f build-ghc6-stamp build-hugs-stamp build-haddock-stamp > rm -rf debian/tmp-inst-ghc6 > rm -f debian/hlibrary.Makefile > rm -rf debian/dh_haskell_shlibdeps > gbp:error: You have uncommitted changes in your source tree: > gbp:error: # On branch master-experimental > # Changed but not updated: > # (use "git add/rm <file>..." to update what will be committed) > # (use "git checkout -- <file>..." to discard changes in working directory) > # > # deleted: dist/build/Agda/Syntax/Parser/Lexer.hs > # deleted: dist/build/Agda/Syntax/Parser/Parser.hs > # > no changes added to commit (use "git add" and/or "git commit -a") > > gbp:error: Use --git-ignore-new to ignore. (I know it's easily workaround-able, but I like clean things; the clean target should leave the working tree just as it were just extracted from the tarball) > Note that agda-stdlib depends on agda-bin depends on agda so you'll > need to either arrange to build against the new versions locally or > upload and wait for dinstall/mirror push in sequence. :-) I'll try to build them all as soon as my experimental chroot is ready! :-) Giovanni. -- Giovanni Mascellani <mascell...@poisson.phc.unipi.it> Pisa, Italy Web: http://poisson.phc.unipi.it/~mascellani Jabber: g.mascell...@jabber.org / giova...@elabor.homelinux.org
signature.asc
Description: OpenPGP digital signature