[PPL-devel] Bug report and interface generation questions

Mon Dec 17 19:48:06 CET 2012

Dear sir or madam
   This is ma lei from the university of tokyo.
    Recently, I am studying the Numerical abstract domain, and 
    I would like to try PPL and study on it. I encounter 2 problems. 

    The first one is that I encounter a bug problem during "make check".
    I am using mac os.
    I will paste the bug report at the end of the email. 

    The second problem is that I can not find the Generated java and ocaml
    interface as you have described in the manual. Could you please 
    help me what's going on ?
    I first install GMP, with   --enable-cxx option as you required.

    ../configure --with-cxx='/usr/bin/g++' --with-cc='/usr/bin/gcc' --prefix='/Users/malei/PPL_Install/ppl-1.0/build/install_target' --with-gmp='/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64' --enable-interfaces=cxx,java,ocaml --with-java='/usr/bin'
    Or could you please briefly show me how to generate the Java or Ocaml interfaces? 

    Thank you very much.

The make check I have encountered are shown as follows:

***************************  long_double/IEEE754_QUAD  ****************************
make  C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2  \
       run_tests
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o C_Expr.cc
In file included from ../../tests/ppl_test.hh:27,
                 from C_Expr.cc:25:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o C_Expr C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr C_Expr.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o linearform1.cc
In file included from ../../tests/ppl_test.hh:27,
                 from linearform1.cc:24:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/linearform1.Tpo .deps/linearform1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o linearform1 linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1 linearform1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o linearize.cc
In file included from ../../tests/ppl_test.hh:27,
                 from linearize.cc:24:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/linearize.Tpo .deps/linearize.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o linearize linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize linearize.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o digitalfilters1.cc
In file included from ../../tests/ppl_test.hh:27,
                 from digitalfilters1.cc:24:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o digitalfilters1 digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1 digitalfilters1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o bdshape1.cc
In file included from ../../tests/ppl_test.hh:27,
                 from bdshape1.cc:24:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o bdshape1 bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1 bdshape1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o bdshape2.cc
In file included from ../../tests/ppl_test.hh:27,
                 from bdshape2.cc:24:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o bdshape2 bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2 bdshape2.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o octagonalshape1.cc
In file included from ../../tests/ppl_test.hh:27,
                 from octagonalshape1.cc:24:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o octagonalshape1 octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1 octagonalshape1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o octagonalshape2.cc
In file included from ../../tests/ppl_test.hh:27,
                 from octagonalshape2.cc:25:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o octagonalshape2 octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2 octagonalshape2.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o polyhedron1.cc
In file included from ../../tests/ppl_test.hh:27,
                 from polyhedron1.cc:24:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o polyhedron1 polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1 polyhedron1.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
g++ -DHAVE_CONFIG_H -I. -I../..  -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1   -g -O2 -frounding-math  -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o polyhedron2.cc
In file included from ../../tests/ppl_test.hh:27,
                 from polyhedron2.cc:26:
../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2 -frounding-math  -W -Wall   -o polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2 polyhedron2.o -Wl,-bind_at_load  ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib
make[5]: Nothing to be done for `run_tests'.
make  check-TESTS
PASS: C_Expr
PASS: linearform1
PASS: linearize
PASS: digitalfilters1
PASS: bdshape1
PASS: bdshape2
PASS: octagonalshape1
PASS: octagonalshape2
tests failed: test04 test05
FAIL: polyhedron1
tests failed: test04 test05
FAIL: polyhedron2
======================================
2 of 10 tests failed
Please report to ppl-devel 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

-- 
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 at satolab.itc.u-tokyo.ac.jp

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20121217/df0a9744/attachment.htm>