[PPL-devel] ppl-1.1pre3 make check failed
simpleisbest411 at yahoo.co.jp
simpleisbest411 at yahoo.co.jp
Thu Nov 1 07:33:56 CET 2012
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 at 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
More information about the PPL-devel
mailing list