- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(polyops): Version number bumped.
by Roberto Bagnara 01 Jan '13

01 Jan '13

Module: ppl/ppl Branch: polyops Commit: decf66d46f09f5c235936294409c4400f599d8bf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=decf66d46f09… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 22 09:51:10 2012 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index bc1b7da..a79495d 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre5], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre6], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(polyops): GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits.
by Roberto Bagnara 01 Jan '13

01 Jan '13

Module: ppl/ppl Branch: polyops Commit: 9f843aecc23981aec6ed1eaa8be06e6786a47f0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f843aecc239… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 19 08:42:19 2012 +0100 GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits. --- src/mp_std_bits.cc | 6 ++++++ src/mp_std_bits_defs.hh | 6 ++++++ 2 files changed, 12 insertions(+), 0 deletions(-) diff --git a/src/mp_std_bits.cc b/src/mp_std_bits.cc index c8da535..918b9af 100644 --- a/src/mp_std_bits.cc +++ b/src/mp_std_bits.cc @@ -25,6 +25,9 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" #include "mp_std_bits_defs.hh" +#if __GNU_MP_VERSION < 5 \ + || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) + const bool std::numeric_limits<mpz_class>::is_specialized; const int std::numeric_limits<mpz_class>::digits; const int std::numeric_limits<mpz_class>::digits10; @@ -70,3 +73,6 @@ const bool std::numeric_limits<mpq_class>::is_modulo; const bool std::numeric_limits<mpq_class>::traps; const bool std::numeric_limits<mpq_class>::tininess_before; const std::float_round_style std::numeric_limits<mpq_class>::round_style; + +#endif // __GNU_MP_VERSION < 5 + // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) diff --git a/src/mp_std_bits_defs.hh b/src/mp_std_bits_defs.hh index f71595a..0d078ec 100644 --- a/src/mp_std_bits_defs.hh +++ b/src/mp_std_bits_defs.hh @@ -38,6 +38,9 @@ void swap(mpz_class& x, mpz_class& y); #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) void swap(mpq_class& x, mpq_class& y); +#if __GNU_MP_VERSION < 5 \ + || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) + namespace std { #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS @@ -164,6 +167,9 @@ public: } // namespace std +#endif // __GNU_MP_VERSION < 5 + // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) + #include "mp_std_bits_inlines.hh" #endif // !defined(PPL_mp_std_bits_defs_hh)

1 0

[GIT] ppl/ppl(master): Extended copyright years.
by Roberto Bagnara 01 Jan '13

01 Jan '13

1 0

Duplicate code between ppl-1.0 and gmp-5.1.0
by Алексей Павлов 26 Dec '12

26 Dec '12

