the latest ppl git configure script has something wrong
Hi, all When I configure the latest ppl git, some strange errors come out, but the ppl git at 6.10 has no problem. Full log is in the attachment. First, I type autoreconf -i. My configure is : ./configure --prefix=/mingw --enable-static --disable-shared The errors are: checking for the GMP library version 4.1.3 or above... ./configure: line 9983: cat: No such file or directory ./configure: line 2292: sed: No such file or directory ./configure: line 2296: rm: No such file or directory no ./configure: line 10052: rm: No such file or directory ./configure: eval: line 10172: syntax error near unexpected token `(' ./configure: eval: line 10172: `PATH=.:/usr/local/bin:/mingw/bin:/bin:/e/mypack/mingw-eq/bin:/e/mypack/mingw-eq/libexec/gcc/i686-pc-mingw32/4.7.0:/e/mingw32/bin:/e/mingw32/libexec/gcc/i686-pc-mingw32/4.7.0:/c/Program Files (x86)/NVIDIA Corporation/PhysX/Common:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/mpirt:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/mpirt:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/compiler/lib:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/tbb/vc10:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/tbb/vc10:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/ipp:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/ipp:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/mkl:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/mkl:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/compiler/lib:/c/Windows/system32:/c/Windows:/c/Windows/System32/Wbem:/c/Windows/System32/WindowsPowerShell/v1.0/:/f/Backup/SystemTools/MaintenanceTools/Windows7Master:/c/Program Files (x86)/Common Files/Thunder Network/KanKan/Codecs:/c/Program Files/Lenovo/Bluetooth Software/:/c/Program Files/Lenovo/Bluetooth Software/syswow64:/c/Program Files/Intel/WiFi/bin/:/c/Program Files/Common Files/Intel/WirelessCommon/:/e/MyPack/Tools/TortoiseSVN/bin:/e/MyPack/Tools/TortoiseGit/bin:/c/Program Files/Microsoft Windows Performance Toolkit/:/d/Program Files (x86)/QuickTime/QTSystem/:/e/MyPack/MinGW/bin:/e/MyPack/Compiler/Python27:/e/MyPack/GnuWin32/bin:/e/MyPack/3rdLib/GUI/Qt/Qt_lib_vc/bin:/e/MyPack/Cygwin/bin:/usr/bin' configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. ./configure: line 366: sed: No such file or directory ./configure: line 321: sort: No such file or directory ./configure: line 318: sed: No such file or directory ./configure: line 336: sort: No such file or directory ./configure: line 360: cat: No such file or directory ./configure: line 367: rm: No such file or directory -- Best Regards, PcX
On 08/09/11 18:42, PcX wrote:
When I configure the latest ppl git, some strange errors come out, but the ppl git at 6.10 has no problem.
Hi PcX, what do you mean by "ppl git at 6.10"? By "latest ppl git" do you mean the tip of the master branch? All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
Greetings -- On Tue, Aug 9, 2011 at 12:00 PM, PcX <xunxun1982@gmail.com> wrote:
I mean latest ppl git is master branch. 6.10 is ppl git at the time of June 10th.
This should be a perfect use case for "git bisect". Could you try that, to see if you can find the commit where things broke for you? Regards, Tony
于 2011/8/10 3:39, Anthony Foiani 写道:
Greetings --
On Tue, Aug 9, 2011 at 12:00 PM, PcX<xunxun1982@gmail.com> wrote:
I mean latest ppl git is master branch. 6.10 is ppl git at the time of June 10th. This should be a perfect use case for "git bisect". Could you try that, to see if you can find the commit where things broke for you?
Regards, Tony I'm not familiar with git commands. When I type git bisect, it will output: git bisect [help|start|bad|good|skip|next|reset|visualize|replay|log|run]
Which option should I use? Thanks. -- Best Regards, PcX
于 2011/8/10 3:51, PcX 写道:
I'm not familiar with git commands. When I type git bisect, it will output: git bisect [help|start|bad|good|skip|next|reset|visualize|replay|log|run]
Which option should I use?
Thanks. I type git bisect start the output is in the attachment:
M .gitignore M BUGS M COPYING M CREDITS M ChangeLog M ChangeLog_2001-2008 M INSTALL M Makefile.am M NEWS M README M README.alpha M README.arm M README.configure M README.solaris M STANDARDS M TODO M Watchdog/.gitignore M Watchdog/BUGS M Watchdog/COPYING M Watchdog/CREDITS M Watchdog/ChangeLog M Watchdog/ChangeLog_2001-2008 M Watchdog/INSTALL M Watchdog/Makefile.am M Watchdog/NEWS M Watchdog/README M Watchdog/configure.ac M Watchdog/doc/.gitignore M Watchdog/doc/Makefile.am M Watchdog/doc/README.doc M Watchdog/doc/devref.doxyconf-html.in M Watchdog/doc/devref.doxyconf-latex.in M Watchdog/doc/devref.tex M Watchdog/doc/fdl.dox M Watchdog/doc/fdl.tex M Watchdog/doc/fdl.txt M Watchdog/doc/gpl.dox M Watchdog/doc/gpl.tex M Watchdog/doc/gpl.txt M Watchdog/doc/pwl.sty M Watchdog/doc/user.doxyconf-html.in M Watchdog/doc/user.doxyconf-latex.in M Watchdog/doc/user.tex M Watchdog/m4/.gitignore M Watchdog/m4/Makefile.am M Watchdog/m4/lib-ld.m4 M Watchdog/m4/lib-link.m4 M Watchdog/m4/libtool.m4 M Watchdog/m4/ltoptions.m4 M Watchdog/m4/ltsugar.m4 M Watchdog/m4/ltversion.m4 M Watchdog/m4/lt~obsolete.m4 M Watchdog/pwl-config.sed M Watchdog/src/.gitignore M Watchdog/src/Doubly_Linked_Object.defs.hh M Watchdog/src/Doubly_Linked_Object.inlines.hh M Watchdog/src/Doubly_Linked_Object.types.hh M Watchdog/src/EList.defs.hh M Watchdog/src/EList.inlines.hh M Watchdog/src/EList.types.hh M Watchdog/src/EList_Iterator.defs.hh M Watchdog/src/EList_Iterator.inlines.hh M Watchdog/src/EList_Iterator.types.hh M Watchdog/src/Handler.defs.hh M Watchdog/src/Handler.inlines.hh M Watchdog/src/Handler.types.hh M Watchdog/src/Makefile.am M Watchdog/src/Pending_Element.defs.hh M Watchdog/src/Pending_Element.inlines.hh M Watchdog/src/Pending_Element.types.hh M Watchdog/src/Pending_List.defs.hh M Watchdog/src/Pending_List.inlines.hh M Watchdog/src/Pending_List.templates.hh M Watchdog/src/Pending_List.types.hh M Watchdog/src/Threshold_Watcher.cc M Watchdog/src/Threshold_Watcher.defs.hh M Watchdog/src/Threshold_Watcher.inlines.hh M Watchdog/src/Threshold_Watcher.templates.hh M Watchdog/src/Threshold_Watcher.types.hh M Watchdog/src/Time.cc M Watchdog/src/Time.defs.hh M Watchdog/src/Time.inlines.hh M Watchdog/src/Time.types.hh M Watchdog/src/Watchdog.cc M Watchdog/src/Watchdog.defs.hh M Watchdog/src/Watchdog.inlines.hh M Watchdog/src/Watchdog.types.hh M Watchdog/src/pwl_header.hh M Watchdog/tests/.gitignore M Watchdog/tests/Makefile.am M Watchdog/tests/pwl_test.cc M Watchdog/tests/pwl_test.hh M Watchdog/tests/valgrind_suppressions M Watchdog/tests/watchdog1.cc M Watchdog/utils/.gitignore M Watchdog/utils/Makefile.am M Watchdog/utils/build_header.in M configure.ac M debian/.gitignore M debian/README M debian/changelog M debian/compat M debian/control M debian/libppl-c.dirs M debian/libppl-c.install M debian/libppl-c.links M debian/libppl-dev.dirs M debian/libppl-dev.doc-base M debian/libppl-dev.doc-base.user M debian/libppl-dev.docs M debian/libppl-dev.install M debian/libppl-dev.links M debian/libppl-pwl.copyright.in M debian/libppl-pwl.dirs M debian/libppl-pwl.docs M debian/libppl-pwl.install M debian/libppl.copyright.in M debian/libppl.dirs M debian/libppl.docs M debian/libppl.install M demos/.gitignore M demos/Makefile.am M demos/ppl_lcdd/.gitignore M demos/ppl_lcdd/Makefile.am M demos/ppl_lcdd/examples/.gitignore M demos/ppl_lcdd/examples/1d.ine M demos/ppl_lcdd/examples/1da.ine M demos/ppl_lcdd/examples/Makefile.am M demos/ppl_lcdd/examples/README M demos/ppl_lcdd/examples/allzero.ine M demos/ppl_lcdd/examples/ccc4.ext M demos/ppl_lcdd/examples/ccc5.ext M demos/ppl_lcdd/examples/ccc6.ext M demos/ppl_lcdd/examples/ccp4.ext M demos/ppl_lcdd/examples/ccp5.ext M demos/ppl_lcdd/examples/ccp6.ext M demos/ppl_lcdd/examples/cp4.ext M demos/ppl_lcdd/examples/cp4.ine M demos/ppl_lcdd/examples/cp5.ext M demos/ppl_lcdd/examples/cp5.ine M demos/ppl_lcdd/examples/cp6.ext M demos/ppl_lcdd/examples/cp6.ine M demos/ppl_lcdd/examples/cp7.ext M demos/ppl_lcdd/examples/cross10.ine M demos/ppl_lcdd/examples/cross12.ine M demos/ppl_lcdd/examples/cross4.ine M demos/ppl_lcdd/examples/cross6.ine M demos/ppl_lcdd/examples/cross8.ine M demos/ppl_lcdd/examples/cube.ext M demos/ppl_lcdd/examples/cube.ine M demos/ppl_lcdd/examples/cube10.ine M demos/ppl_lcdd/examples/cube12.ine M demos/ppl_lcdd/examples/cube3.ine M demos/ppl_lcdd/examples/cube6.ine M demos/ppl_lcdd/examples/cube8.ine M demos/ppl_lcdd/examples/cubetop.ine M demos/ppl_lcdd/examples/cubocta.ine M demos/ppl_lcdd/examples/cut16_11.ext M demos/ppl_lcdd/examples/cut32_16.ext M demos/ppl_lcdd/examples/cyc.ine M demos/ppl_lcdd/examples/cyclic10-4.ext M demos/ppl_lcdd/examples/cyclic12-6.ext M demos/ppl_lcdd/examples/cyclic14-8.ext M demos/ppl_lcdd/examples/cyclic16-10.ext M demos/ppl_lcdd/examples/cyclic17_8.ine M demos/ppl_lcdd/examples/cyclic25_13.ext M demos/ppl_lcdd/examples/dcube10.ext M demos/ppl_lcdd/examples/dcube12.ext M demos/ppl_lcdd/examples/dcube3.ext M demos/ppl_lcdd/examples/dcube6.ext M demos/ppl_lcdd/examples/dcube8.ext M demos/ppl_lcdd/examples/diamond.ine M demos/ppl_lcdd/examples/dodeca_m.ine M demos/ppl_lcdd/examples/ex1.ine M demos/ppl_lcdd/examples/grcubocta.ine M demos/ppl_lcdd/examples/hexocta.ine M demos/ppl_lcdd/examples/icododeca_m.ine M demos/ppl_lcdd/examples/in0.ine M demos/ppl_lcdd/examples/in1.ine M demos/ppl_lcdd/examples/in2.ine M demos/ppl_lcdd/examples/in3.ine M demos/ppl_lcdd/examples/in4.ine M demos/ppl_lcdd/examples/in5.ine M demos/ppl_lcdd/examples/in6.ine M demos/ppl_lcdd/examples/in7.ine M demos/ppl_lcdd/examples/infeas.ine M demos/ppl_lcdd/examples/integralpoints.ine M demos/ppl_lcdd/examples/irbox20-4.ext M demos/ppl_lcdd/examples/irbox200-4.ext M demos/ppl_lcdd/examples/kkd18_4.ine M demos/ppl_lcdd/examples/kkd27_5.ine M demos/ppl_lcdd/examples/kkd38_6.ine M demos/ppl_lcdd/examples/kq20_11_m.ine M demos/ppl_lcdd/examples/metric40_11.ine M demos/ppl_lcdd/examples/metric80_16.ine M demos/ppl_lcdd/examples/mit.ine M demos/ppl_lcdd/examples/mit288-281.ine M demos/ppl_lcdd/examples/mit31-20.ine M demos/ppl_lcdd/examples/mit41-16.ine M demos/ppl_lcdd/examples/mit708-9.ine M demos/ppl_lcdd/examples/mit71-61.ine M demos/ppl_lcdd/examples/mit90-86.ine M demos/ppl_lcdd/examples/mp5.ext M demos/ppl_lcdd/examples/mp5.ine M demos/ppl_lcdd/examples/mp5a.ine M demos/ppl_lcdd/examples/mp6.ine M demos/ppl_lcdd/examples/nonfull.ine M demos/ppl_lcdd/examples/origin.ine M demos/ppl_lcdd/examples/prodst62.ext M demos/ppl_lcdd/examples/project1_m.ine M demos/ppl_lcdd/examples/project1res.ine M demos/ppl_lcdd/examples/project2_m.ine M demos/ppl_lcdd/examples/project2res.ine M demos/ppl_lcdd/examples/rcubocta.ine M demos/ppl_lcdd/examples/redcheck.ext M demos/ppl_lcdd/examples/reg24-5.ext M demos/ppl_lcdd/examples/reg24-5.ine M demos/ppl_lcdd/examples/reg600-5_m.ext M demos/ppl_lcdd/examples/rhomtria_m.ine M demos/ppl_lcdd/examples/sample.ine M demos/ppl_lcdd/examples/sampleh1.ine M demos/ppl_lcdd/examples/sampleh2.ine M demos/ppl_lcdd/examples/sampleh3.ine M demos/ppl_lcdd/examples/sampleh4.ine M demos/ppl_lcdd/examples/sampleh5.ine M demos/ppl_lcdd/examples/sampleh6.ine M demos/ppl_lcdd/examples/sampleh7.ine M demos/ppl_lcdd/examples/sampleh8.ine M demos/ppl_lcdd/examples/samplev1.ext M demos/ppl_lcdd/examples/samplev2.ext M demos/ppl_lcdd/examples/samplev3.ext M demos/ppl_lcdd/examples/trunc10.ine M demos/ppl_lcdd/examples/trunc7.ine M demos/ppl_lcdd/examples/tsp5.ext M demos/ppl_lcdd/examples/tsp5.ine M demos/ppl_lcdd/expected_int16 M demos/ppl_lcdd/expected_int16_a M demos/ppl_lcdd/expected_int32 M demos/ppl_lcdd/expected_int32_a M demos/ppl_lcdd/expected_int64 M demos/ppl_lcdd/expected_int64_a M demos/ppl_lcdd/expected_int8 M demos/ppl_lcdd/expected_int8_a M demos/ppl_lcdd/expected_mpz M demos/ppl_lcdd/expected_mpz_a M demos/ppl_lcdd/ppl_lcdd.1 M demos/ppl_lcdd/ppl_lcdd.cc M demos/ppl_lcdd/ppl_lcdd_extra_man_text M demos/ppl_lpsol/.gitignore M demos/ppl_lpsol/Makefile.am M demos/ppl_lpsol/dummy.cc M demos/ppl_lpsol/examples/.gitignore M demos/ppl_lpsol/examples/Makefile.am M demos/ppl_lpsol/examples/README M demos/ppl_lpsol/examples/adlittle.mps M demos/ppl_lpsol/examples/afiro.mps M demos/ppl_lpsol/examples/bgprtr.mps M demos/ppl_lpsol/examples/blend.mps M demos/ppl_lpsol/examples/boeing1.mps M demos/ppl_lpsol/examples/boeing2.mps M demos/ppl_lpsol/examples/egout.mps M demos/ppl_lpsol/examples/ex1.mps M demos/ppl_lpsol/examples/ex12.mps M demos/ppl_lpsol/examples/kb2.mps M demos/ppl_lpsol/examples/lseu.mps M demos/ppl_lpsol/examples/markshare1.mps M demos/ppl_lpsol/examples/markshare2.mps M demos/ppl_lpsol/examples/mas74.mps M demos/ppl_lpsol/examples/mas76.mps M demos/ppl_lpsol/examples/mip.mps M demos/ppl_lpsol/examples/modglob.mps M demos/ppl_lpsol/examples/noswot.mps M demos/ppl_lpsol/examples/opt1217.mps M demos/ppl_lpsol/examples/p0033.mps M demos/ppl_lpsol/examples/pk1.mps M demos/ppl_lpsol/examples/rout.mps M demos/ppl_lpsol/examples/sample.mps M demos/ppl_lpsol/examples/sc105.mps M demos/ppl_lpsol/examples/sc50a.mps M demos/ppl_lpsol/examples/sc50b.mps M demos/ppl_lpsol/examples/ship08l.mps M demos/ppl_lpsol/examples/unboundedmin.mps M demos/ppl_lpsol/expected_int16 M demos/ppl_lpsol/expected_int16_a M demos/ppl_lpsol/expected_int32 M demos/ppl_lpsol/expected_int32_a M demos/ppl_lpsol/expected_int64 M demos/ppl_lpsol/expected_int64_a M demos/ppl_lpsol/expected_int8 M demos/ppl_lpsol/expected_int8_a M demos/ppl_lpsol/expected_mpz M demos/ppl_lpsol/expected_mpz_a M demos/ppl_lpsol/glpk_set_d_eps.c M demos/ppl_lpsol/ppl_lpsol.1 M demos/ppl_lpsol/ppl_lpsol.c M demos/ppl_lpsol/ppl_lpsol_extra_man_text M demos/ppl_pips/.gitignore M demos/ppl_pips/Makefile.am M demos/ppl_pips/examples/Makefile.am M demos/ppl_pips/examples/README M demos/ppl_pips/examples/big.pip M demos/ppl_pips/examples/brisebarre.pip M demos/ppl_pips/examples/cg1.pip M demos/ppl_pips/examples/esced.pip M demos/ppl_pips/examples/ex2.pip M demos/ppl_pips/examples/fimmel.pip M demos/ppl_pips/examples/invert.dat M demos/ppl_pips/examples/linear.dat M demos/ppl_pips/examples/lineri.dat M demos/ppl_pips/examples/loz.dat M demos/ppl_pips/examples/max.dat M demos/ppl_pips/examples/max.pip M demos/ppl_pips/examples/maxb.dat M demos/ppl_pips/examples/pairi.dat M demos/ppl_pips/examples/petit.dat M demos/ppl_pips/examples/rairoi.dat M demos/ppl_pips/examples/sor1d.pip M demos/ppl_pips/examples/square.pip M demos/ppl_pips/examples/test02.dat M demos/ppl_pips/examples/test12i.dat M demos/ppl_pips/expected_int16 M demos/ppl_pips/expected_int16_a M demos/ppl_pips/expected_int32 M demos/ppl_pips/expected_int32_a M demos/ppl_pips/expected_int64 M demos/ppl_pips/expected_int64_a M demos/ppl_pips/expected_int8 M demos/ppl_pips/expected_int8_a M demos/ppl_pips/expected_mpz M demos/ppl_pips/expected_mpz_a M demos/ppl_pips/ppl_pips.1 M demos/ppl_pips/ppl_pips.cc M demos/ppl_pips/ppl_pips_extra_man_text M devtools/.gitignore M devtools/generate_dox_biblio.sed M doc/.gitignore M doc/Makefile.am M doc/README.doc M doc/definitions.dox M doc/devref-language-interface.doxyconf.in M doc/devref-language-interface.tex M doc/devref.doxyconf-html.in M doc/devref.doxyconf-latex.in M doc/devref.tex M doc/fdl.dox M doc/fdl.tex M doc/fdl.txt M doc/gpl.dox M doc/gpl.tex M doc/gpl.txt M doc/interfaces-html.sed M doc/interfaces-latex.sed M doc/libppl.3 M doc/libppl_c.3 M doc/ppl-config.1 M doc/ppl-config_extra_man_text M doc/ppl.sty M doc/user-language-interface.doxyconf.in M doc/user-language-interface.tex M doc/user.doxyconf-html.in M doc/user.doxyconf-latex.in M doc/user.tex M fedora/.gitignore M fedora/ppl-0.10.2-Makefile.patch M fedora/ppl.hh M fedora/ppl.spec M fedora/ppl_c.h M fedora/pwl.hh M instchk.hh M interfaces/.gitignore M interfaces/C/.gitignore M interfaces/C/C_interface.dox M interfaces/C/Makefile.am M interfaces/C/ppl_c_header.h M interfaces/C/ppl_c_implementation_common.cc M interfaces/C/ppl_c_implementation_common.defs.hh M interfaces/C/ppl_c_implementation_common.inlines.hh M interfaces/C/ppl_c_version.h.in M interfaces/C/ppl_interface_generator_c_cc_code.m4 M interfaces/C/ppl_interface_generator_c_cc_files.m4 M interfaces/C/ppl_interface_generator_c_h.m4 M interfaces/C/ppl_interface_generator_c_h_code.m4 M interfaces/C/ppl_interface_generator_c_hh_files.m4 M interfaces/C/ppl_interface_generator_c_procedure_generators.m4 M interfaces/C/tests/.gitignore M interfaces/C/tests/Makefile.am M interfaces/C/tests/formatted_output.c M interfaces/C/tests/pip_test.c M interfaces/C/tests/ppl_c_test.cc M interfaces/C/tests/ppl_c_test.h M interfaces/C/tests/print_to_buffer.c M interfaces/C/tests/print_to_buffer.h M interfaces/C/tests/watchdog1.c M interfaces/C/tests/weightwatch1.c M interfaces/Java/.gitignore M interfaces/Java/Makefile.am M interfaces/Java/README.java M interfaces/Java/jni/.gitignore M interfaces/Java/jni/Makefile.am M interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 M interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4 M interfaces/Java/jni/ppl_java_common.cc M interfaces/Java/jni/ppl_java_common.defs.hh M interfaces/Java/jni/ppl_java_common.inlines.hh M interfaces/Java/jni/ppl_java_globals.cc M interfaces/Java/parma_polyhedra_library/.gitignore M interfaces/Java/parma_polyhedra_library/Artificial_Parameter.java M interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java M interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Overflow.java M interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Representation.java M interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Width.java M interfaces/Java/parma_polyhedra_library/By_Reference.java M interfaces/Java/parma_polyhedra_library/Coefficient.java M interfaces/Java/parma_polyhedra_library/Complexity_Class.java M interfaces/Java/parma_polyhedra_library/Congruence.java M interfaces/Java/parma_polyhedra_library/Congruence_System.java M interfaces/Java/parma_polyhedra_library/Constraint.java M interfaces/Java/parma_polyhedra_library/Constraint_System.java M interfaces/Java/parma_polyhedra_library/Control_Parameter_Name.java M interfaces/Java/parma_polyhedra_library/Control_Parameter_Value.java M interfaces/Java/parma_polyhedra_library/Degenerate_Element.java M interfaces/Java/parma_polyhedra_library/Domain_Error_Exception.java M interfaces/Java/parma_polyhedra_library/Fake_Class_for_Doxygen.java M interfaces/Java/parma_polyhedra_library/Generator.java M interfaces/Java/parma_polyhedra_library/Generator_System.java M interfaces/Java/parma_polyhedra_library/Generator_Type.java M interfaces/Java/parma_polyhedra_library/Grid_Generator.java M interfaces/Java/parma_polyhedra_library/Grid_Generator_System.java M interfaces/Java/parma_polyhedra_library/Grid_Generator_Type.java M interfaces/Java/parma_polyhedra_library/IO.java M interfaces/Java/parma_polyhedra_library/Invalid_Argument_Exception.java M interfaces/Java/parma_polyhedra_library/Length_Error_Exception.java M interfaces/Java/parma_polyhedra_library/Linear_Expression.java M interfaces/Java/parma_polyhedra_library/Linear_Expression_Coefficient.java M interfaces/Java/parma_polyhedra_library/Linear_Expression_Difference.java M interfaces/Java/parma_polyhedra_library/Linear_Expression_Sum.java M interfaces/Java/parma_polyhedra_library/Linear_Expression_Times.java M interfaces/Java/parma_polyhedra_library/Linear_Expression_Unary_Minus.java M interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java M interfaces/Java/parma_polyhedra_library/Logic_Error_Exception.java M interfaces/Java/parma_polyhedra_library/MIP_Problem.java M interfaces/Java/parma_polyhedra_library/MIP_Problem_Status.java M interfaces/Java/parma_polyhedra_library/Makefile.am M interfaces/Java/parma_polyhedra_library/Optimization_Mode.java M interfaces/Java/parma_polyhedra_library/Overflow_Error_Exception.java M interfaces/Java/parma_polyhedra_library/PIP_Decision_Node.java M interfaces/Java/parma_polyhedra_library/PIP_Problem.java M interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Name.java M interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Value.java M interfaces/Java/parma_polyhedra_library/PIP_Problem_Status.java M interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java M interfaces/Java/parma_polyhedra_library/PIP_Tree_Node.java M interfaces/Java/parma_polyhedra_library/PPL_Object.java M interfaces/Java/parma_polyhedra_library/Pair.java M interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java M interfaces/Java/parma_polyhedra_library/Partial_Function.java M interfaces/Java/parma_polyhedra_library/Poly_Con_Relation.java M interfaces/Java/parma_polyhedra_library/Poly_Gen_Relation.java M interfaces/Java/parma_polyhedra_library/Relation_Symbol.java M interfaces/Java/parma_polyhedra_library/Timeout_Exception.java M interfaces/Java/parma_polyhedra_library/Variable.java M interfaces/Java/parma_polyhedra_library/Variables_Set.java M interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 M interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 M interfaces/Java/ppl_interface_generator_java_procedure_generators.m4 M interfaces/Java/tests/.gitignore M interfaces/Java/tests/C_Polyhedron_test1.java M interfaces/Java/tests/MIP_Problem_test1.java M interfaces/Java/tests/Makefile.am M interfaces/Java/tests/NNC_Polyhedron_test1.java M interfaces/Java/tests/PIP_Problem_test1.java M interfaces/Java/tests/PPL_Test.java M interfaces/Java/tests/Parma_Polyhedra_Library_test1.java M interfaces/Java/tests/Parma_Polyhedra_Library_test2.java M interfaces/Java/tests/Test_Executor.java M interfaces/Java/tests/ppl_interface_generator_java_test_java.m4 M interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4 M interfaces/Java/tests/ppl_java_tests_common M interfaces/Makefile.am M interfaces/OCaml/.gitignore M interfaces/OCaml/Makefile.am M interfaces/OCaml/OCaml_interface.dox M interfaces/OCaml/README.ocaml M interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_cc_files.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_hh_code.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_hh_files.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_mli.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4 M interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4 M interfaces/OCaml/ppl_ocaml_common.cc M interfaces/OCaml/ppl_ocaml_common.defs.hh M interfaces/OCaml/ppl_ocaml_common.inlines.hh M interfaces/OCaml/ppl_ocaml_globals.ml M interfaces/OCaml/ppl_ocaml_globals.mli M interfaces/OCaml/tests/.gitignore M interfaces/OCaml/tests/Makefile.am M interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml.m4 M interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4 M interfaces/OCaml/tests/ppl_ocaml_tests_common M interfaces/OCaml/tests/test1.ml M interfaces/Prolog/.gitignore M interfaces/Prolog/Ciao/.gitignore M interfaces/Prolog/Ciao/Makefile.am M interfaces/Prolog/Ciao/README.ciao M interfaces/Prolog/Ciao/ciao_cfli.hh M interfaces/Prolog/Ciao/ciao_clpq.pl M interfaces/Prolog/Ciao/ciao_clpq2.pl M interfaces/Prolog/Ciao/ciao_efli.cc M interfaces/Prolog/Ciao/ciao_efli.hh M interfaces/Prolog/Ciao/ciao_pl_check.pl M interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 M interfaces/Prolog/Ciao/ppl_interface_generator_ciao_prolog_generated_test_pl.m4 M interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh M interfaces/Prolog/GNU/.gitignore M interfaces/Prolog/GNU/Makefile.am M interfaces/Prolog/GNU/README.gprolog M interfaces/Prolog/GNU/gnu_pl_check.pl M interfaces/Prolog/GNU/gnu_prolog_generated_test.pl M interfaces/Prolog/GNU/gp_clpq.pl M interfaces/Prolog/GNU/gprolog_cfli.hh M interfaces/Prolog/GNU/gprolog_efli.cc M interfaces/Prolog/GNU/gprolog_efli.hh M interfaces/Prolog/GNU/ppl_interface_generator_gprolog_pl.m4 M interfaces/Prolog/GNU/ppl_prolog_sysdep.hh M interfaces/Prolog/Makefile.am M interfaces/Prolog/Prolog_interface.dox M interfaces/Prolog/SICStus/.gitignore M interfaces/Prolog/SICStus/Makefile.am M interfaces/Prolog/SICStus/ppl_interface_generator_sicstus_sd_cc.m4 M interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh M interfaces/Prolog/SICStus/ppl_sicstus.pl M interfaces/Prolog/SICStus/sicstus_cfli.cc M interfaces/Prolog/SICStus/sicstus_cfli.h M interfaces/Prolog/SICStus/sicstus_cfli.ic M interfaces/Prolog/SICStus/sicstus_efli.cc M interfaces/Prolog/SICStus/sicstus_efli.hh M interfaces/Prolog/SICStus/sp_clpq.pl M interfaces/Prolog/SICStus/sp_pl_check.pl M interfaces/Prolog/SICStus/sp_prolog_generated_test.pl M interfaces/Prolog/SWI/.gitignore M interfaces/Prolog/SWI/Makefile.am M interfaces/Prolog/SWI/README.swiprolog M interfaces/Prolog/SWI/pl_clpq.cc M interfaces/Prolog/SWI/pl_clpq.pl M interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 M interfaces/Prolog/SWI/ppl_pl.cc M interfaces/Prolog/SWI/ppl_prolog_sysdep.hh M interfaces/Prolog/SWI/ppl_swiprolog.pl M interfaces/Prolog/SWI/swi_cfli.hh M interfaces/Prolog/SWI/swi_efli.cc M interfaces/Prolog/SWI/swi_efli.hh M interfaces/Prolog/SWI/swi_pl_check.pl M interfaces/Prolog/SWI/swi_prolog_generated_test.pl M interfaces/Prolog/XSB/.gitignore M interfaces/Prolog/XSB/Makefile.am M interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4 M interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4 M interfaces/Prolog/XSB/ppl_interface_generator_xsb_hh.m4 M interfaces/Prolog/XSB/ppl_interface_generator_xsb_prolog_generated_test_P.m4 M interfaces/Prolog/XSB/ppl_prolog_sysdep.hh M interfaces/Prolog/XSB/xsb_cfli.hh M interfaces/Prolog/XSB/xsb_clpq.P M interfaces/Prolog/XSB/xsb_clpq2.P M interfaces/Prolog/XSB/xsb_efli.cc M interfaces/Prolog/XSB/xsb_efli.hh M interfaces/Prolog/XSB/xsb_pl_check.P M interfaces/Prolog/YAP/.gitignore M interfaces/Prolog/YAP/Makefile.am M interfaces/Prolog/YAP/README.yap M interfaces/Prolog/YAP/ppl_interface_generator_yap_cc.m4 M interfaces/Prolog/YAP/ppl_prolog_sysdep.hh M interfaces/Prolog/YAP/ppl_yap.pl M interfaces/Prolog/YAP/yap_cfli.hh M interfaces/Prolog/YAP/yap_clpq.pl M interfaces/Prolog/YAP/yap_clpq2.pl M interfaces/Prolog/YAP/yap_efli.cc M interfaces/Prolog/YAP/yap_efli.hh M interfaces/Prolog/YAP/yap_pl_check.pl M interfaces/Prolog/YAP/yap_prolog_generated_test.pl M interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 M interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 M interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 M interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 M interfaces/Prolog/ppl_interface_generator_prolog_hh_code.m4 M interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4 M interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 M interfaces/Prolog/ppl_interface_generator_prolog_systems.m4 M interfaces/Prolog/ppl_prolog_common.cc M interfaces/Prolog/ppl_prolog_common.defs.hh M interfaces/Prolog/ppl_prolog_common.inlines.hh M interfaces/Prolog/ppl_prolog_sysdep_dox M interfaces/Prolog/ppl_prolog_sysindep_dox M interfaces/Prolog/tests/.gitignore M interfaces/Prolog/tests/Makefile.am M interfaces/Prolog/tests/ack.clpq M interfaces/Prolog/tests/ackn.clpq M interfaces/Prolog/tests/clpq.pl M interfaces/Prolog/tests/clpq2.pl M interfaces/Prolog/tests/expected_clpq2_int16 M interfaces/Prolog/tests/expected_clpq2_int16_a M interfaces/Prolog/tests/expected_clpq2_int32 M interfaces/Prolog/tests/expected_clpq2_int32_a M interfaces/Prolog/tests/expected_clpq2_int64 M interfaces/Prolog/tests/expected_clpq2_int64_a M interfaces/Prolog/tests/expected_clpq2_int8 M interfaces/Prolog/tests/expected_clpq2_int8_a M interfaces/Prolog/tests/expected_clpq2_mpz M interfaces/Prolog/tests/expected_clpq2_mpz_a M interfaces/Prolog/tests/expected_clpq_int16 M interfaces/Prolog/tests/expected_clpq_int16_a M interfaces/Prolog/tests/expected_clpq_int32 M interfaces/Prolog/tests/expected_clpq_int32_a M interfaces/Prolog/tests/expected_clpq_int64 M interfaces/Prolog/tests/expected_clpq_int64_a M interfaces/Prolog/tests/expected_clpq_int8 M interfaces/Prolog/tests/expected_clpq_int8_a M interfaces/Prolog/tests/expected_clpq_mpz M interfaces/Prolog/tests/expected_clpq_mpz_a M interfaces/Prolog/tests/expected_pchk_int16 M interfaces/Prolog/tests/expected_pchk_int16_a M interfaces/Prolog/tests/expected_pchk_int32 M interfaces/Prolog/tests/expected_pchk_int32_a M interfaces/Prolog/tests/expected_pchk_int64 M interfaces/Prolog/tests/expected_pchk_int64_a M interfaces/Prolog/tests/expected_pchk_int8 M interfaces/Prolog/tests/expected_pchk_int8_a M interfaces/Prolog/tests/expected_pchk_mpz M interfaces/Prolog/tests/expected_pchk_mpz_a M interfaces/Prolog/tests/expected_pgt M interfaces/Prolog/tests/fib.clpq M interfaces/Prolog/tests/mc91.clpq M interfaces/Prolog/tests/pl_check.pl M interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl.m4 M interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 M interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl M interfaces/Prolog/tests/schedule.clpq M interfaces/Prolog/tests/script_clpq M interfaces/Prolog/tests/script_clpq2 M interfaces/Prolog/tests/script_clpq2_int8 M interfaces/Prolog/tests/smm.clpq M interfaces/Prolog/tests/smmdiff.clpq M interfaces/Prolog/tests/sumto.clpq M interfaces/Prolog/tests/tak.clpq M interfaces/Python/ppl_py.cc M interfaces/interfaced_boxes.hh M interfaces/marked_pointers.hh M interfaces/ppl_interface_generator_common.m4 M interfaces/ppl_interface_generator_common_dat.m4 M interfaces/ppl_interface_generator_common_procedure_generators.m4 M interfaces/ppl_interface_generator_copyright M m4/.gitignore M m4/Makefile.am M m4/ac_check_ciao.m4 M m4/ac_check_classpath.m4 M m4/ac_check_fpu_control.m4 M m4/ac_check_gmp.m4 M m4/ac_check_sicstus_prolog.m4 M m4/ac_check_swi_prolog.m4 M m4/ac_check_xsb_prolog.m4 M m4/ac_check_yap.m4 M m4/ac_cxx_attribute_weak.m4 M m4/ac_cxx_double_binary_format.m4 M m4/ac_cxx_double_exact_output.m4 M m4/ac_cxx_float_binary_format.m4 M m4/ac_cxx_float_exact_output.m4 M m4/ac_cxx_ieee_inexact_flag.m4 M m4/ac_cxx_limit_memory.m4 M m4/ac_cxx_long_double_binary_format.m4 M m4/ac_cxx_long_double_exact_output.m4 M m4/ac_cxx_plain_char_is_signed.m4 M m4/ac_cxx_proper_long_double.m4 M m4/ac_cxx_remainder_bug.m4 M m4/ac_cxx_zero_length_arrays.m4 M m4/ac_prog_jar.m4 M m4/ac_prog_java.m4 M m4/ac_prog_javac.m4 M m4/ac_prog_javah.m4 M m4/ac_text_md5sum.m4 M m4/libtool.m4 M m4/ltoptions.m4 M m4/ltsugar.m4 M m4/ltversion.m4 M m4/lt~obsolete.m4 M m4/m4.m4 M m4/ocaml.m4 M m4/ppl.m4 M m4/ppl_c.m4 M ppl-config.sed M ppl.lsm.in M src/.gitignore M src/Affine_Space.cc M src/Affine_Space.defs.hh M src/Affine_Space.inlines.hh M src/Affine_Space.types.hh M src/Any_Pointset.defs.hh M src/Any_Pointset.inlines.hh M src/Any_Pointset.types.hh M src/Ask_Tell.defs.hh M src/Ask_Tell.inlines.hh M src/Ask_Tell.templates.hh M src/Ask_Tell.types.hh M src/BDS_Status.idefs.hh M src/BDS_Status.inlines.hh M src/BD_Shape.cc M src/BD_Shape.defs.hh M src/BD_Shape.inlines.hh M src/BD_Shape.templates.hh M src/BD_Shape.types.hh M src/BHRZ03_Certificate.cc M src/BHRZ03_Certificate.defs.hh M src/BHRZ03_Certificate.inlines.hh M src/BHRZ03_Certificate.types.hh M src/Bit_Matrix.cc M src/Bit_Matrix.defs.hh M src/Bit_Matrix.inlines.hh M src/Bit_Matrix.types.hh M src/Bit_Row.cc M src/Bit_Row.defs.hh M src/Bit_Row.inlines.hh M src/Bit_Row.types.hh M src/Boundary.defs.hh M src/Box.cc M src/Box.defs.hh M src/Box.inlines.hh M src/Box.templates.hh M src/Box.types.hh M src/Box_Status.idefs.hh M src/Box_Status.inlines.hh M src/CO_Tree.cc M src/CO_Tree.defs.hh M src/CO_Tree.inlines.hh M src/CO_Tree.templates.hh M src/CO_Tree.types.hh M src/C_Integer.hh M src/C_Polyhedron.cc M src/C_Polyhedron.defs.hh M src/C_Polyhedron.inlines.hh M src/C_Polyhedron.types.hh M src/Cast_Floating_Point_Expression.defs.hh M src/Cast_Floating_Point_Expression.inlines.hh M src/Cast_Floating_Point_Expression.templates.hh M src/Cast_Floating_Point_Expression.types.hh M src/Checked_Number.cc M src/Checked_Number.defs.hh M src/Checked_Number.inlines.hh M src/Checked_Number.templates.hh M src/Checked_Number.types.hh M src/Coefficient.cc M src/Coefficient.defs.hh M src/Coefficient.inlines.hh M src/Coefficient.types.hh M src/Coefficient_traits_template.hh M src/Concrete_Expression.cc M src/Concrete_Expression.defs.hh M src/Concrete_Expression.inlines.hh M src/Concrete_Expression.types.hh M src/Congruence.cc M src/Congruence.defs.hh M src/Congruence.inlines.hh M src/Congruence.types.hh M src/Congruence_System.cc M src/Congruence_System.defs.hh M src/Congruence_System.inlines.hh M src/Congruence_System.types.hh M src/Constant_Floating_Point_Expression.defs.hh M src/Constant_Floating_Point_Expression.inlines.hh M src/Constant_Floating_Point_Expression.types.hh M src/Constraint.cc M src/Constraint.defs.hh M src/Constraint.inlines.hh M src/Constraint.types.hh M src/Constraint_System.cc M src/Constraint_System.defs.hh M src/Constraint_System.inlines.hh M src/Constraint_System.types.hh M src/DB_Matrix.defs.hh M src/DB_Matrix.inlines.hh M src/DB_Matrix.templates.hh M src/DB_Matrix.types.hh M src/DB_Row.defs.hh M src/DB_Row.inlines.hh M src/DB_Row.templates.hh M src/DB_Row.types.hh M src/Dense_Matrix.cc M src/Dense_Matrix.defs.hh M src/Dense_Matrix.inlines.hh M src/Dense_Matrix.types.hh M src/Dense_Row.cc M src/Dense_Row.defs.hh M src/Dense_Row.inlines.hh M src/Dense_Row.templates.hh M src/Dense_Row.types.hh M src/Determinate.defs.hh M src/Determinate.inlines.hh M src/Determinate.types.hh M src/Difference_Floating_Point_Expression.defs.hh M src/Difference_Floating_Point_Expression.inlines.hh M src/Difference_Floating_Point_Expression.templates.hh M src/Difference_Floating_Point_Expression.types.hh M src/Division_Floating_Point_Expression.defs.hh M src/Division_Floating_Point_Expression.inlines.hh M src/Division_Floating_Point_Expression.templates.hh M src/Division_Floating_Point_Expression.types.hh M src/Float.cc M src/Float.defs.hh M src/Float.inlines.hh M src/Float.templates.hh M src/Floating_Point_Expression.defs.hh M src/Floating_Point_Expression.inlines.hh M src/Floating_Point_Expression.templates.hh M src/Floating_Point_Expression.types.hh M src/GMP_Integer.defs.hh M src/GMP_Integer.inlines.hh M src/GMP_Integer.types.hh M src/Generator.cc M src/Generator.defs.hh M src/Generator.inlines.hh M src/Generator.types.hh M src/Generator_System.cc M src/Generator_System.defs.hh M src/Generator_System.inlines.hh M src/Generator_System.types.hh M src/Grid.defs.hh M src/Grid.inlines.hh M src/Grid.templates.hh M src/Grid.types.hh M src/Grid_Certificate.cc M src/Grid_Certificate.defs.hh M src/Grid_Certificate.inlines.hh M src/Grid_Certificate.types.hh M src/Grid_Generator.cc M src/Grid_Generator.defs.hh M src/Grid_Generator.inlines.hh M src/Grid_Generator.types.hh M src/Grid_Generator_System.cc M src/Grid_Generator_System.defs.hh M src/Grid_Generator_System.inlines.hh M src/Grid_Generator_System.types.hh M src/Grid_Status.cc M src/Grid_Status.idefs.hh M src/Grid_Status.inlines.hh M src/Grid_chdims.cc M src/Grid_conversion.cc M src/Grid_nonpublic.cc M src/Grid_public.cc M src/Grid_simplify.cc M src/Grid_widenings.cc M src/H79_Certificate.cc M src/H79_Certificate.defs.hh M src/H79_Certificate.inlines.hh M src/H79_Certificate.types.hh M src/Has_Assign_Or_Swap.hh M src/Init.cc M src/Init.defs.hh M src/Init.inlines.hh M src/Init.types.hh M src/Integer_Interval.hh M src/Interval.defs.hh M src/Interval.inlines.hh M src/Interval.templates.hh M src/Interval.types.hh M src/Interval_Info.defs.hh M src/Interval_Info.inlines.hh M src/Interval_Info.types.hh M src/Interval_Restriction.defs.hh M src/Linear_Expression.cc M src/Linear_Expression.defs.hh M src/Linear_Expression.inlines.hh M src/Linear_Expression.types.hh M src/Linear_Form.cc M src/Linear_Form.defs.hh M src/Linear_Form.inlines.hh M src/Linear_Form.templates.hh M src/Linear_Form.types.hh M src/Linear_Row.cc M src/Linear_Row.defs.hh M src/Linear_Row.inlines.hh M src/Linear_Row.types.hh M src/Linear_System.cc M src/Linear_System.defs.hh M src/Linear_System.inlines.hh M src/Linear_System.types.hh M src/MIP_Problem.cc M src/MIP_Problem.defs.hh M src/MIP_Problem.inlines.hh M src/MIP_Problem.templates.hh M src/MIP_Problem.types.hh M src/Makefile.am M src/Matrix.defs.hh M src/Matrix.types.hh M src/Multiplication_Floating_Point_Expression.defs.hh M src/Multiplication_Floating_Point_Expression.inlines.hh M src/Multiplication_Floating_Point_Expression.templates.hh M src/Multiplication_Floating_Point_Expression.types.hh M src/NNC_Polyhedron.cc M src/NNC_Polyhedron.defs.hh M src/NNC_Polyhedron.inlines.hh M src/NNC_Polyhedron.types.hh M src/Numeric_Format.defs.hh M src/OR_Matrix.defs.hh M src/OR_Matrix.inlines.hh M src/OR_Matrix.templates.hh M src/OR_Matrix.types.hh M src/Octagonal_Shape.cc M src/Octagonal_Shape.defs.hh M src/Octagonal_Shape.inlines.hh M src/Octagonal_Shape.templates.hh M src/Octagonal_Shape.types.hh M src/Og_Status.idefs.hh M src/Og_Status.inlines.hh M src/Opposite_Floating_Point_Expression.defs.hh M src/Opposite_Floating_Point_Expression.inlines.hh M src/Opposite_Floating_Point_Expression.types.hh M src/PIP_Problem.cc M src/PIP_Problem.defs.hh M src/PIP_Problem.inlines.hh M src/PIP_Problem.templates.hh M src/PIP_Problem.types.hh M src/PIP_Tree.cc M src/PIP_Tree.defs.hh M src/PIP_Tree.inlines.hh M src/PIP_Tree.types.hh M src/Partial_Function.cc M src/Partial_Function.defs.hh M src/Partial_Function.inlines.hh M src/Partial_Function.types.hh M src/Partially_Reduced_Product.defs.hh M src/Partially_Reduced_Product.inlines.hh M src/Partially_Reduced_Product.templates.hh M src/Partially_Reduced_Product.types.hh M src/Ph_Status.cc M src/Ph_Status.idefs.hh M src/Ph_Status.inlines.hh M src/Pointset_Ask_Tell.cc M src/Pointset_Ask_Tell.defs.hh M src/Pointset_Ask_Tell.inlines.hh M src/Pointset_Ask_Tell.templates.hh M src/Pointset_Ask_Tell.types.hh M src/Pointset_Powerset.cc M src/Pointset_Powerset.defs.hh M src/Pointset_Powerset.inlines.hh M src/Pointset_Powerset.templates.hh M src/Pointset_Powerset.types.hh M src/Poly_Con_Relation.cc M src/Poly_Con_Relation.defs.hh M src/Poly_Con_Relation.inlines.hh M src/Poly_Con_Relation.types.hh M src/Poly_Gen_Relation.cc M src/Poly_Gen_Relation.defs.hh M src/Poly_Gen_Relation.inlines.hh M src/Poly_Gen_Relation.types.hh M src/Polyhedron.defs.hh M src/Polyhedron.inlines.hh M src/Polyhedron.templates.hh M src/Polyhedron.types.hh M src/Polyhedron_chdims.cc M src/Polyhedron_nonpublic.cc M src/Polyhedron_public.cc M src/Polyhedron_widenings.cc M src/Powerset.defs.hh M src/Powerset.inlines.hh M src/Powerset.templates.hh M src/Powerset.types.hh M src/Ptr_Iterator.defs.hh M src/Ptr_Iterator.inlines.hh M src/Ptr_Iterator.types.hh M src/Rational_Box.hh M src/Rational_Interval.hh M src/Result.defs.hh M src/Result.inlines.hh M src/Rounding_Dir.defs.hh M src/Rounding_Dir.inlines.hh M src/Row.defs.hh M src/Row.types.hh M src/Row_Flags.cc M src/Row_Flags.defs.hh M src/Row_Flags.inlines.hh M src/Row_Flags.types.hh M src/Scalar_Products.cc M src/Scalar_Products.defs.hh M src/Scalar_Products.inlines.hh M src/Scalar_Products.types.hh M src/Slow_Copy.hh M src/Sparse_Matrix.cc M src/Sparse_Matrix.defs.hh M src/Sparse_Matrix.inlines.hh M src/Sparse_Matrix.types.hh M src/Sparse_Row.cc M src/Sparse_Row.defs.hh M src/Sparse_Row.inlines.hh M src/Sparse_Row.templates.hh M src/Sparse_Row.types.hh M src/Sum_Floating_Point_Expression.defs.hh M src/Sum_Floating_Point_Expression.inlines.hh M src/Sum_Floating_Point_Expression.templates.hh M src/Sum_Floating_Point_Expression.types.hh M src/Temp.defs.hh M src/Temp.inlines.hh M src/Temp.templates.hh M src/Topology.hh M src/Variable.cc M src/Variable.defs.hh M src/Variable.inlines.hh M src/Variable.types.hh M src/Variable_Floating_Point_Expression.defs.hh M src/Variable_Floating_Point_Expression.inlines.hh M src/Variable_Floating_Point_Expression.types.hh M src/Variables_Set.cc M src/Variables_Set.defs.hh M src/Variables_Set.inlines.hh M src/Variables_Set.types.hh M src/WRD_coefficient_types.defs.hh M src/WRD_coefficient_types.inlines.hh M src/Weight_Profiler.cc M src/Weight_Profiler.defs.hh M src/Widening_Function.defs.hh M src/Widening_Function.inlines.hh M src/Widening_Function.types.hh M src/algorithms.hh M src/assert.hh M src/assign_or_swap.hh M src/c_streambuf.cc M src/c_streambuf.defs.hh M src/c_streambuf.inlines.hh M src/c_streambuf.types.hh M src/checked.cc M src/checked.defs.hh M src/checked.inlines.hh M src/checked_ext.defs.hh M src/checked_ext.inlines.hh M src/checked_float.inlines.hh M src/checked_int.inlines.hh M src/checked_mpq.inlines.hh M src/checked_mpz.inlines.hh M src/checked_numeric_limits.hh M src/compiler.hh M src/conversion.cc M src/distances.defs.hh M src/distances.inlines.hh M src/distances.types.hh M src/fpu-c99.inlines.hh M src/fpu-ia32.cc M src/fpu-ia32.inlines.hh M src/fpu-none.inlines.hh M src/fpu-sparc.inlines.hh M src/fpu.defs.hh M src/fpu.types.hh M src/globals.cc M src/globals.defs.hh M src/globals.inlines.hh M src/globals.types.hh M src/initializer.hh M src/intervals.defs.hh M src/iterator_to_const.defs.hh M src/iterator_to_const.inlines.hh M src/iterator_to_const.types.hh M src/linearize.hh M src/math_utilities.defs.hh M src/math_utilities.inlines.hh M src/max_space_dimension.hh M src/meta_programming.hh M src/minimize.cc M src/mp_std_bits.cc M src/mp_std_bits.defs.hh M src/mp_std_bits.inlines.hh M src/namespaces.hh M src/ppl-config.cc.in M src/ppl_header.hh M src/simplify.cc M src/stdiobuf.cc M src/stdiobuf.defs.hh M src/stdiobuf.inlines.hh M src/stdiobuf.types.hh M src/swapping_sort.icc M src/termination.cc M src/termination.defs.hh M src/termination.templates.hh M src/version.cc M src/version.hh.in M src/wrap_assign.hh M src/wrap_string.cc M src/wrap_string.hh M tests/.gitignore M tests/Ask_Tell/.gitignore M tests/Ask_Tell/Makefile.am M tests/Ask_Tell/append1.cc M tests/BD_Shape/.gitignore M tests/BD_Shape/Makefile.am M tests/BD_Shape/addconstraints1.cc M tests/BD_Shape/addspacedims1.cc M tests/BD_Shape/affinedimension1.cc M tests/BD_Shape/affineimage1.cc M tests/BD_Shape/affineimage2.cc M tests/BD_Shape/affinepreimage1.cc M tests/BD_Shape/ascii_dump_load1.cc M tests/BD_Shape/bgp99extrapolation1.cc M tests/BD_Shape/bhmz05widening1.cc M tests/BD_Shape/bhz03widening1.cc M tests/BD_Shape/bounded1.cc M tests/BD_Shape/boundedaffineimage1.cc M tests/BD_Shape/boundedaffinepreimage1.cc M tests/BD_Shape/bounds1.cc M tests/BD_Shape/cc76extrapolation1.cc M tests/BD_Shape/cc76narrowing1.cc M tests/BD_Shape/closure1.cc M tests/BD_Shape/concatenate1.cc M tests/BD_Shape/congruences1.cc M tests/BD_Shape/constrains1.cc M tests/BD_Shape/constraints1.cc M tests/BD_Shape/contains1.cc M tests/BD_Shape/containsintegerpoint1.cc M tests/BD_Shape/difference1.cc M tests/BD_Shape/discrete1.cc M tests/BD_Shape/disjoint1.cc M tests/BD_Shape/dropsomenonintegerpoints1.cc M tests/BD_Shape/empty1.cc M tests/BD_Shape/equality1.cc M tests/BD_Shape/expandspacedim1.cc M tests/BD_Shape/foldspacedims1.cc M tests/BD_Shape/frequency1.cc M tests/BD_Shape/frombdshape1.cc M tests/BD_Shape/frombox1.cc M tests/BD_Shape/fromgensys1.cc M tests/BD_Shape/fromgrid1.cc M tests/BD_Shape/fromoctagonalshape1.cc M tests/BD_Shape/frompolyhedron1.cc M tests/BD_Shape/fromspacedim1.cc M tests/BD_Shape/generalizedaffineimage1.cc M tests/BD_Shape/generalizedaffineimage2.cc M tests/BD_Shape/generalizedaffinepreimage1.cc M tests/BD_Shape/generalizedaffinepreimage2.cc M tests/BD_Shape/generalizedaffinepreimage3.cc M tests/BD_Shape/geomcovers1.cc M tests/BD_Shape/h79widening1.cc M tests/BD_Shape/integerupperboundifexact1.cc M tests/BD_Shape/intersection1.cc M tests/BD_Shape/limitedbhmz05extrapolation1.cc M tests/BD_Shape/limitedcc76extrapolation1.cc M tests/BD_Shape/limitedh79extrapolation1.cc M tests/BD_Shape/mapspacedims1.cc M tests/BD_Shape/max_min1.cc M tests/BD_Shape/max_min2.cc M tests/BD_Shape/maxspacedim1.cc M tests/BD_Shape/membytes1.cc M tests/BD_Shape/minconstraints1.cc M tests/BD_Shape/relations1.cc M tests/BD_Shape/relations2.cc M tests/BD_Shape/relations3.cc M tests/BD_Shape/relations4.cc M tests/BD_Shape/removespacedims1.cc M tests/BD_Shape/simplifyusingcontext1.cc M tests/BD_Shape/timeelapse1.cc M tests/BD_Shape/unconstrain1.cc M tests/BD_Shape/universe1.cc M tests/BD_Shape/upperbound1.cc M tests/BD_Shape/upperboundifexact1.cc M tests/BD_Shape/wrap1.cc M tests/BD_Shape/writebdshape1.cc M tests/Box/.gitignore M tests/Box/Makefile.am M tests/Box/addconstraints1.cc M tests/Box/addspacedims1.cc M tests/Box/affinedimension1.cc M tests/Box/affineimage1.cc M tests/Box/affinepreimage1.cc M tests/Box/ascii_dump_load1.cc M tests/Box/bgp99extrapolation1.cc M tests/Box/bhz03widening1.cc M tests/Box/bounded1.cc M tests/Box/boundedaffineimage1.cc M tests/Box/boundedaffinepreimage1.cc M tests/Box/cc76narrowing1.cc M tests/Box/cc76widening.cc M tests/Box/concatenate1.cc M tests/Box/congruences1.cc M tests/Box/constrains1.cc M tests/Box/constraints1.cc M tests/Box/contains1.cc M tests/Box/containsintegerpoint1.cc M tests/Box/difference1.cc M tests/Box/discrete1.cc M tests/Box/disjoint1.cc M tests/Box/empty1.cc M tests/Box/equality1.cc M tests/Box/expandspacedim1.cc M tests/Box/foldspacedims1.cc M tests/Box/frequency1.cc M tests/Box/frombdshape1.cc M tests/Box/frombox1.cc M tests/Box/fromgensys1.cc M tests/Box/fromgrid1.cc M tests/Box/frompartiallyreducedproduct1.cc M tests/Box/frompolyhedron1.cc M tests/Box/frompolyhedron2.cc M tests/Box/fromspacedim1.cc M tests/Box/generalizedaffineimage1.cc M tests/Box/generalizedaffineimage2.cc M tests/Box/generalizedaffinepreimage1.cc M tests/Box/geomcovers1.cc M tests/Box/intersection1.cc M tests/Box/interval1.cc M tests/Box/limitedcc76extrapolation1.cc M tests/Box/mapspacedims1.cc M tests/Box/max_min1.cc M tests/Box/maxspacedim1.cc M tests/Box/membytes1.cc M tests/Box/minconstraints1.cc M tests/Box/propagateconstraints1.cc M tests/Box/propagateconstraints2.cc M tests/Box/refinewithcongruence1.cc M tests/Box/refinewithcongruences1.cc M tests/Box/refinewithconstraint1.cc M tests/Box/refinewithconstraint2.cc M tests/Box/refinewithconstraints1.cc M tests/Box/refinewithconstraints2.cc M tests/Box/relations1.cc M tests/Box/relations2.cc M tests/Box/relations3.cc M tests/Box/relations4.cc M tests/Box/removespacedims1.cc M tests/Box/simplifyusingcontext1.cc M tests/Box/timeelapse1.cc M tests/Box/topclosed1.cc M tests/Box/unconstrain1.cc M tests/Box/universe1.cc M tests/Box/upperbound1.cc M tests/Box/upperboundifexact1.cc M tests/Box/wrap1.cc M tests/Box/writebox1.cc M tests/CO_Tree/.gitignore M tests/CO_Tree/Makefile.am M tests/CO_Tree/cotree1.cc M tests/Concrete_Expression/.gitignore M tests/Concrete_Expression/C_Expr.cc M tests/Concrete_Expression/C_Expr.defs.hh M tests/Concrete_Expression/C_Expr.inlines.hh M tests/Concrete_Expression/C_Expr.types.hh M tests/Concrete_Expression/Makefile.am M tests/Concrete_Expression/bdshape1.cc M tests/Concrete_Expression/bdshape2.cc M tests/Concrete_Expression/digitalfilters1.cc M tests/Concrete_Expression/linearform1.cc M tests/Concrete_Expression/linearize.cc M tests/Concrete_Expression/octagonalshape1.cc M tests/Concrete_Expression/octagonalshape2.cc M tests/Concrete_Expression/polyhedron1.cc M tests/Concrete_Expression/polyhedron2.cc M tests/Grid/.gitignore M tests/Grid/Makefile.am M tests/Grid/addcongruence1.cc M tests/Grid/addcongruences1.cc M tests/Grid/addconstraint1.cc M tests/Grid/addconstraints1.cc M tests/Grid/addgenerator1.cc M tests/Grid/addgenerators1.cc M tests/Grid/addspacedims1.cc M tests/Grid/affinedim1.cc M tests/Grid/affineimage1.cc M tests/Grid/affineimage2.cc M tests/Grid/affinepreimage1.cc M tests/Grid/affinepreimage2.cc M tests/Grid/approximatepartition1.cc M tests/Grid/asciidumpload1.cc M tests/Grid/asciidumpload2.cc M tests/Grid/asciidumpload3.cc M tests/Grid/asciidumpload4.cc M tests/Grid/asciidumpload5.cc M tests/Grid/asciidumpload6.cc M tests/Grid/bhz03widening1.cc M tests/Grid/bounded1.cc M tests/Grid/boundedaffineimage1.cc M tests/Grid/boundedaffinepreimage1.cc M tests/Grid/boundingbox1.cc M tests/Grid/bounds1.cc M tests/Grid/certificate1.cc M tests/Grid/concatenate1.cc M tests/Grid/congruence1.cc M tests/Grid/congruences1.cc M tests/Grid/congruences2.cc M tests/Grid/constraints1.cc M tests/Grid/contains1.cc M tests/Grid/containsintegerpoint1.cc M tests/Grid/discrete1.cc M tests/Grid/disjoint1.cc M tests/Grid/dropnonintegerpoints1.cc M tests/Grid/equals1.cc M tests/Grid/expandspacedim1.cc M tests/Grid/foldspacedims1.cc M tests/Grid/frequency1.cc M tests/Grid/frombdshape1.cc M tests/Grid/frombox1.cc M tests/Grid/fromgrid1.cc M tests/Grid/fromoctagonalshape1.cc M tests/Grid/frompolyhedron1.cc M tests/Grid/generalizedaffineimage1.cc M tests/Grid/generalizedaffineimage2.cc M tests/Grid/generalizedaffineimage3.cc M tests/Grid/generalizedaffinepreimage1.cc M tests/Grid/generalizedaffinepreimage2.cc M tests/Grid/generalizedaffinepreimage3.cc M tests/Grid/generator1.cc M tests/Grid/generators1.cc M tests/Grid/generators2.cc M tests/Grid/grid1.cc M tests/Grid/grid2.cc M tests/Grid/grid3.cc M tests/Grid/griddifference1.cc M tests/Grid/intersection1.cc M tests/Grid/isempty1.cc M tests/Grid/isuniverse1.cc M tests/Grid/limitedextrapolation1.cc M tests/Grid/limitedextrapolation2.cc M tests/Grid/limitedextrapolation3.cc M tests/Grid/mapspacedims1.cc M tests/Grid/maxmin1.cc M tests/Grid/membytes1.cc M tests/Grid/mincongruences1.cc M tests/Grid/mingenerators1.cc M tests/Grid/outputoperator1.cc M tests/Grid/outputoperator2.cc M tests/Grid/outputoperator3.cc M tests/Grid/partition1.cc M tests/Grid/powersetdifference1.cc M tests/Grid/powersetgeometricallycovers1.cc M tests/Grid/powersetgeometricallyequals1.cc M tests/Grid/refinewithcongruences1.cc M tests/Grid/refinewithconstraints1.cc M tests/Grid/relations1.cc M tests/Grid/relations2.cc M tests/Grid/relations3.cc M tests/Grid/removespacedims1.cc M tests/Grid/removespacedims2.cc M tests/Grid/simplifyusingcontext1.cc M tests/Grid/timeelapse1.cc M tests/Grid/topclosed1.cc M tests/Grid/topclosure1.cc M tests/Grid/unconstrain1.cc M tests/Grid/upperbound1.cc M tests/Grid/upperbound2.cc M tests/Grid/widening1.cc M tests/Grid/widening2.cc M tests/Grid/widening3.cc M tests/Grid/wrap1.cc M tests/Grid/writecongruencesystem.cc M tests/MIP_Problem/.gitignore M tests/MIP_Problem/Makefile.am M tests/MIP_Problem/ascii_dump_load1.cc M tests/MIP_Problem/exceptions1.cc M tests/MIP_Problem/mipproblem1.cc M tests/MIP_Problem/mipproblem2.cc M tests/MIP_Problem/mipproblem3.cc M tests/Makefile.am M tests/Octagonal_Shape/.gitignore M tests/Octagonal_Shape/Makefile.am M tests/Octagonal_Shape/addspacedims1.cc M tests/Octagonal_Shape/affinedimension1.cc M tests/Octagonal_Shape/affineimage1.cc M tests/Octagonal_Shape/affineimage2.cc M tests/Octagonal_Shape/affinepreimage1.cc M tests/Octagonal_Shape/affinepreimage2.cc M tests/Octagonal_Shape/ascii_dump_load1.cc M tests/Octagonal_Shape/bhmz05widening1.cc M tests/Octagonal_Shape/bhz03widening1.cc M tests/Octagonal_Shape/bounded1.cc M tests/Octagonal_Shape/boundedaffineimage1.cc M tests/Octagonal_Shape/boundedaffinepreimage1.cc M tests/Octagonal_Shape/bounds1.cc M tests/Octagonal_Shape/cc76extrapolation1.cc M tests/Octagonal_Shape/cc76narrowing1.cc M tests/Octagonal_Shape/chinainit.cc M tests/Octagonal_Shape/concatenate1.cc M tests/Octagonal_Shape/congruences1.cc M tests/Octagonal_Shape/constrains1.cc M tests/Octagonal_Shape/constraints1.cc M tests/Octagonal_Shape/contains1.cc M tests/Octagonal_Shape/containsintegerpoint1.cc M tests/Octagonal_Shape/difference1.cc M tests/Octagonal_Shape/discrete1.cc M tests/Octagonal_Shape/disjoint1.cc M tests/Octagonal_Shape/dropsomenonintegerpoints1.cc M tests/Octagonal_Shape/empty1.cc M tests/Octagonal_Shape/expandspacedim1.cc M tests/Octagonal_Shape/foldspacedims1.cc M tests/Octagonal_Shape/frequency1.cc M tests/Octagonal_Shape/frombdshape1.cc M tests/Octagonal_Shape/frombox1.cc M tests/Octagonal_Shape/fromgensys1.cc M tests/Octagonal_Shape/fromgrid1.cc M tests/Octagonal_Shape/fromoctagonalshape1.cc M tests/Octagonal_Shape/frompolyhedron1.cc M tests/Octagonal_Shape/fromspacedim1.cc M tests/Octagonal_Shape/generalizedaffineimage1.cc M tests/Octagonal_Shape/generalizedaffineimage2.cc M tests/Octagonal_Shape/generalizedaffineimage3.cc M tests/Octagonal_Shape/generalizedaffineimage4.cc M tests/Octagonal_Shape/generalizedaffineimage5.cc M tests/Octagonal_Shape/generalizedaffinepreimage1.cc M tests/Octagonal_Shape/generalizedaffinepreimage2.cc M tests/Octagonal_Shape/generalizedaffinepreimage3.cc M tests/Octagonal_Shape/generalizedaffinepreimage4.cc M tests/Octagonal_Shape/integerupperboundifexact1.cc M tests/Octagonal_Shape/intersection1.cc M tests/Octagonal_Shape/limitedbhmz05extrapolation1.cc M tests/Octagonal_Shape/limitedcc76extrapolation1.cc M tests/Octagonal_Shape/mapspacedims1.cc M tests/Octagonal_Shape/max_min1.cc M tests/Octagonal_Shape/max_min2.cc M tests/Octagonal_Shape/maxspacedim1.cc M tests/Octagonal_Shape/membytes1.cc M tests/Octagonal_Shape/minconstraints1.cc M tests/Octagonal_Shape/relatwithcons1.cc M tests/Octagonal_Shape/relatwithcons2.cc M tests/Octagonal_Shape/relatwithcons3.cc M tests/Octagonal_Shape/relatwithgen1.cc M tests/Octagonal_Shape/removespacedims1.cc M tests/Octagonal_Shape/simplifyusingcontext1.cc M tests/Octagonal_Shape/timeelapse1.cc M tests/Octagonal_Shape/unconstrain1.cc M tests/Octagonal_Shape/universe1.cc M tests/Octagonal_Shape/upperbound1.cc M tests/Octagonal_Shape/upperboundifexact1.cc M tests/Octagonal_Shape/wrap1.cc M tests/Octagonal_Shape/writeoctagon1.cc M tests/PIP_Problem/.gitignore M tests/PIP_Problem/Makefile.am M tests/PIP_Problem/ascii_dump_load1.cc M tests/PIP_Problem/exceptions1.cc M tests/PIP_Problem/pipproblem1.cc M tests/PIP_Problem/pipproblem2.cc M tests/PIP_Problem/pipproblem3.cc M tests/Partially_Reduced_Product/.gitignore M tests/Partially_Reduced_Product/Makefile.am M tests/Partially_Reduced_Product/addcongruences1.cc M tests/Partially_Reduced_Product/addconstraints1.cc M tests/Partially_Reduced_Product/affineimage1.cc M tests/Partially_Reduced_Product/asciidumpload1.cc M tests/Partially_Reduced_Product/bounded1.cc M tests/Partially_Reduced_Product/boundedaffineimage1.cc M tests/Partially_Reduced_Product/bounds1.cc M tests/Partially_Reduced_Product/concatenate1.cc M tests/Partially_Reduced_Product/congruences1.cc M tests/Partially_Reduced_Product/congruencesproduct1.cc M tests/Partially_Reduced_Product/constraints1.cc M tests/Partially_Reduced_Product/constraintsproduct1.cc M tests/Partially_Reduced_Product/contains1.cc M tests/Partially_Reduced_Product/difference1.cc M tests/Partially_Reduced_Product/dimension1.cc M tests/Partially_Reduced_Product/directproduct1.cc M tests/Partially_Reduced_Product/directproduct2.cc M tests/Partially_Reduced_Product/directproduct3.cc M tests/Partially_Reduced_Product/directproduct4.cc M tests/Partially_Reduced_Product/directproduct5.cc M tests/Partially_Reduced_Product/directproduct6.cc M tests/Partially_Reduced_Product/discrete1.cc M tests/Partially_Reduced_Product/disjoint1.cc M tests/Partially_Reduced_Product/dropsomenonintegerpoints1.cc M tests/Partially_Reduced_Product/equals1.cc M tests/Partially_Reduced_Product/frombdshape1.cc M tests/Partially_Reduced_Product/frombox1.cc M tests/Partially_Reduced_Product/fromgrid1.cc M tests/Partially_Reduced_Product/fromoctagonalshape1.cc M tests/Partially_Reduced_Product/frompolyhedron1.cc M tests/Partially_Reduced_Product/fromproduct1.cc M tests/Partially_Reduced_Product/generalizedaffineimage1.cc M tests/Partially_Reduced_Product/intersection1.cc M tests/Partially_Reduced_Product/isempty1.cc M tests/Partially_Reduced_Product/isuniverse1.cc M tests/Partially_Reduced_Product/maxmin1.cc M tests/Partially_Reduced_Product/partially_reduced_product_test.hh M tests/Partially_Reduced_Product/partiallyreducedproduct1.cc M tests/Partially_Reduced_Product/partiallyreducedproduct2.cc M tests/Partially_Reduced_Product/partiallyreducedproduct3.cc M tests/Partially_Reduced_Product/partiallyreducedproduct4.cc M tests/Partially_Reduced_Product/refinewithcongruences1.cc M tests/Partially_Reduced_Product/refinewithconstraints1.cc M tests/Partially_Reduced_Product/relations1.cc M tests/Partially_Reduced_Product/shapepreservingproduct1.cc M tests/Partially_Reduced_Product/smashproduct1.cc M tests/Partially_Reduced_Product/spacedims1.cc M tests/Partially_Reduced_Product/timeelapse1.cc M tests/Partially_Reduced_Product/topclosed1.cc M tests/Partially_Reduced_Product/topclosure1.cc M tests/Partially_Reduced_Product/upperbound1.cc M tests/Partially_Reduced_Product/widening1.cc M tests/Polyhedron/.gitignore M tests/Polyhedron/Makefile.am M tests/Polyhedron/addcongruence1.cc M tests/Polyhedron/addcongruences1.cc M tests/Polyhedron/addconstraint1.cc M tests/Polyhedron/addconstraints1.cc M tests/Polyhedron/addconstraints2.cc M tests/Polyhedron/addgenerator1.cc M tests/Polyhedron/addgenerator2.cc M tests/Polyhedron/addgenerators1.cc M tests/Polyhedron/addgenerators2.cc M tests/Polyhedron/addspacedims1.cc M tests/Polyhedron/addspacedims2.cc M tests/Polyhedron/affineimage1.cc M tests/Polyhedron/affineimage2.cc M tests/Polyhedron/affinepreimage1.cc M tests/Polyhedron/affinetrans.cc M tests/Polyhedron/append1.cc M tests/Polyhedron/append2.cc M tests/Polyhedron/ascii_dump_load1.cc M tests/Polyhedron/ascii_dump_load2.cc M tests/Polyhedron/ascii_dump_load3.cc M tests/Polyhedron/bgp99extrapolation1.cc M tests/Polyhedron/bgp99extrapolation2.cc M tests/Polyhedron/bhrz03widening1.cc M tests/Polyhedron/bhrz03widening2.cc M tests/Polyhedron/bhrz03widening3.cc M tests/Polyhedron/bhz03widening1.cc M tests/Polyhedron/bounded1.cc M tests/Polyhedron/boundedaffineimage1.cc M tests/Polyhedron/boundedaffinepreimage1.cc M tests/Polyhedron/boundedbhrz03extrapolation1.cc M tests/Polyhedron/boundedh79extrapolation1.cc M tests/Polyhedron/bounds1.cc M tests/Polyhedron/cnncconversion1.cc M tests/Polyhedron/concatenate1.cc M tests/Polyhedron/congruences1.cc M tests/Polyhedron/constrains1.cc M tests/Polyhedron/constraints1.cc M tests/Polyhedron/contains1.cc M tests/Polyhedron/contains2.cc M tests/Polyhedron/containsintegerpoint1.cc M tests/Polyhedron/densematrix1.cc M tests/Polyhedron/disjoint1.cc M tests/Polyhedron/disjoint2.cc M tests/Polyhedron/dropsomenonintegerpoints1.cc M tests/Polyhedron/dropsomenonintegerpoints2.cc M tests/Polyhedron/dualhypercubes.cc M tests/Polyhedron/empty1.cc M tests/Polyhedron/equals1.cc M tests/Polyhedron/exceptions1.cc M tests/Polyhedron/exceptions2.cc M tests/Polyhedron/exceptions3.cc M tests/Polyhedron/expandspacedim1.cc M tests/Polyhedron/expandspacedim2.cc M tests/Polyhedron/foldspacedims1.cc M tests/Polyhedron/foldspacedims2.cc M tests/Polyhedron/frequency1.cc M tests/Polyhedron/frombdshape1.cc M tests/Polyhedron/frombox1.cc M tests/Polyhedron/frombox2.cc M tests/Polyhedron/fromgrid1.cc M tests/Polyhedron/fromoctagonalshape1.cc M tests/Polyhedron/generalizedaffineimage1.cc M tests/Polyhedron/generalizedaffineimage2.cc M tests/Polyhedron/generalizedaffinepreimage1.cc M tests/Polyhedron/generalizedaffinepreimage2.cc M tests/Polyhedron/generators1.cc M tests/Polyhedron/geomcovers1.cc M tests/Polyhedron/h79widening1.cc M tests/Polyhedron/h79widening2.cc M tests/Polyhedron/hybrid.cc M tests/Polyhedron/intersection1.cc M tests/Polyhedron/limitedbhrz03extrapolation1.cc M tests/Polyhedron/limitedh79extrapolation1.cc M tests/Polyhedron/linearexpression1.cc M tests/Polyhedron/linearpartition1.cc M tests/Polyhedron/linearsystem1.cc M tests/Polyhedron/mapspacedims1.cc M tests/Polyhedron/max_min1.cc M tests/Polyhedron/maxspacedim1.cc M tests/Polyhedron/mc91.cc M tests/Polyhedron/membytes1.cc M tests/Polyhedron/memory1.cc M tests/Polyhedron/memory2.cc M tests/Polyhedron/minconstraints1.cc M tests/Polyhedron/minconstraints2.cc M tests/Polyhedron/mingenerators1.cc M tests/Polyhedron/mingenerators2.cc M tests/Polyhedron/nncminimize1.cc M tests/Polyhedron/nncminimize2.cc M tests/Polyhedron/numberinput1.cc M tests/Polyhedron/onepoint.cc M tests/Polyhedron/permute.cc M tests/Polyhedron/polydifference1.cc M tests/Polyhedron/polydifference2.cc M tests/Polyhedron/polyhull1.cc M tests/Polyhedron/polyhull2.cc M tests/Polyhedron/polyhullifexact1.cc M tests/Polyhedron/polyhullifexact2.cc M tests/Polyhedron/randphull1.cc M tests/Polyhedron/refinewithcongruence1.cc M tests/Polyhedron/refinewithcongruences1.cc M tests/Polyhedron/refinewithconstraint1.cc M tests/Polyhedron/refinewithconstraints1.cc M tests/Polyhedron/relations1.cc M tests/Polyhedron/relations2.cc M tests/Polyhedron/relations3.cc M tests/Polyhedron/removespacedims1.cc M tests/Polyhedron/removespacedims2.cc M tests/Polyhedron/simplifyusingcontext1.cc M tests/Polyhedron/smm1.cc M tests/Polyhedron/termination1.cc M tests/Polyhedron/termination2.cc M tests/Polyhedron/timeelapse1.cc M tests/Polyhedron/timeelapse2.cc M tests/Polyhedron/topclosed1.cc M tests/Polyhedron/topclosure1.cc M tests/Polyhedron/unconstrain1.cc M tests/Polyhedron/universe1.cc M tests/Polyhedron/universe2.cc M tests/Polyhedron/variablesset1.cc M tests/Polyhedron/watchdog1.cc M tests/Polyhedron/weightwatch1.cc M tests/Polyhedron/wrap1.cc M tests/Polyhedron/wrap2.cc M tests/Polyhedron/writeconsys1.cc M tests/Polyhedron/writegensys1.cc M tests/Polyhedron/writepolyhedron1.cc M tests/Polyhedron/writepolyhedron2.cc M tests/Polyhedron/writerelation1.cc M tests/Polyhedron/writevariable1.cc M tests/Powerset/.gitignore M tests/Powerset/Makefile.am M tests/Powerset/addcongruences1.cc M tests/Powerset/addconstraints1.cc M tests/Powerset/affinedimension1.cc M tests/Powerset/affineimage1.cc M tests/Powerset/affinepreimage1.cc M tests/Powerset/bounded1.cc M tests/Powerset/bounds1.cc M tests/Powerset/closed1.cc M tests/Powerset/closure1.cc M tests/Powerset/collapse1.cc M tests/Powerset/concatenate1.cc M tests/Powerset/contains1.cc M tests/Powerset/containsintegerpoint1.cc M tests/Powerset/difference1.cc M tests/Powerset/discrete1.cc M tests/Powerset/disjoint1.cc M tests/Powerset/disjunct1.cc M tests/Powerset/empty1.cc M tests/Powerset/entails1.cc M tests/Powerset/equals1.cc M tests/Powerset/frombdshape1.cc M tests/Powerset/frombox1.cc M tests/Powerset/fromcongruences1.cc M tests/Powerset/fromconstraints1.cc M tests/Powerset/fromgrid1.cc M tests/Powerset/fromoctagonalshape1.cc M tests/Powerset/frompolyhedron1.cc M tests/Powerset/fromspacedimension1.cc M tests/Powerset/intersection1.cc M tests/Powerset/maxmin1.cc M tests/Powerset/meet1.cc M tests/Powerset/membytes1.cc M tests/Powerset/powerset1.cc M tests/Powerset/reduce1.cc M tests/Powerset/refinewith1.cc M tests/Powerset/relationwith1.cc M tests/Powerset/simplifyusingcontext1.cc M tests/Powerset/size1.cc M tests/Powerset/spacedims1.cc M tests/Powerset/universe1.cc M tests/Powerset/upperbound1.cc M tests/README M tests/Random_Number_Generator.defs.hh M tests/Random_Number_Generator.inlines.hh M tests/Random_Number_Generator.types.hh M tests/Sparse_Matrix/.gitignore M tests/Sparse_Matrix/Makefile.am M tests/Sparse_Matrix/sparsematrix1.cc M tests/Sparse_Matrix/sparserow1.cc M tests/files.cc M tests/files.hh M tests/ppl_test.cc M tests/ppl_test.hh M tests/valgrind_suppressions M utils/.gitignore M utils/Makefile.am M utils/build_header.in M utils/text2cxxarray.in M utils/timings.cc M utils/timings.hh -- Best Regards, PcX
Greetings -- On Tue, Aug 9, 2011 at 1:51 PM, PcX <xunxun1982@gmail.com> wrote:
于 2011/8/10 3:39, Anthony Foiani 写道:
Greetings --
On Tue, Aug 9, 2011 at 12:00 PM, PcX<xunxun1982@gmail.com> wrote:
I mean latest ppl git is master branch. 6.10 is ppl git at the time of June 10th.
This should be a perfect use case for "git bisect". Could you try that, to see if you can find the commit where things broke for you?
Regards, Tony
I'm not familiar with git commands. When I type git bisect, it will output: git bisect [help|start|bad|good|skip|next|reset|visualize|replay|log|run]
Which option should I use?
You can take a quick look at the manual here: http://www.kernel.org/pub/software/scm/git/docs/git-bisect.html It's a helper for a binary search. Basic usage: 1. Reset to known most current fetch: git bisect start 2. Tell git that the current commit is bad: git bisect bad 3. Find the id of the commit that you pulled on 06-10 (the commit is the first thing on the output line, a series of hex characters): git reflog show 'master@{2011-06-10}' -1 4. Tell git that was the good commit: git bisect good <commit-id> At that point, git should check out a version of the library "in the middle" between those two revisions. Try to do your build there: if it works, you mark that as good; if it doesn't, you mark it as bad: git bisect good # if it worked git bisect bad # if it didn't And do that until you find the problem. Regards, Tony
于 2011/8/10 4:57, Anthony Foiani 写道:
Greetings --
On Tue, Aug 9, 2011 at 1:51 PM, PcX<xunxun1982@gmail.com> wrote:
于 2011/8/10 3:39, Anthony Foiani 写道:
Greetings --
On Tue, Aug 9, 2011 at 12:00 PM, PcX<xunxun1982@gmail.com> wrote:
I mean latest ppl git is master branch. 6.10 is ppl git at the time of June 10th. This should be a perfect use case for "git bisect". Could you try that, to see if you can find the commit where things broke for you?
Regards, Tony I'm not familiar with git commands. When I type git bisect, it will output: git bisect [help|start|bad|good|skip|next|reset|visualize|replay|log|run]
Which option should I use? You can take a quick look at the manual here:
http://www.kernel.org/pub/software/scm/git/docs/git-bisect.html
It's a helper for a binary search.
Basic usage:
1. Reset to known most current fetch:
git bisect start
2. Tell git that the current commit is bad:
git bisect bad
3. Find the id of the commit that you pulled on 06-10 (the commit is the first thing on the output line, a series of hex characters):
git reflog show 'master@{2011-06-10}' -1
4. Tell git that was the good commit:
git bisect good<commit-id>
At that point, git should check out a version of the library "in the middle" between those two revisions. Try to do your build there: if it works, you mark that as good; if it doesn't, you mark it as bad:
git bisect good # if it worked git bisect bad # if it didn't
And do that until you find the problem.
Regards, Tony It's too troublesome.. I try to checkout the version at 2011/7/11, and that's no problem. But I checkout the version at 2011/7/24, it will cause my problem. So there is something wrong between 2011/7/11 and 2011/7/24.
-- Best Regards, PcX
On 08/10/11 04:04, PcX wrote:
I try to checkout the version at 2011/7/11, and that's no problem. But I checkout the version at 2011/7/24, it will cause my problem. So there is something wrong between 2011/7/11 and 2011/7/24.
Indeed. In a commit of 2011/07/23 I forgot a pair of double quotes? Can you please check if this solves the problem for you? Thanks, Roberto P.S. Thank you too Anthony! -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
于 2011/8/10 15:23, Roberto Bagnara 写道:
On 08/10/11 04:04, PcX wrote:
I try to checkout the version at 2011/7/11, and that's no problem. But I checkout the version at 2011/7/24, it will cause my problem. So there is something wrong between 2011/7/11 and 2011/7/24.
Indeed. In a commit of 2011/07/23 I forgot a pair of double quotes? Can you please check if this solves the problem for you? Thanks,
Roberto
P.S. Thank you too Anthony!
I pull the latest, but it also has the problem, so there is another problem. Error log: checking for the GMP library version 4.1.3 or above... ./configure: line 9983: cat: No such file or directory ./configure: line 2292: sed: No such file or directory ./configure: line 2296: rm: No such file or directory no ./configure: line 10052: rm: No such file or directory ./configure: eval: line 10172: syntax error near unexpected token `(' ./configure: eval: line 10172: `PATH=.:/usr/local/bin:/mingw/bin:/bin:/e/mypack/mingw-eq/bin:/e/mypack/mingw-eq/libexec/gcc/i686-pc-mingw32/4.7.0:/e/mingw32/bin:/e/mingw32/libexec/gcc/i686-pc-mingw32/4.7.0:/c/Program Files (x86)/NVIDIA Corporation/PhysX/Common:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/mpirt:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/mpirt:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/compiler/lib:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/tbb/vc10:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/tbb/vc10:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/ipp:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/ipp:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/mkl:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/mkl:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/compiler/lib:/c/Windows/system32:/c/Windows:/c/Windows/System32/Wbem:/c/Windows/System32/WindowsPowerShell/v1.0/:/f/Backup/SystemTools/MaintenanceTools/Windows7Master:/c/Program Files (x86)/Common Files/Thunder Network/KanKan/Codecs:/c/Program Files/Lenovo/Bluetooth Software/:/c/Program Files/Lenovo/Bluetooth Software/syswow64:/c/Program Files/Intel/WiFi/bin/:/c/Program Files/Common Files/Intel/WirelessCommon/:/e/MyPack/Tools/TortoiseSVN/bin:/e/MyPack/Tools/TortoiseGit/bin:/c/Program Files/Microsoft Windows Performance Toolkit/:/d/Program Files (x86)/QuickTime/QTSystem/:/e/MyPack/MinGW/bin:/e/MyPack/Compiler/Python27:/e/MyPack/GnuWin32/bin:/e/MyPack/3rdLib/GUI/Qt/Qt_lib_vc/bin:/e/MyPack/Cygwin/bin:/usr/bin' configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. ./configure: line 366: sed: No such file or directory ./configure: line 321: sort: No such file or directory ./configure: line 318: sed: No such file or directory ./configure: line 336: sort: No such file or directory ./configure: line 360: cat: No such file or directory ./configure: line 367: rm: No such file or directory -- Best Regards, PcX
On 08/10/11 16:41, PcX wrote:
I pull the latest, but it also has the problem, so there is another problem.
Ooopss... my fault again. Should be OK now. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
于 2011/8/11 0:23, Roberto Bagnara 写道:
On 08/10/11 16:41, PcX wrote:
I pull the latest, but it also has the problem, so there is another problem.
Ooopss... my fault again. Should be OK now. Cheers,
Roberto
It hasn't been fixed. That cause the same errors: checking for the GMP library version 4.1.3 or above... ./configure: line 9983: cat: No such file or directory ./configure: line 2292: sed: No such file or directory ./configure: line 2296: rm: No such file or directory no ./configure: line 10052: rm: No such file or directory ./configure: eval: line 10172: syntax error near unexpected token `(' ./configure: eval: line 10172: `PATH=.:/usr/local/bin:/mingw/bin:/bin:/e/mypack/mingw-eq/bin:/e/mypack/mingw-eq/libexec/gcc/i686-pc-mingw32/4.7.0:/e/mingw32/bin:/e/mingw32/libexec/gcc/i686-pc-mingw32/4.7.0:/c/Program Files (x86)/NVIDIA Corporation/PhysX/Common:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/mpirt:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/mpirt:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/compiler/lib:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/tbb/vc10:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/tbb/vc10:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/ipp:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/ipp:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/mkl:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/mkl:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/intel64/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/redist/ia32/compiler:/d/Program Files (x86)/Intel/ComposerXE-2011/compiler/lib:/c/Windows/system32:/c/Windows:/c/Windows/System32/Wbem:/c/Windows/System32/WindowsPowerShell/v1.0/:/f/Backup/SystemTools/MaintenanceTools/Windows7Master:/c/Program Files (x86)/Common Files/Thunder Network/KanKan/Codecs:/c/Program Files/Lenovo/Bluetooth Software/:/c/Program Files/Lenovo/Bluetooth Software/syswow64:/c/Program Files/Intel/WiFi/bin/:/c/Program Files/Common Files/Intel/WirelessCommon/:/e/MyPack/Tools/TortoiseSVN/bin:/e/MyPack/Tools/TortoiseGit/bin:/c/Program Files/Microsoft Windows Performance Toolkit/:/d/Program Files (x86)/QuickTime/QTSystem/:/e/MyPack/MinGW/bin:/e/MyPack/Compiler/Python27:/e/MyPack/GnuWin32/bin:/e/MyPack/3rdLib/GUI/Qt/Qt_lib_vc/bin:/e/MyPack/Cygwin/bin:/usr/bin' configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. ./configure: line 366: sed: No such file or directory ./configure: line 321: sort: No such file or directory ./configure: line 318: sed: No such file or directory ./configure: line 336: sort: No such file or directory ./configure: line 360: cat: No such file or directory ./configure: line 367: rm: No such file or directory -- Best Regards, PcX
On 08/10/11 19:11, PcX wrote:
于 2011/8/11 0:23, Roberto Bagnara 写道:
On 08/10/11 16:41, PcX wrote:
I pull the latest, but it also has the problem, so there is another problem.
Ooopss... my fault again. Should be OK now. Cheers,
Roberto
It hasn't been fixed.
Please let us have your configure script. Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
于 2011/8/11 1:14, Roberto Bagnara 写道:
On 08/10/11 19:11, PcX wrote:
于 2011/8/11 0:23, Roberto Bagnara 写道:
On 08/10/11 16:41, PcX wrote:
I pull the latest, but it also has the problem, so there is another problem.
Ooopss... my fault again. Should be OK now. Cheers,
Roberto
It hasn't been fixed.
Please let us have your configure script. Thanks,
Roberto
It's in the attachment. -- Best Regards, PcX
于 2011/8/11 1:41, PcX 写道:
于 2011/8/11 1:14, Roberto Bagnara 写道:
On 08/10/11 19:11, PcX wrote:
于 2011/8/11 0:23, Roberto Bagnara 写道:
On 08/10/11 16:41, PcX wrote:
I pull the latest, but it also has the problem, so there is another problem.
Ooopss... my fault again. Should be OK now. Cheers,
Roberto
It hasn't been fixed.
Please let us have your configure script. Thanks,
Roberto
It's in the attachment.
I see you commit one, and I will test your latest. -- Best Regards, PcX
于 2011/8/11 1:45, PcX 写道:
于 2011/8/11 1:41, PcX 写道:
于 2011/8/11 1:14, Roberto Bagnara 写道:
On 08/10/11 19:11, PcX wrote:
于 2011/8/11 0:23, Roberto Bagnara 写道:
On 08/10/11 16:41, PcX wrote:
I pull the latest, but it also has the problem, so there is another problem.
Ooopss... my fault again. Should be OK now. Cheers,
Roberto
It hasn't been fixed.
Please let us have your configure script. Thanks,
Roberto
It's in the attachment.
I see you commit one, and I will test your latest.
I update to latest 2011/08/11 1:35:47 though has the problem, it's less: checking for the GMP library version 4.1.3 or above... ./configure: line 9983: cat: No such file or directory ./configure: line 2292: sed: No such file or directory ./configure: line 2296: rm: No such file or directory no ./configure: line 10052: rm: No such file or directory configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. newer configure is in the attachment: -- Best Regards, PcX
于 2011/8/11 1:51, PcX 写道:
于 2011/8/11 1:45, PcX 写道:
于 2011/8/11 1:41, PcX 写道:
于 2011/8/11 1:14, Roberto Bagnara 写道:
On 08/10/11 19:11, PcX wrote:
于 2011/8/11 0:23, Roberto Bagnara 写道:
On 08/10/11 16:41, PcX wrote: > I pull the latest, but it also has the problem, so there is > another problem.
Ooopss... my fault again. Should be OK now. Cheers,
Roberto
It hasn't been fixed.
Please let us have your configure script. Thanks,
Roberto
It's in the attachment.
I see you commit one, and I will test your latest.
I update to latest 2011/08/11 1:35:47 though has the problem, it's less:
checking for the GMP library version 4.1.3 or above... ./configure: line 9983: cat: No such file or directory ./configure: line 2292: sed: No such file or directory ./configure: line 2296: rm: No such file or directory no ./configure: line 10052: rm: No such file or directory configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options.
newer configure is in the attachment:
It seems not to be fixed now. I update after the latest Commit:a948c306a9a705a2b170eb1888afe2778ed06154, and it has also the problem. The relevant configure script is in the attachment. -- Best Regards, PcX
Il 11/08/2011 12:50, Abramo Bagnara ha scritto:
Il 11/08/2011 00:41, PcX ha scritto:
于 2011/8/11 1:51, PcX 写道: It seems not to be fixed now. I update after the latest Commit:a948c306a9a705a2b170eb1888afe2778ed06154, and it has also the problem. The relevant configure script is in the attachment.
Please retry now.
BTW, don't forget to autoreconf.
于 2011/8/11 18:51, Abramo Bagnara 写道:
Il 11/08/2011 12:50, Abramo Bagnara ha scritto:
Il 11/08/2011 00:41, PcX ha scritto:
于 2011/8/11 1:51, PcX 写道: It seems not to be fixed now. I update after the latest Commit:a948c306a9a705a2b170eb1888afe2778ed06154, and it has also the problem. The relevant configure script is in the attachment. Please retry now. BTW, don't forget to autoreconf. I update to latest, and it seems to be no problem now. Thanks.
-- Best Regards, PcX
于 2011/8/10 10:04, PcX 写道:
I try to checkout the version at 2011/7/11, and that's no problem. But I checkout the version at 2011/7/24, it will cause my problem. So there is something wrong between 2011/7/11 and 2011/7/24. I try to checkout the version at 2011/7/23 20:12:41, and the version has no problem.
-- Best Regards, PcX
于 2011/8/10 22:53, PcX 写道:
于 2011/8/10 10:04, PcX 写道:
I try to checkout the version at 2011/7/11, and that's no problem. But I checkout the version at 2011/7/24, it will cause my problem. So there is something wrong between 2011/7/11 and 2011/7/24. I try to checkout the version at 2011/7/23 20:12:41, and the version has no problem.
I try to checkout the version at 2011/7/24 23:12:53, and the version can cause my problem. So you can check the version again. Thanks. -- Best Regards, PcX
participants (4)
-
Abramo Bagnara -
Anthony Foiani -
PcX -
Roberto Bagnara