Bug#467563: camlp5 strict mode?

[Stéphane Glondu <glondu@debian.org>]

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