Hi! New gmp-5.1.0 conflicting with ppl-1.0. When I try to build ppl-1.0 I got errors: libtool: compile: i686-w64-mingw32-g++ -DHAVE_CONFIG_H -I. -I../../../mingw-sources/ppl-1.0/src -I.. -I.. -I../../../mingw-sources/ppl-1.0/src -I/temp/mingw-prereq/i686-w64-mingw32-static/include -g -O2 -frounding-math -march=nocona -mtune=nocona -O2 -pipe -fomit-frame-pointer -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c ../../../mingw-sources/ppl-1.0/src/assert.cc -o assert.o In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:30:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Coefficient.types.hh:16, from ../../../mingw-sources/ppl-1.0/src/Coefficient.defs.hh:27, from ../../../mingw-sources/ppl-1.0/src/Box.defs.hh:29, from ../../../mingw-sources/ppl-1.0/src/Box.cc:25: ../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:29:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Coefficient.types.hh:16, from ../../../mingw-sources/ppl-1.0/src/Coefficient.defs.hh:27, from ../../../mingw-sources/ppl-1.0/src/Box.defs.hh:29, from ../../../mingw-sources/ppl-1.0/src/Box.cc:25: C:/gccbuild/msys/temp/mingw-prereq/i686-w64-mingw32-static/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:30:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Coefficient.types.hh:16, from ../../../mingw-sources/ppl-1.0/src/Coefficient.defs.hh:27, from ../../../mingw-sources/ppl-1.0/src/Box.defs.hh:29, from ../../../mingw-sources/ppl-1.0/src/Box.cc:25: ../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:29:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Coefficient.types.hh:16, from ../../../mingw-sources/ppl-1.0/src/Coefficient.defs.hh:27, from ../../../mingw-sources/ppl-1.0/src/Box.defs.hh:29, from ../../../mingw-sources/ppl-1.0/src/Box.cc:25: C:/gccbuild/msys/temp/mingw-prereq/i686-w64-mingw32-static/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:30:0, from ../../../mingw-sources/ppl-1.0/src/checked.cc:25: ../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:29:0, from ../../../mingw-sources/ppl-1.0/src/checked.cc:25: C:/gccbuild/msys/temp/mingw-prereq/i686-w64-mingw32-static/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:30:0, from ../../../mingw-sources/ppl-1.0/src/checked.cc:25: ../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:29:0, from ../../../mingw-sources/ppl-1.0/src/checked.cc:25: C:/gccbuild/msys/temp/mingw-prereq/i686-w64-mingw32-static/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >' mv -f .deps/assert.Tpo .deps/assert.Plo /bin/sh ../libtool --tag=CXX --mode=compile i686-w64-mingw32-g++ -DHAVE_CONFIG_H -I. -I../../../mingw-sources/ppl-1.0/src -I.. -I.. -I../../../mingw-sources/ppl-1.0/src -I/temp/mingw-prereq/i686-w64-mingw32-static/include -g -O2 -frounding-math -march=nocona -mtune=nocona -O2 -pipe -fomit-frame-pointer -W -Wall -MT Checked_Number.lo -MD -MP -MF .deps/Checked_Number.Tpo -c -o Checked_Number.lo ../../../mingw-sources/ppl-1.0/src/Checked_Number.cc make[3]: *** [checked.lo] Error 1 make[3]: *** Waiting for unfinished jobs.... libtool: compile: i686-w64-mingw32-g++ -DHAVE_CONFIG_H -I. -I../../../mingw-sources/ppl-1.0/src -I.. -I.. -I../../../mingw-sources/ppl-1.0/src -I/temp/mingw-prereq/i686-w64-mingw32-static/include -g -O2 -frounding-math -march=nocona -mtune=nocona -O2 -pipe -fomit-frame-pointer -W -Wall -MT Checked_Number.lo -MD -MP -MF .deps/Checked_Number.Tpo -c ../../../mingw-sources/ppl-1.0/src/Checked_Number.cc -o Checked_Number.o make[3]: *** [Box.lo] Error 1 In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:30:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.cc:25: ../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:29:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.cc:25: C:/gccbuild/msys/temp/mingw-prereq/i686-w64-mingw32-static/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:30:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.cc:25: ../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >' In file included from ../../../mingw-sources/ppl-1.0/src/checked.defs.hh:29:0, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.defs.hh:28, from ../../../mingw-sources/ppl-1.0/src/Checked_Number.cc:25: C:/gccbuild/msys/temp/mingw-prereq/i686-w64-mingw32-static/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >' make[3]: *** [Checked_Number.lo] Error 1 make[3]: Leaving directory `/temp/prereq-build/x32-ppl-1.0-static/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/temp/prereq-build/x32-ppl-1.0-static/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/temp/prereq-build/x32-ppl-1.0-static' make: *** [all] Error 2 I resolve this by remove duplicate code from src/mp_std_bits.defs.hh and src/mp_std_bits.cc

3 2

ppl-1.1pre3 make check failed
by simpleisbest411＠yahoo.co.jp 25 Dec '12

25 Dec '12

