[PPL-devel] make check error on OS X
Brad
b.mells at outwild.net
Sat Nov 3 21:24:36 CET 2012
Hello,
The attached file logs certain errors that occurred during make check. I
am running Lion v10.7.4 on a MacBook Pro with the Core 2 Duo processor.
The gcc version is 4.2.3 that came along with XCode tools.
I hope this report is helpful to you. Please let me know if you need any
additional information.
Best wishes,
Brad
--
Brad Mells
Quantum Harmonics
408 480-9916
-------------- next part --------------
**************************** long_double/IEEE754_QUAD ****************************
make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \
run_tests
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o ../../../tests/Concrete_Expression/C_Expr.cc
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o ../../../tests/Concrete_Expression/linearform1.cc
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o ../../../tests/Concrete_Expression/linearize.cc
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/C_Expr.cc:25:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/linearize.cc:24:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/linearform1.cc:24:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o ../../../tests/Concrete_Expression/digitalfilters1.cc
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/digitalfilters1.cc:24:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/linearform1.Tpo .deps/linearform1.Po
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o ../../../tests/Concrete_Expression/bdshape1.cc
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/bdshape1.cc:24:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/linearize.Tpo .deps/linearize.Po
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o ../../../tests/Concrete_Expression/bdshape2.cc
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/bdshape2.cc:24:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o ../../../tests/Concrete_Expression/octagonalshape1.cc
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/octagonalshape1.cc:24:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o ../../../tests/Concrete_Expression/octagonalshape2.cc
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/octagonalshape2.cc:25:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o ../../../tests/Concrete_Expression/polyhedron1.cc
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/polyhedron1.cc:24:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../../src -I../../../tests -I../../../utils -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o ../../../tests/Concrete_Expression/polyhedron2.cc
make[5]: Nothing to be done for `../../../tests/Concrete_Expression/run_tests'.
In file included from ../../../tests/ppl_test.hh:27,
from ../../../tests/Concrete_Expression/polyhedron2.cc:26:
../../../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 C_Expr C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
/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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
/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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
/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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
/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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
/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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
/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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
/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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
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 -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 /usr/local/lib/libgmpxx.dylib /usr/local/lib/libgmp.dylib
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 at 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 1
make: *** [check-recursive] Error 1
More information about the PPL-devel
mailing list