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] giovanni@edelstein:~/packages/sponsor/agda$ git reset --hard
> HEAD is now at 7af4fc6 Update changelog
> [21:06] giovanni@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 <mascellani@poisson.phc.unipi.it>
Pisa, Italy
Web: http://poisson.phc.unipi.it/~mascellani
Jabber: g.mascellani@jabber.org / giovanni@elabor.homelinux.org
Attachment:
signature.asc
Description: OpenPGP digital signature