Hi, I'm having problems checking ppl-1.1pre3 on a cygwin1.7.17-1 and Win7 Pro. 64bit enviroment, please check this log error: $ make -j8 check Making check in . make[1]: Entering directory `/usr/local/src/ppl-1.1pre3' make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3' Making check in utils make[1]: Entering directory `/usr/local/src/ppl-1.1pre3/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3/utils' Making check in src make[1]: Entering directory `/usr/local/src/ppl-1.1pre3/src' make check-am make[2]: Entering directory `/usr/local/src/ppl-1.1pre3/src' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/usr/local/src/ppl-1.1pre3/src' make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3/src' Making check in tests make[1]: Entering directory `/usr/local/src/ppl-1.1pre3/tests' Making check in . make[2]: Entering directory `/usr/local/src/ppl-1.1pre3/tests' make libppl_tests.a make[3]: Entering directory `/usr/local/src/ppl-1.1pre3/tests' g++ -DHAVE_CONFIG_H -I. -I.. -I../src -I../src -I/usr/local/include -g -O2 -frounding-math -W -Wall -MT files.o -MD -MP -MF .deps/files.Tpo -c -o files.o files.cc g++ -DHAVE_CONFIG_H -I. -I.. -I../src -I../src -I/usr/local/include -g -O2 -frounding-math -W -Wall -MT ppl_test.o -MD -MP -MF .deps/ppl_test.Tpo -c -o ppl_test.o ppl_test.cc mv -f .deps/files.Tpo .deps/files.Po mv -f .deps/ppl_test.Tpo .deps/ppl_test.Po rm -f libppl_tests.a ar cru libppl_tests.a files.o ppl_test.o ranlib libppl_tests.a make[3]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests' make[2]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests' Making check in Concrete_Expression make[2]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[3]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[3]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[3]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[3]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' MAKE="make" ./run_tests **************************** float/IEEE754_SINGLE **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[5]: `C_Expr.exe' is up to date. make[5]: `linearform1.exe' is up to date. make[5]: `linearize.exe' is up to date. make[5]: `digitalfilters1.exe' is up to date. make[5]: `bdshape1.exe' is up to date. make[5]: `bdshape2.exe' is up to date. make[5]: `octagonalshape1.exe' is up to date. make[5]: `octagonalshape2.exe' is up to date. make[5]: `polyhedron1.exe' is up to date. make[5]: `polyhedron2.exe' is up to date. make[5]: Nothing to be done for `run_tests'. make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** float/IEEE754_DOUBLE **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** float/IEEE754_QUAD **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** double/IEEE754_DOUBLE **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** double/IEEE754_QUAD **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe PASS: polyhedron1.exe PASS: polyhedron2.exe =================== All 10 tests passed =================== make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' test -z "run_tests.stamp" || rm -f run_tests.stamp rm -rf .libs _libs rm -f *.o rm -f C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe rm -f *.lo rm -f C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' **************************** long_double/IEEE754_QUAD **************************** make[4]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make C_Expr.exe linearform1.exe linearize.exe digitalfilters1.exe bdshape1.exe bdshape2.exe octagonalshape1.exe octagonalshape2.exe polyhedron1.exe polyhedron2.exe \ run_tests make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc mv -f .deps/linearform1.Tpo .deps/linearform1.Po g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/usr/local/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc make[5]: Nothing to be done for `run_tests'. mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr.exe C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1.exe linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize.exe linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1.exe bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1.exe octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2.exe octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2.exe bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1.exe polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2.exe polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/usr/local/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1.exe digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dll.a -L/usr/local/lib /usr/local/lib/libgmpxx.dll.a /usr/lib/gcc/i686-pc-cygwin/4.5.3/libstdc++.dll.a /usr/local/lib/libgmp.dll.a -L/usr/local/lib -L/usr/lib/gcc/i686-pc-cygwin/4.5.3 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make check-TESTS make[5]: Entering directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' PASS: C_Expr.exe PASS: linearform1.exe PASS: linearize.exe PASS: digitalfilters1.exe PASS: bdshape1.exe PASS: bdshape2.exe PASS: octagonalshape1.exe PASS: octagonalshape2.exe tests failed: test04 test05 FAIL: polyhedron1.exe tests failed: test04 test05 FAIL: polyhedron2.exe ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[5]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[4]: *** [check-am] Error 2 make[4]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[3]: *** [run_tests.stamp] Error 1 make[3]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[2]: *** [check-am] Error 2 make[2]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests/Concrete_Expression' make[1]: *** [check-recursive] Error 1 make[1]: Leaving directory `/usr/local/src/ppl-1.1pre3/tests' make: *** [check-recursive] Error 1 regards, Shin

2 3

Re: [PPL-devel] Conflicting with ppl-1.0
by Roberto Bagnara 22 Dec '12

22 Dec '12

On 12/22/12 09:27, Marc Glisse wrote: > On Sat, 22 Dec 2012, Алексей Павлов wrote: > >> Hi! >> New gmp-5.1.0 conflicting with ppl-1.0. When I try to build ppl-1.0 I got >> errors: > [...] >> ../../../mingw-sources/ppl-1.0/src/mp_std_bits.defs.hh:47:7: error: >> redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], >> __mpz_struct [1]> >' > > Hello, > > did you post that to the PPL mailing-list? This is something for them to fix. Yes, it was fixed almost immediately after the release of GMP 5.1.0: http://www.cs.unipr.it/pipermail/ppl-devel/2012-December/018574.html Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

2 1

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 22 Dec '12

22 Dec '12

Module: ppl/ppl Branch: master Commit: decf66d46f09f5c235936294409c4400f599d8bf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=decf66d46f09… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 22 09:51:10 2012 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index bc1b7da..a79495d 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre5], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre6], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

Fwd: Re: Bug report and interface generation questions
by Roberto Bagnara 19 Dec '12

19 Dec '12

-------- Original Message -------- Subject: Re: [PPL-devel] Bug report and interface generation questions Date: Tue, 18 Dec 2012 10:30:33 +0100 From: lei ma <malei.2005(a)gmail.com> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Dear Roberto Bagnara Thank you for the quick reply. I have put the log file into the attachment. Thank you very much. Looking forward to your reply. --

1 1

[GIT] ppl/ppl(master): GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits.
by Roberto Bagnara 19 Dec '12

19 Dec '12

Module: ppl/ppl Branch: master Commit: 9f843aecc23981aec6ed1eaa8be06e6786a47f0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f843aecc239… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 19 08:42:19 2012 +0100 GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits. --- src/mp_std_bits.cc | 6 ++++++ src/mp_std_bits_defs.hh | 6 ++++++ 2 files changed, 12 insertions(+), 0 deletions(-) diff --git a/src/mp_std_bits.cc b/src/mp_std_bits.cc index c8da535..918b9af 100644 --- a/src/mp_std_bits.cc +++ b/src/mp_std_bits.cc @@ -25,6 +25,9 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" #include "mp_std_bits_defs.hh" +#if __GNU_MP_VERSION < 5 \ + || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) + const bool std::numeric_limits<mpz_class>::is_specialized; const int std::numeric_limits<mpz_class>::digits; const int std::numeric_limits<mpz_class>::digits10; @@ -70,3 +73,6 @@ const bool std::numeric_limits<mpq_class>::is_modulo; const bool std::numeric_limits<mpq_class>::traps; const bool std::numeric_limits<mpq_class>::tininess_before; const std::float_round_style std::numeric_limits<mpq_class>::round_style; + +#endif // __GNU_MP_VERSION < 5 + // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) diff --git a/src/mp_std_bits_defs.hh b/src/mp_std_bits_defs.hh index f71595a..0d078ec 100644 --- a/src/mp_std_bits_defs.hh +++ b/src/mp_std_bits_defs.hh @@ -38,6 +38,9 @@ void swap(mpz_class& x, mpz_class& y); #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) void swap(mpq_class& x, mpq_class& y); +#if __GNU_MP_VERSION < 5 \ + || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) + namespace std { #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS @@ -164,6 +167,9 @@ public: } // namespace std +#endif // __GNU_MP_VERSION < 5 + // || (__GNU_MP_VERSION == 5 && __GNU_MP_VERSION_MINOR < 1) + #include "mp_std_bits_inlines.hh" #endif // !defined(PPL_mp_std_bits_defs_hh)

1 0

Bug report and interface generation questions
by lei ma 18 Dec '12

18 Dec '12

Dear sir or madam This is ma lei from the university of tokyo. Recently, I am studying the Numerical abstract domain, and I would like to try PPL and study on it. I encounter 2 problems. The first one is that I encounter a bug problem during "make check". I am using mac os. I will paste the bug report at the end of the email. The second problem is that I can not find the Generated java and ocaml interface as you have described in the manual. Could you please help me what's going on ? I first install GMP, with --enable-cxx option as you required. ../configure --with-cxx='/usr/bin/g++' --with-cc='/usr/bin/gcc' --prefix='/Users/malei/PPL_Install/ppl-1.0/build/install_target' --with-gmp='/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64' --enable-interfaces=cxx,java,ocaml --with-java='/usr/bin' Or could you please briefly show me how to generate the Java or Ocaml interfaces? Thank you very much. The make check I have encountered are shown as follows: *************************** long_double/IEEE754_QUAD **************************** make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \ run_tests g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc In file included from ../../tests/ppl_test.hh:27, from C_Expr.cc:25: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr C_Expr.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc In file included from ../../tests/ppl_test.hh:27, from linearform1.cc:24: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/linearform1.Tpo .deps/linearform1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1 linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1 linearform1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc In file included from ../../tests/ppl_test.hh:27, from linearize.cc:24: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/linearize.Tpo .deps/linearize.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize linearize.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc In file included from ../../tests/ppl_test.hh:27, from digitalfilters1.cc:24: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1 digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1 digitalfilters1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc In file included from ../../tests/ppl_test.hh:27, from bdshape1.cc:24: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1 bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1 bdshape1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc In file included from ../../tests/ppl_test.hh:27, from bdshape2.cc:24: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2 bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2 bdshape2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc In file included from ../../tests/ppl_test.hh:27, from octagonalshape1.cc:24: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1 octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1 octagonalshape1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc In file included from ../../tests/ppl_test.hh:27, from octagonalshape2.cc:25: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2 octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2 octagonalshape2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc In file included from ../../tests/ppl_test.hh:27, from polyhedron1.cc:24: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1 polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1 polyhedron1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc In file included from ../../tests/ppl_test.hh:27, from polyhedron2.cc:26: ../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS" mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po /bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2 polyhedron2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib make[5]: Nothing to be done for `run_tests'. make check-TESTS PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== make[5]: *** [check-TESTS] Error 1 make[4]: *** [check-am] Error 2 make[3]: *** [run_tests.stamp] Error 1 make[2]: *** [check-am] Error 2 make[1]: *** [check-recursive] Error -- Sincerely Yours Ma Lei ************************************ ************************************ 東京大学大学院　工学系研究科　電気系工学専攻 Dept. of Electrical Engineering and Information Systems, Graduate school of Engineering, The University of Tokyo 佐藤周行研究室　博士課程1年 Sato laboratory, PHD 1st year 馬雷(Ma Lei) Tel: 080-4207-2391 E-Mail:malei@satolab.itc.u-tokyo.ac.jp

2 1