Re: [PPL-devel] Bug report and interface generation questions

18 Dec 2012

      On 12/17/12 19:48, lei ma wrote:
...
Dear sir or madam
    This is ma lei from the university of tokyo.
     Recently, I am studying the Numerical abstract domain, and
     I would like to try PPL and study on it. I encounter 2 problems.
     The first one is that I encounter a bug problem during "make check".
     I am using mac os.
     I will paste the bug report at the end of the email.
     The second problem is that I can not find the Generated java and ocaml
     interface as you have described in the manual. Could you please
     help me what's going on ?
     I first install GMP, with --enable-cxx option as you required.
../configure --with-cxx='/usr/bin/g++' --with-cc='/usr/bin/gcc' --prefix='/Users/malei/PPL_Install/ppl-1.0/build/install_target' --with-gmp='/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64' --enable-interfaces=cxx,java,ocaml --with-java='/usr/bin'
     Or could you please briefly show me how to generate the Java or Ocaml interfaces?
     Thank you very much.
Dear Ma Lei,
the `make check' problem is a known one.  Please download the
version of the PPL available at
http://bugseng.com/products/ppl/download/ftp/snapshots/
Concerning the generation of the Java and Ocaml interfaces,
could you please send us the `config.log' file generated
by the `configure' command?
Kind regards,
Roberto
...
The make check I have encountered are shown as follows:
***************************  long_double/IEEE754_QUAD  ****************************
make  C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2  \
        run_tests
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc http://C_Expr.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from C_Expr.cc:25 http://C_Expr.cc:25/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o C_Expr C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr C_Expr.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc http://linearform1.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from linearform1.cc:24 http://linearform1.cc:24/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/linearform1.Tpo .deps/linearform1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o linearform1 linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1 linearform1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc http://linearize.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from linearize.cc:24 http://linearize.cc:24/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/linearize.Tpo .deps/linearize.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o linearize linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize linearize.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc http://digitalfilters1.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from digitalfilters1.cc:24 http://digitalfilters1.cc:24/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o digitalfilters1 digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1 digitalfilters1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc http://bdshape1.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from bdshape1.cc:24 http://bdshape1.cc:24/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o bdshape1 bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1 bdshape1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc http://bdshape2.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from bdshape2.cc:24 http://bdshape2.cc:24/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o bdshape2 bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2 bdshape2.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc http://octagonalshape1.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from octagonalshape1.cc:24 http://octagonalshape1.cc:24/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o octagonalshape1 octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1 octagonalshape1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc http://octagonalshape2.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from octagonalshape2.cc:25 http://octagonalshape2.cc:25/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o octagonalshape2 octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2 octagonalshape2.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc http://polyhedron1.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from polyhedron1.cc:24 http://polyhedron1.cc:24/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o polyhedron1 polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1 polyhedron1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc http://polyhedron2.cc/
In file included from ../../tests/ppl_test.hh:27,
                  from polyhedron2.cc:26 http://polyhedron2.cc:26/:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2 polyhedron2.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
make[5]: Nothing to be done for `run_tests'.
make  check-TESTS
PASS: C_Expr
PASS: linearform1
PASS: linearize
PASS: digitalfilters1
PASS: bdshape1
PASS: bdshape2
PASS: octagonalshape1
PASS: octagonalshape2
tests failed: test04 test05
FAIL: polyhedron1
tests failed: test04 test05
FAIL: polyhedron2
======================================
2 of 10 tests failed
Please report to ppl-devel@cs.unipr.it mailto:ppl-devel@cs.unipr.it
======================================
make[5]: *** [check-TESTS] Error 1
make[4]: *** [check-am] Error 2
make[3]: *** [run_tests.stamp] Error 1
make[2]: *** [check-am] Error 2
make[1]: *** [check-recursive] Error
--
Sincerely Yours
        Ma Lei

東京大学大学院　工学系研究科　電気系工学専攻
Dept. of Electrical Engineering and Information Systems,
Graduate school of Engineering, The University of Tokyo
佐藤周行研究室　博士課程1年
Sato laboratory, PHD 1st year
馬 雷(Ma Lei)
Tel:    080-4207-2391
E-Mail:malei@satolab.itc.u-tokyo.ac.jp

PPL-devel mailing list
PPL-devel@cs.unipr.it
http://www.cs.unipr.it/mailman/listinfo/ppl-devel
-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara@bugseng.com