Le 01/03/2012 15:50, Hendrik Tews a écrit : > > ledit, geneweb and coq build without problems with strict camlp5. > > Did you test with the latest version (6.04)? Thanks a lot for your great > work. > > No, I used the current camlp5 package (6.02.3-1), changed it to > strict mode, installed it in a pbuilder environment and built > those packages there.
I've pushed an updated camlp5 (6.04) package to the team's git, that defaults to strict. I've also pushed a fix for ulex0.8, so that both strict and transitional are supported. Matita then builds with no changes in strict mode. Can I proceed and upload camlp5 6.04-1 as it is now, or do you want to give a shot at providing an additional camlp5t package? > What is the preferred way to (test-) build a set of packages that > depend on each other? This is basically what I do these days: 1. cowbuilder --login 2. mkdir /tmp/packages 3. echo "deb file:///tmp/packages /" >> /etc/apt/sources.list 4. make sure deb-src are there in /etc/apt/sources.list 5. ( cd /tmp/packages && dpkg-scanpackages . > Packages ) 6. define the following shell functions: > f () { ( apt-get source $1 && cd $1-* && dch -i "Rebuild" && > /usr/lib/pbuilder/pbuilder-satisfydepends && debuild -us -uc ) } > g () { for u in "$@"; do f $u || return $?; done } 7. apt-get update 8. cd /tmp 9. build all packages in the same topological level (see [1]) using function g, starting from the lowest level 10. dcmd mv *.changes packages 11. if there are packages in a higher level, go to 7 I have an even messier procedure for rebuilding all ocaml packages (especially to tune the version number and to parallelize). [1] http://release.debian.org/transitions/html/ocaml.html > And how would one find out the complete set of packages that > depend on camlp5? I use build-rdeps, but it is not recursive hence incomplete. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org