Hi Enea

Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : bhz03widening1.cc

Log message: Added a new test for the first implementation of a certificate-based widening on a powerset of BD_Shape's.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhz03widening1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif...

This also adds bgp99extrapolation1 to Makefile.am, so I think bgp99extrapolation1.cc must be added, at least for `make dist'.

[...] make[1]: Entering directory `/mnt/hda5/src/libppl--clean/tests' list='. BD_Shape Polyhedron'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "/mnt/hda5/src/libppl--clean/ppl-0.8pre6/tests/$subdir" \ || mkdir -p -- "/mnt/hda5/src/libppl--clean/ppl-0.8pre6/tests/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /mnt/hda5/src/libppl--clean/ppl-0.8pre6/tests && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /mnt/hda5/src/libppl--clean/ppl-0.8pre6 && pwd`; \ (cd $subdir && \ make \ top_distdir="$top_distdir" \ distdir="$distdir/$subdir" \ distdir) \ || exit 1; \ fi; \ done make[2]: Entering directory `/mnt/hda5/src/libppl--clean/tests/BD_Shape' make[2]: *** No rule to make target `bgp99extrapolation1.cc', needed by `distdir'. Stop. make[2]: Leaving directory `/mnt/hda5/src/libppl--clean/tests/BD_Shape' make[1]: *** [distdir] Error 1 make[1]: Leaving directory `/mnt/hda5/src/libppl--clean/tests' make: *** [distdir] Error 1

Compilation exited abnormally with code 2 at Mon Oct 3 12:40:29