[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Please sponsor agda{,-bin,-stdlib} into experimental

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 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

Reply to: