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@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