[PPL-devel] ppl/tests/BD_Shape Makefile.am bhz03widening1.cc

[Matthew Mundell]

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.cc?cvsroot=ppl&rev=1.1
> http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.16&r2=1.17

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