Hi there, after a few days of full-time work and with the help of Abramo we have a development monitoring system called tinderbox2 (http://www.mozilla.org/projects/tinderbox/) basically up and running at http://www.cs.unipr.it/~tinderbox/ This now monitors only the HEAD branch of the PPL and takes advantage of two build machines: igor.cs.unipr.it runs the production builds (i.e., where --enable-coefficients is the only option that is used in the configuration); gandalf.cs.unipr.it runs the maximum-debugging builds (i.e., with the options --enable-assertions, --enable-more-assertions and --disable-optimization are used in addition to --enable-coefficients). For the time being, they only test the versions with mpz_class and checked-int32 coefficients, but they will also test int8, int16 and int64. In addition, I plan to use sandbox.cs.unipr.it to conduct, once every night, a complete documentation build and a test with maximum optimizations for the PentiumPro CPU family. And crystal.cs.unipr.it, once every night, will test maximum optimizations for the AMD Athlon CPU. Please, familiarize with the system and report to me any problems you may observe. Notice, e.g., that, if you go quickly at the URL above and click on "PPL-HEAD" you will see that the builds of cint32 on igor were broken until around 10 this morning and that afterwards one of my patches fixed it. Notice also that clicking on "panel" is a quick way to check if any of the builds is broken or not: if you do this now, you will see that all the 4 builds are green, so everything is OK. Enjoy and try not to break the builds :-) Ciao, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it