<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div apple-content-edited="true"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><br>Sincerely Yours <br> Ma Lei<br>************************************<br>************************************<br>東京大学大学院 工学系研究科 電気系工学専攻<br>Dept. of Electrical Engineering and Information Systems,<br>Graduate school of Engineering, The University of Tokyo<br>佐藤周行研究室 博士課程1年<br>Sato laboratory, PHD 1st year<br>馬 雷(Ma Lei)<br>Tel: 080-4207-2391<br>E-Mail:malei@satolab.itc.u-tokyo.ac.jp</span>
</div>
<br><div><div>On Dec 18, 2012, at 7:28 AM, Roberto Bagnara wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>On 12/17/12 19:48, lei ma wrote:<br><blockquote type="cite">Dear sir or madam<br></blockquote><blockquote type="cite"> This is ma lei from the university of tokyo.<br></blockquote><blockquote type="cite"> Recently, I am studying the Numerical abstract domain, and<br></blockquote><blockquote type="cite"> I would like to try PPL and study on it. I encounter 2 problems.<br></blockquote><blockquote type="cite"> The first one is that I encounter a bug problem during "make check".<br></blockquote><blockquote type="cite"> I am using mac os.<br></blockquote><blockquote type="cite"> I will paste the bug report at the end of the email.<br></blockquote><blockquote type="cite"> The second problem is that I can not find the Generated java and ocaml<br></blockquote><blockquote type="cite"> interface as you have described in the manual. Could you please<br></blockquote><blockquote type="cite"> help me what's going on ?<br></blockquote><blockquote type="cite"> I first install GMP, with --enable-cxx option as you required.<br></blockquote><blockquote type="cite">../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'<br></blockquote><blockquote type="cite"> Or could you please briefly show me how to generate the Java or Ocaml interfaces?<br></blockquote><blockquote type="cite"> Thank you very much.<br></blockquote><br>Dear Ma Lei,<br><br>the `make check' problem is a known one. Please download the<br>version of the PPL available at<br><br> <a href="http://bugseng.com/products/ppl/download/ftp/snapshots/">http://bugseng.com/products/ppl/download/ftp/snapshots/</a><br><br>Concerning the generation of the Java and Ocaml interfaces,<br>could you please send us the `config.log' file generated<br>by the `configure' command?<br>Kind regards,<br><br> Roberto<br><br><blockquote type="cite">The make check I have encountered are shown as follows:<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">*************************** long_double/IEEE754_QUAD ****************************<br></blockquote><blockquote type="cite">make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \<br></blockquote><blockquote type="cite"> run_tests<br></blockquote><blockquote type="cite">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 <<a href="http://C_Expr.cc/">http://C_Expr.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from C_Expr.cc:25 <<a href="http://C_Expr.cc:25/">http://C_Expr.cc:25/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://linearform1.cc/">http://linearform1.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from linearform1.cc:24 <<a href="http://linearform1.cc:24/">http://linearform1.cc:24/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/linearform1.Tpo .deps/linearform1.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://linearize.cc/">http://linearize.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from linearize.cc:24 <<a href="http://linearize.cc:24/">http://linearize.cc:24/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/linearize.Tpo .deps/linearize.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://digitalfilters1.cc/">http://digitalfilters1.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from digitalfilters1.cc:24 <<a href="http://digitalfilters1.cc:24/">http://digitalfilters1.cc:24/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://bdshape1.cc/">http://bdshape1.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from bdshape1.cc:24 <<a href="http://bdshape1.cc:24/">http://bdshape1.cc:24/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://bdshape2.cc/">http://bdshape2.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from bdshape2.cc:24 <<a href="http://bdshape2.cc:24/">http://bdshape2.cc:24/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://octagonalshape1.cc/">http://octagonalshape1.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from octagonalshape1.cc:24 <<a href="http://octagonalshape1.cc:24/">http://octagonalshape1.cc:24/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://octagonalshape2.cc/">http://octagonalshape2.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from octagonalshape2.cc:25 <<a href="http://octagonalshape2.cc:25/">http://octagonalshape2.cc:25/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://polyhedron1.cc/">http://polyhedron1.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from polyhedron1.cc:24 <<a href="http://polyhedron1.cc:24/">http://polyhedron1.cc:24/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">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 <<a href="http://polyhedron2.cc/">http://polyhedron2.cc/</a>><br></blockquote><blockquote type="cite">In file included from ../../tests/ppl_test.hh:27,<br></blockquote><blockquote type="cite"> from polyhedron2.cc:26 <<a href="http://polyhedron2.cc:26/">http://polyhedron2.cc:26/</a>>:<br></blockquote><blockquote type="cite">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"<br></blockquote><blockquote type="cite">mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po<br></blockquote><blockquote type="cite">/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<br></blockquote><blockquote type="cite">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<br></blockquote><blockquote type="cite">make[5]: Nothing to be done for `run_tests'.<br></blockquote><blockquote type="cite">make check-TESTS<br></blockquote><blockquote type="cite">PASS: C_Expr<br></blockquote><blockquote type="cite">PASS: linearform1<br></blockquote><blockquote type="cite">PASS: linearize<br></blockquote><blockquote type="cite">PASS: digitalfilters1<br></blockquote><blockquote type="cite">PASS: bdshape1<br></blockquote><blockquote type="cite">PASS: bdshape2<br></blockquote><blockquote type="cite">PASS: octagonalshape1<br></blockquote><blockquote type="cite">PASS: octagonalshape2<br></blockquote><blockquote type="cite">tests failed: test04 test05<br></blockquote><blockquote type="cite">FAIL: polyhedron1<br></blockquote><blockquote type="cite">tests failed: test04 test05<br></blockquote><blockquote type="cite">FAIL: polyhedron2<br></blockquote><blockquote type="cite">======================================<br></blockquote><blockquote type="cite">2 of 10 tests failed<br></blockquote><blockquote type="cite">Please report to <a href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a> <<a href="mailto:ppl-devel@cs.unipr.it">mailto:ppl-devel@cs.unipr.it</a>><br></blockquote><blockquote type="cite">======================================<br></blockquote><blockquote type="cite">make[5]: *** [check-TESTS] Error 1<br></blockquote><blockquote type="cite">make[4]: *** [check-am] Error 2<br></blockquote><blockquote type="cite">make[3]: *** [run_tests.stamp] Error 1<br></blockquote><blockquote type="cite">make[2]: *** [check-am] Error 2<br></blockquote><blockquote type="cite">make[1]: *** [check-recursive] Error<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">--<br></blockquote><blockquote type="cite">Sincerely Yours<br></blockquote><blockquote type="cite"> Ma Lei<br></blockquote><blockquote type="cite">************************************<br></blockquote><blockquote type="cite">************************************<br></blockquote><blockquote type="cite">東京大学大学院 工学系研究科 電気系工学専攻<br></blockquote><blockquote type="cite">Dept. of Electrical Engineering and Information Systems,<br></blockquote><blockquote type="cite">Graduate school of Engineering, The University of Tokyo<br></blockquote><blockquote type="cite">佐藤周行研究室 博士課程1年<br></blockquote><blockquote type="cite">Sato laboratory, PHD 1st year<br></blockquote><blockquote type="cite">馬 雷(Ma Lei)<br></blockquote><blockquote type="cite">Tel: 080-4207-2391<br></blockquote><blockquote type="cite">E-Mail:malei@satolab.itc.u-tokyo.ac.jp<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">_______________________________________________<br></blockquote><blockquote type="cite">PPL-devel mailing list<br></blockquote><blockquote type="cite"><a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a><br></blockquote><blockquote type="cite"><a href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a><br></blockquote><blockquote type="cite"><br></blockquote><br><br>-- <br> Prof. Roberto Bagnara<br><br>Applied Formal Methods Laboratory - University of Parma, Italy<br><a href="mailto:bagnara@cs.unipr.it">mailto:bagnara@cs.unipr.it</a><br> BUGSENG srl - http://bugseng.com<br> mailto:roberto.bagnara@bugseng.com<br></div></blockquote></div><br></div></body></html>