[ppl] 57/68: Imported Debian patch 1:1.1~pre8-1

Andreas Tille tille at debian.org
Sat Nov 12 08:42:09 UTC 2016


This is an automated email from the git hooks/post-receive script.

tille pushed a commit to branch master
in repository ppl.

commit 5e1bfc0693879d0984699ff730f5b1a949c9d803
Merge: 80a6df9 38241bf
Author: Matthias Klose <doko at debian.org>
Date:   Thu May 9 13:16:42 2013 +0200

    Imported Debian patch 1:1.1~pre8-1

 ChangeLog                                          |      4 -
 Makefile.am                                        |      6 +-
 Makefile.in                                        |    184 +-
 NEWS                                               |     43 +-
 README                                             |    662 +-
 README.alpha                                       |      4 +-
 README.arm                                         |      4 +-
 README.configure                                   |      6 +-
 README.solaris                                     |      4 +-
 STANDARDS                                          |     34 +-
 aclocal.m4                                         |    370 +-
 compile                                            |      7 +-
 config.guess                                       |     13 +-
 config.sub                                         |     33 +-
 configure                                          |    334 +-
 configure.ac                                       |     74 +-
 debian/changelog                                   |     10 +-
 debian/control                                     |     18 +-
 debian/libppl-c4.links                             |      2 +-
 debian/{libppl0.12-dev.dirs => libppl-dev.dirs}    |      0
 debian/{libppl0.12-dev.docs => libppl-dev.docs}    |      0
 .../{libppl0.12-dev.install => libppl-dev.install} |      0
 debian/libppl-swi.links                            |      2 +-
 debian/{libppl12.dirs => libppl13.dirs}            |      0
 debian/{libppl12.docs => libppl13.docs}            |      0
 debian/{libppl12.install => libppl13.install}      |      0
 .../usr/share/doc/libpwl-dev/changelog.Debian      |    365 -
 .../libpwl5/usr/share/doc/libpwl5/changelog.Debian |    365 -
 debian/patches/fix_ftbfs.diff                      |     19 -
 debian/patches/gmp-5.1.diff                        |     45 -
 debian/patches/series                              |      2 -
 .../doc/libppl-doc/html/user-manual/jquery.js      |      1 -
 debian/rules                                       |      6 +-
 demos/Makefile.am                                  |      2 +-
 demos/Makefile.in                                  |    147 +-
 demos/ppl_lcdd/Makefile.am                         |      8 +-
 demos/ppl_lcdd/Makefile.in                         |    197 +-
 demos/ppl_lcdd/examples/Makefile.am                |      2 +-
 demos/ppl_lcdd/examples/Makefile.in                |     43 +-
 demos/ppl_lcdd/ppl_lcdd.1                          |      2 +-
 demos/ppl_lcdd/ppl_lcdd.cc                         |    502 +-
 demos/ppl_lpsol/Makefile.am                        |      2 +-
 demos/ppl_lpsol/Makefile.in                        |    203 +-
 demos/ppl_lpsol/dummy.cc                           |      2 +-
 demos/ppl_lpsol/examples/Makefile.am               |      2 +-
 demos/ppl_lpsol/examples/Makefile.in               |     43 +-
 demos/ppl_lpsol/ppl_lpsol.1                        |      2 +-
 demos/ppl_lpsol/ppl_lpsol.c                        |    158 +-
 demos/ppl_pips/Makefile.am                         |      5 +-
 demos/ppl_pips/Makefile.in                         |    194 +-
 demos/ppl_pips/examples/Makefile.am                |      2 +-
 demos/ppl_pips/examples/Makefile.in                |     43 +-
 demos/ppl_pips/ppl_pips.1                          |      2 +-
 demos/ppl_pips/ppl_pips.cc                         |     68 +-
 depcomp                                            |     86 +-
 doc/Makefile.am                                    |    256 +-
 doc/Makefile.in                                    |    335 +-
 doc/README.doc                                     |      4 +-
 doc/definitions.dox                                |     18 +-
 doc/devref-language-interface.tex                  |      4 +-
 doc/devref.doxyconf-html.in                        |      8 +-
 doc/devref.doxyconf-latex.in                       |      8 +-
 doc/devref.tex                                     |      4 +-
 doc/fdl.pdf                                        |    Bin 81942 -> 81942 bytes
 doc/fdl.ps.gz                                      |    Bin 94026 -> 94026 bytes
 doc/fdl.txt                                        |      4 +-
 doc/gpl.pdf                                        |    Bin 75174 -> 75174 bytes
 doc/gpl.ps.gz                                      |    Bin 88038 -> 88038 bytes
 doc/libppl.3                                       |      2 +-
 doc/libppl_c.3                                     |      2 +-
 doc/ppl-config.1                                   |      2 +-
 doc/ppl-user-1.0-html.tar.gz                       |    Bin 1863639 -> 0 bytes
 doc/ppl-user-1.0.pdf                               | 147794 ------------------
 doc/ppl-user-1.0.ps.gz                             |    Bin 2866093 -> 0 bytes
 doc/ppl-user-1.1pre8-html.tar.gz                   |    Bin 0 -> 1818929 bytes
 doc/ppl-user-1.1pre8.pdf                           | 133937 ++++++++++++++++
 doc/ppl-user-1.1pre8.ps.gz                         |    Bin 0 -> 2634101 bytes
 doc/ppl-user-c-interface-1.0-html.tar.gz           |    Bin 299693 -> 0 bytes
 doc/ppl-user-c-interface-1.0.pdf                   |  26568 ----
 doc/ppl-user-c-interface-1.0.ps.gz                 |    Bin 568395 -> 0 bytes
 doc/ppl-user-c-interface-1.1pre8-html.tar.gz       |    Bin 0 -> 310094 bytes
 doc/ppl-user-c-interface-1.1pre8.pdf               |  26574 ++++
 doc/ppl-user-c-interface-1.1pre8.ps.gz             |    Bin 0 -> 568710 bytes
 doc/ppl-user-java-interface-1.0-html.tar.gz        |    Bin 413788 -> 0 bytes
 doc/ppl-user-java-interface-1.0.pdf                |  26019 ---
 doc/ppl-user-java-interface-1.0.ps.gz              |    Bin 619712 -> 0 bytes
 doc/ppl-user-java-interface-1.1pre8-html.tar.gz    |    Bin 0 -> 425396 bytes
 doc/ppl-user-java-interface-1.1pre8.pdf            |  26401 ++++
 doc/ppl-user-java-interface-1.1pre8.ps.gz          |    Bin 0 -> 627231 bytes
 doc/ppl-user-ocaml-interface-1.0-html.tar.gz       |    Bin 130581 -> 0 bytes
 doc/ppl-user-ocaml-interface-1.0.pdf               |    Bin 353271 -> 0 bytes
 doc/ppl-user-ocaml-interface-1.0.ps.gz             |    Bin 309787 -> 0 bytes
 doc/ppl-user-ocaml-interface-1.1pre8-html.tar.gz   |    Bin 0 -> 135016 bytes
 doc/ppl-user-ocaml-interface-1.1pre8.pdf           |    Bin 0 -> 354237 bytes
 doc/ppl-user-ocaml-interface-1.1pre8.ps.gz         |    Bin 0 -> 310130 bytes
 doc/ppl-user-prolog-interface-1.0-html.tar.gz      |    Bin 133960 -> 0 bytes
 doc/ppl-user-prolog-interface-1.0.pdf              |    Bin 359608 -> 0 bytes
 doc/ppl-user-prolog-interface-1.0.ps.gz            |    Bin 344147 -> 0 bytes
 doc/ppl-user-prolog-interface-1.1pre8-html.tar.gz  |    Bin 0 -> 137916 bytes
 doc/ppl-user-prolog-interface-1.1pre8.pdf          |    Bin 0 -> 360518 bytes
 doc/ppl-user-prolog-interface-1.1pre8.ps.gz        |    Bin 0 -> 344441 bytes
 doc/ppl.bib                                        |      8 +-
 doc/ppl.sty                                        |      2 +-
 doc/ppl_citations.bib                              |     27 +-
 doc/user-language-interface.tex                    |      4 +-
 doc/user.tex                                       |      4 +-
 instchk.hh                                         |      2 +-
 interfaces/C/C_interface.dox                       |      6 +-
 interfaces/C/Makefile.am                           |      8 +-
 interfaces/C/Makefile.in                           |    201 +-
 interfaces/C/ppl_c.h.dist                          |    208 +-
 interfaces/C/ppl_c_header.h                        |    202 +-
 interfaces/C/ppl_c_implementation_common.cc        |    248 +-
 interfaces/C/ppl_c_implementation_common.defs.hh   |    259 -
 .../C/ppl_c_implementation_common.inlines.hh       |    214 -
 interfaces/C/ppl_c_implementation_common_defs.hh   |    259 +
 .../C/ppl_c_implementation_common_inlines.hh       |    214 +
 interfaces/C/ppl_c_version.h.in                    |      2 +-
 interfaces/C/ppl_interface_generator_c_cc_code.m4  |     26 +-
 interfaces/C/ppl_interface_generator_c_cc_files.m4 |      4 +-
 interfaces/C/ppl_interface_generator_c_h.m4        |      2 +-
 interfaces/C/ppl_interface_generator_c_h_code.m4   |      2 +-
 interfaces/C/ppl_interface_generator_c_hh_files.m4 |      2 +-
 ...l_interface_generator_c_procedure_generators.m4 |      2 +-
 interfaces/C/tests/Makefile.am                     |      2 +-
 interfaces/C/tests/Makefile.in                     |     92 +-
 interfaces/C/tests/formatted_output.c              |      2 +-
 interfaces/C/tests/pip_test.c                      |      4 +-
 interfaces/C/tests/ppl_c_test.cc                   |      2 +-
 interfaces/C/tests/ppl_c_test.h                    |      2 +-
 interfaces/C/tests/print_to_buffer.c               |     28 +-
 interfaces/C/tests/print_to_buffer.h               |     12 +-
 interfaces/C/tests/watchdog1.c                     |      4 +-
 interfaces/C/tests/weightwatch1.c                  |      4 +-
 interfaces/Java/Makefile.am                        |      2 +-
 interfaces/Java/Makefile.in                        |    153 +-
 interfaces/Java/README.java                        |      2 +-
 interfaces/Java/jni/Makefile.am                    |      6 +-
 interfaces/Java/jni/Makefile.in                    |    125 +-
 ...ppl_interface_generator_java_classes_cc_code.m4 |      6 +-
 ...pl_interface_generator_java_classes_cc_files.m4 |      6 +-
 interfaces/Java/jni/ppl_java_common.cc             |     92 +-
 interfaces/Java/jni/ppl_java_common.defs.hh        |    883 -
 interfaces/Java/jni/ppl_java_common.inlines.hh     |    245 -
 interfaces/Java/jni/ppl_java_common_defs.hh        |    899 +
 interfaces/Java/jni/ppl_java_common_inlines.hh     |    245 +
 interfaces/Java/jni/ppl_java_globals.cc            |     58 +-
 .../Artificial_Parameter.java                      |     13 +-
 .../Artificial_Parameter_Sequence.java             |      7 +-
 .../Bounded_Integer_Type_Overflow.java             |      2 +-
 .../Bounded_Integer_Type_Representation.java       |      2 +-
 .../Bounded_Integer_Type_Width.java                |      2 +-
 .../Java/parma_polyhedra_library/By_Reference.java |      8 +-
 .../Java/parma_polyhedra_library/Coefficient.java  |     14 +-
 .../parma_polyhedra_library/Complexity_Class.java  |      2 +-
 .../Java/parma_polyhedra_library/Congruence.java   |     19 +-
 .../parma_polyhedra_library/Congruence_System.java |      7 +-
 .../Java/parma_polyhedra_library/Constraint.java   |     17 +-
 .../parma_polyhedra_library/Constraint_System.java |      7 +-
 .../Control_Parameter_Name.java                    |      2 +-
 .../Control_Parameter_Value.java                   |      2 +-
 .../Degenerate_Element.java                        |      2 +-
 .../Domain_Error_Exception.java                    |      2 +-
 .../Fake_Class_for_Doxygen.java                    |     50 +-
 .../Java/parma_polyhedra_library/Generator.java    |     26 +-
 .../parma_polyhedra_library/Generator_System.java  |      7 +-
 .../parma_polyhedra_library/Generator_Type.java    |      2 +-
 .../parma_polyhedra_library/Grid_Generator.java    |     34 +-
 .../Grid_Generator_System.java                     |      8 +-
 .../Grid_Generator_Type.java                       |      2 +-
 interfaces/Java/parma_polyhedra_library/IO.java    |      4 +-
 .../Invalid_Argument_Exception.java                |      2 +-
 .../Length_Error_Exception.java                    |      2 +-
 .../parma_polyhedra_library/Linear_Expression.java |     13 +-
 .../Linear_Expression_Coefficient.java             |      8 +-
 .../Linear_Expression_Difference.java              |     10 +-
 .../Linear_Expression_Sum.java                     |      8 +-
 .../Linear_Expression_Times.java                   |     20 +-
 .../Linear_Expression_Unary_Minus.java             |      6 +-
 .../Linear_Expression_Variable.java                |      8 +-
 .../Logic_Error_Exception.java                     |      2 +-
 .../Java/parma_polyhedra_library/MIP_Problem.java  |     21 +-
 .../MIP_Problem_Status.java                        |      2 +-
 .../Java/parma_polyhedra_library/Makefile.am       |      3 +-
 .../Java/parma_polyhedra_library/Makefile.in       |     45 +-
 .../parma_polyhedra_library/Optimization_Mode.java |      2 +-
 .../Overflow_Error_Exception.java                  |      2 +-
 .../parma_polyhedra_library/PIP_Decision_Node.java |      5 +-
 .../Java/parma_polyhedra_library/PIP_Problem.java  |     13 +-
 .../PIP_Problem_Control_Parameter_Name.java        |      2 +-
 .../PIP_Problem_Control_Parameter_Value.java       |      2 +-
 .../PIP_Problem_Status.java                        |      2 +-
 .../parma_polyhedra_library/PIP_Solution_Node.java |      5 +-
 .../parma_polyhedra_library/PIP_Tree_Node.java     |      5 +-
 .../Java/parma_polyhedra_library/PPL_Object.java   |      4 +-
 interfaces/Java/parma_polyhedra_library/Pair.java  |      6 +-
 .../Parma_Polyhedra_Library.java                   |     20 +-
 .../parma_polyhedra_library/Partial_Function.java  |      4 +-
 .../parma_polyhedra_library/Poly_Con_Relation.java |     16 +-
 .../parma_polyhedra_library/Poly_Gen_Relation.java |     10 +-
 .../parma_polyhedra_library/Relation_Symbol.java   |      6 +-
 .../parma_polyhedra_library/Timeout_Exception.java |      2 +-
 .../Java/parma_polyhedra_library/Variable.java     |     56 +-
 .../Variable_Stringifier.java                      |     33 +
 .../parma_polyhedra_library/Variables_Set.java     |      2 +-
 .../ppl_interface_generator_java_classes_java.m4   |      5 +-
 ...l_interface_generator_java_classes_java_code.m4 |      8 +-
 ...nterface_generator_java_procedure_generators.m4 |      2 +-
 interfaces/Java/tests/C_Polyhedron_test1.java      |    144 +-
 .../Java/tests/Custom_Variable_Stringifier.java    |     29 +
 interfaces/Java/tests/MIP_Problem_test1.java       |    116 +-
 interfaces/Java/tests/Makefile.am                  |      9 +-
 interfaces/Java/tests/Makefile.in                  |     51 +-
 interfaces/Java/tests/NNC_Polyhedron_test1.java    |    136 +-
 interfaces/Java/tests/PIP_Problem_test1.java       |    226 +-
 interfaces/Java/tests/PPL_Test.java                |      4 +-
 .../Java/tests/Parma_Polyhedra_Library_test1.java  |     34 +-
 .../Java/tests/Parma_Polyhedra_Library_test2.java  |     30 +-
 interfaces/Java/tests/Test_Executor.java           |     40 +-
 interfaces/Java/tests/Variable_Output_test1.java   |     94 +
 .../ppl_interface_generator_java_test_java.m4      |      2 +-
 .../ppl_interface_generator_java_test_java_code.m4 |      2 +-
 interfaces/Java/tests/ppl_java_tests_common        |    155 +-
 interfaces/Makefile.am                             |      2 +-
 interfaces/Makefile.in                             |    145 +-
 interfaces/OCaml/Makefile.am                       |     27 +-
 interfaces/OCaml/Makefile.in                       |    210 +-
 interfaces/OCaml/OCaml_interface.dox               |      2 +-
 interfaces/OCaml/README.ocaml                      |      2 +-
 .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 |     60 +-
 .../ppl_interface_generator_ocaml_cc_files.m4      |      2 +-
 .../OCaml/ppl_interface_generator_ocaml_hh_code.m4 |      2 +-
 .../ppl_interface_generator_ocaml_hh_files.m4      |      4 +-
 .../OCaml/ppl_interface_generator_ocaml_ml.m4      |      2 +-
 .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 |      2 +-
 .../OCaml/ppl_interface_generator_ocaml_mli.m4     |      2 +-
 .../ppl_interface_generator_ocaml_mli_code.m4      |      2 +-
 ...terface_generator_ocaml_procedure_generators.m4 |      2 +-
 interfaces/OCaml/ppl_ocaml_common.cc               |     94 +-
 interfaces/OCaml/ppl_ocaml_common.defs.hh          |    234 -
 interfaces/OCaml/ppl_ocaml_common.inlines.hh       |     82 -
 interfaces/OCaml/ppl_ocaml_common_defs.hh          |    234 +
 interfaces/OCaml/ppl_ocaml_common_inlines.hh       |     82 +
 interfaces/OCaml/ppl_ocaml_globals.ml              |      2 +-
 interfaces/OCaml/ppl_ocaml_globals.mli             |      2 +-
 interfaces/OCaml/tests/Makefile.am                 |     10 +-
 interfaces/OCaml/tests/Makefile.in                 |     77 +-
 .../tests/ppl_interface_generator_ocaml_test_ml.m4 |      2 +-
 .../ppl_interface_generator_ocaml_test_ml_code.m4  |      2 +-
 interfaces/OCaml/tests/ppl_ocaml_tests_common      |      2 +-
 interfaces/OCaml/tests/test1.ml                    |      2 +-
 interfaces/Prolog/Ciao/Makefile.am                 |      2 +-
 interfaces/Prolog/Ciao/Makefile.in                 |    105 +-
 interfaces/Prolog/Ciao/README.ciao                 |      2 +-
 interfaces/Prolog/Ciao/ciao_cfli.hh                |     16 +-
 interfaces/Prolog/Ciao/ciao_clpq.pl                |     33 +-
 interfaces/Prolog/Ciao/ciao_clpq2.pl               |     26 +-
 interfaces/Prolog/Ciao/ciao_efli.cc                |      4 +-
 interfaces/Prolog/Ciao/ciao_efli.hh                |      2 +-
 interfaces/Prolog/Ciao/ciao_pl_check.pl            |    172 +-
 .../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 |      2 +-
 ...face_generator_ciao_prolog_generated_test_pl.m4 |      2 +-
 interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh        |      2 +-
 interfaces/Prolog/GNU/Makefile.am                  |      2 +-
 interfaces/Prolog/GNU/Makefile.in                  |    132 +-
 interfaces/Prolog/GNU/README.gprolog               |      2 +-
 interfaces/Prolog/GNU/gnu_pl_check.pl              |      6 +-
 interfaces/Prolog/GNU/gnu_prolog_generated_test.pl |      6 +-
 interfaces/Prolog/GNU/gp_clpq.pl                   |      2 +-
 interfaces/Prolog/GNU/gprolog_cfli.hh              |     16 +-
 interfaces/Prolog/GNU/gprolog_efli.cc              |      4 +-
 interfaces/Prolog/GNU/gprolog_efli.hh              |      2 +-
 .../GNU/ppl_interface_generator_gprolog_pl.m4      |      2 +-
 interfaces/Prolog/GNU/ppl_prolog_sysdep.hh         |      2 +-
 interfaces/Prolog/Makefile.am                      |      6 +-
 interfaces/Prolog/Makefile.in                      |    150 +-
 interfaces/Prolog/Prolog_configured_interface.dox  |      2 +-
 interfaces/Prolog/Prolog_interface.dox             |      2 +-
 interfaces/Prolog/Prolog_interface_compilation.dox |      2 +-
 interfaces/Prolog/Prolog_interface_sysdep.dox      |      2 +-
 interfaces/Prolog/Prolog_interface_sysindep.dox    |    120 +-
 .../Prolog/Prolog_interface_sysindep_domains.dox   |      2 +-
 interfaces/Prolog/SICStus/Makefile.am              |      4 +-
 interfaces/Prolog/SICStus/Makefile.in              |    131 +-
 .../ppl_interface_generator_sicstus_sd_cc.m4       |      2 +-
 interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh     |      2 +-
 interfaces/Prolog/SICStus/ppl_sicstus.pl           |      6 +-
 interfaces/Prolog/SICStus/sicstus_cfli.cc          |      2 +-
 interfaces/Prolog/SICStus/sicstus_cfli.h           |     18 +-
 interfaces/Prolog/SICStus/sicstus_cfli.ic          |     16 +-
 interfaces/Prolog/SICStus/sicstus_efli.cc          |      2 +-
 interfaces/Prolog/SICStus/sicstus_efli.hh          |      2 +-
 interfaces/Prolog/SICStus/sp_clpq.pl               |     30 +-
 interfaces/Prolog/SICStus/sp_pl_check.pl           |     40 +-
 .../Prolog/SICStus/sp_prolog_generated_test.pl     |     38 +-
 interfaces/Prolog/SWI/Makefile.am                  |      2 +-
 interfaces/Prolog/SWI/Makefile.in                  |    134 +-
 interfaces/Prolog/SWI/README.swiprolog             |      2 +-
 interfaces/Prolog/SWI/pl_clpq.cc                   |      2 +-
 interfaces/Prolog/SWI/pl_clpq.pl                   |      2 +-
 .../SWI/ppl_interface_generator_swiprolog_cc.m4    |      2 +-
 interfaces/Prolog/SWI/ppl_pl.cc                    |      2 +-
 interfaces/Prolog/SWI/ppl_prolog_sysdep.hh         |      2 +-
 interfaces/Prolog/SWI/ppl_swiprolog.pl             |      2 +-
 interfaces/Prolog/SWI/swi_cfli.hh                  |     16 +-
 interfaces/Prolog/SWI/swi_efli.cc                  |      2 +-
 interfaces/Prolog/SWI/swi_efli.hh                  |      2 +-
 interfaces/Prolog/SWI/swi_pl_check.pl              |      6 +-
 interfaces/Prolog/SWI/swi_prolog_generated_test.pl |      6 +-
 interfaces/Prolog/XSB/Makefile.am                  |      2 +-
 interfaces/Prolog/XSB/Makefile.in                  |    102 +-
 .../Prolog/XSB/ppl_interface_generator_xsb_H.m4    |      2 +-
 .../Prolog/XSB/ppl_interface_generator_xsb_cc.m4   |      2 +-
 .../Prolog/XSB/ppl_interface_generator_xsb_hh.m4   |      2 +-
 ...erface_generator_xsb_prolog_generated_test_P.m4 |      2 +-
 interfaces/Prolog/XSB/ppl_prolog_sysdep.hh         |      2 +-
 interfaces/Prolog/XSB/xsb_cfli.hh                  |     16 +-
 interfaces/Prolog/XSB/xsb_clpq.P                   |     24 +-
 interfaces/Prolog/XSB/xsb_clpq2.P                  |     26 +-
 interfaces/Prolog/XSB/xsb_efli.cc                  |      4 +-
 interfaces/Prolog/XSB/xsb_efli.hh                  |      2 +-
 interfaces/Prolog/XSB/xsb_pl_check.P               |    184 +-
 interfaces/Prolog/YAP/Makefile.am                  |      2 +-
 interfaces/Prolog/YAP/Makefile.in                  |    105 +-
 interfaces/Prolog/YAP/README.yap                   |      2 +-
 .../Prolog/YAP/ppl_interface_generator_yap_cc.m4   |      2 +-
 interfaces/Prolog/YAP/ppl_prolog_sysdep.hh         |      2 +-
 interfaces/Prolog/YAP/ppl_yap.pl                   |      2 +-
 interfaces/Prolog/YAP/yap_cfli.hh                  |     18 +-
 interfaces/Prolog/YAP/yap_clpq.pl                  |      2 +-
 interfaces/Prolog/YAP/yap_clpq2.pl                 |      2 +-
 interfaces/Prolog/YAP/yap_efli.cc                  |      2 +-
 interfaces/Prolog/YAP/yap_efli.hh                  |      2 +-
 interfaces/Prolog/YAP/yap_pl_check.pl              |      6 +-
 interfaces/Prolog/YAP/yap_prolog_generated_test.pl |      6 +-
 .../ppl_interface_generator_prolog_cc_code.m4      |     49 +-
 .../ppl_interface_generator_prolog_cc_files.m4     |      4 +-
 .../Prolog/ppl_interface_generator_prolog_dox.m4   |      2 +-
 .../ppl_interface_generator_prolog_dox_code.m4     |      2 +-
 .../ppl_interface_generator_prolog_hh_code.m4      |      2 +-
 .../ppl_interface_generator_prolog_hh_files.m4     |      4 +-
 ...erface_generator_prolog_procedure_generators.m4 |      2 +-
 .../ppl_interface_generator_prolog_systems.m4      |      2 +-
 interfaces/Prolog/ppl_prolog_common.cc             |    678 +-
 interfaces/Prolog/ppl_prolog_common.defs.hh        |   1084 -
 interfaces/Prolog/ppl_prolog_common.inlines.hh     |     88 -
 interfaces/Prolog/ppl_prolog_common_defs.hh        |   1084 +
 interfaces/Prolog/ppl_prolog_common_inlines.hh     |     88 +
 interfaces/Prolog/tests/Makefile.am                |      2 +-
 interfaces/Prolog/tests/Makefile.in                |     44 +-
 interfaces/Prolog/tests/clpq.pl                    |     28 +-
 interfaces/Prolog/tests/clpq2.pl                   |      8 +-
 interfaces/Prolog/tests/expected_clpq2_int16       |      2 +-
 interfaces/Prolog/tests/expected_clpq2_int16_a     |      2 +-
 interfaces/Prolog/tests/expected_clpq2_int32       |      2 +-
 interfaces/Prolog/tests/expected_clpq2_int32_a     |      2 +-
 interfaces/Prolog/tests/expected_clpq2_int64       |      2 +-
 interfaces/Prolog/tests/expected_clpq2_int64_a     |      2 +-
 interfaces/Prolog/tests/expected_clpq2_int8        |      2 +-
 interfaces/Prolog/tests/expected_clpq2_int8_a      |      2 +-
 interfaces/Prolog/tests/expected_clpq2_mpz         |      2 +-
 interfaces/Prolog/tests/expected_clpq2_mpz_a       |      2 +-
 interfaces/Prolog/tests/expected_clpq_int16        |      2 +-
 interfaces/Prolog/tests/expected_clpq_int16_a      |      2 +-
 interfaces/Prolog/tests/expected_clpq_int32        |      2 +-
 interfaces/Prolog/tests/expected_clpq_int32_a      |      2 +-
 interfaces/Prolog/tests/expected_clpq_int64        |      2 +-
 interfaces/Prolog/tests/expected_clpq_int64_a      |      2 +-
 interfaces/Prolog/tests/expected_clpq_int8         |      2 +-
 interfaces/Prolog/tests/expected_clpq_int8_a       |      2 +-
 interfaces/Prolog/tests/expected_clpq_mpz          |      2 +-
 interfaces/Prolog/tests/expected_clpq_mpz_a        |      2 +-
 interfaces/Prolog/tests/pl_check.pl                |     24 +-
 ...interface_generator_prolog_generated_test_pl.m4 |      2 +-
 ...face_generator_prolog_generated_test_pl_code.m4 |      2 +-
 .../tests/ppl_prolog_generated_test_common.pl      |      2 +-
 interfaces/Prolog/tests/smm.clpq                   |     24 +-
 interfaces/interfaced_boxes.hh                     |      2 +-
 interfaces/marked_pointers.hh                      |      2 +-
 interfaces/ppl_interface_generator_common.m4       |      2 +-
 interfaces/ppl_interface_generator_common_dat.m4   |      2 +-
 ...erface_generator_common_procedure_generators.m4 |      2 +-
 interfaces/ppl_interface_generator_copyright       |      2 +-
 m4/Makefile.am                                     |      2 +-
 m4/Makefile.in                                     |     49 +-
 m4/ac_check_ciao.m4                                |      2 +-
 m4/ac_check_fpu_control.m4                         |      2 +-
 m4/ac_check_gmp.m4                                 |      2 +-
 m4/ac_check_sicstus_prolog.m4                      |      2 +-
 m4/ac_check_swi_prolog.m4                          |      2 +-
 m4/ac_check_xsb_prolog.m4                          |      2 +-
 m4/ac_check_yap.m4                                 |      2 +-
 m4/ac_cxx_attribute_weak.m4                        |      2 +-
 m4/ac_cxx_double_binary_format.m4                  |      2 +-
 m4/ac_cxx_float_binary_format.m4                   |      2 +-
 m4/ac_cxx_ieee_inexact_flag.m4                     |      2 +-
 m4/ac_cxx_limit_memory.m4                          |      2 +-
 m4/ac_cxx_long_double_binary_format.m4             |     27 +-
 m4/ac_cxx_plain_char_is_signed.m4                  |      2 +-
 m4/ac_cxx_proper_long_double.m4                    |      2 +-
 m4/ac_cxx_zero_length_arrays.m4                    |      2 +-
 m4/ac_prog_jar.m4                                  |      2 +-
 m4/ac_prog_java.m4                                 |      2 +-
 m4/ac_prog_javac.m4                                |      4 +-
 m4/ac_prog_javah.m4                                |      2 +-
 m4/ac_text_md5sum.m4                               |      2 +-
 m4/ppl.m4                                          |      2 +-
 m4/ppl_c.m4                                        |      2 +-
 ppl-config.h.in                                    |    411 -
 src/BDS_Status.idefs.hh                            |    117 -
 src/BDS_Status.inlines.hh                          |    268 -
 src/BDS_Status_idefs.hh                            |    117 +
 src/BDS_Status_inlines.hh                          |    268 +
 src/BD_Shape.cc                                    |      6 +-
 src/BD_Shape.defs.hh                               |   2367 -
 src/BD_Shape.inlines.hh                            |    910 -
 src/BD_Shape.templates.hh                          |   6781 -
 src/BD_Shape.types.hh                              |     25 -
 src/BD_Shape_defs.hh                               |   2371 +
 src/BD_Shape_inlines.hh                            |    910 +
 src/BD_Shape_templates.hh                          |   6789 +
 src/BD_Shape_types.hh                              |     25 +
 src/BHRZ03_Certificate.cc                          |     66 +-
 src/BHRZ03_Certificate.defs.hh                     |    118 -
 src/BHRZ03_Certificate.inlines.hh                  |     63 -
 src/BHRZ03_Certificate.types.hh                    |     22 -
 src/BHRZ03_Certificate_defs.hh                     |    118 +
 src/BHRZ03_Certificate_inlines.hh                  |     63 +
 src/BHRZ03_Certificate_types.hh                    |     22 +
 src/Bit_Matrix.cc                                  |     28 +-
 src/Bit_Matrix.defs.hh                             |    187 -
 src/Bit_Matrix.inlines.hh                          |    149 -
 src/Bit_Matrix.types.hh                            |     22 -
 src/Bit_Matrix_defs.hh                             |    187 +
 src/Bit_Matrix_inlines.hh                          |    149 +
 src/Bit_Matrix_types.hh                            |     22 +
 src/Bit_Row.cc                                     |     26 +-
 src/Bit_Row.defs.hh                                |    214 -
 src/Bit_Row.inlines.hh                             |    236 -
 src/Bit_Row.types.hh                               |     22 -
 src/Bit_Row_defs.hh                                |    214 +
 src/Bit_Row_inlines.hh                             |    236 +
 src/Bit_Row_types.hh                               |     22 +
 src/Boundary.defs.hh                               |    738 -
 src/Boundary_defs.hh                               |    729 +
 src/Box.cc                                         |      4 +-
 src/Box.defs.hh                                    |   2286 -
 src/Box.inlines.hh                                 |    692 -
 src/Box.templates.hh                               |   4285 -
 src/Box.types.hh                                   |     25 -
 src/Box_Status.idefs.hh                            |    115 -
 src/Box_Status.inlines.hh                          |    228 -
 src/Box_Status_idefs.hh                            |    115 +
 src/Box_Status_inlines.hh                          |    228 +
 src/Box_defs.hh                                    |   2286 +
 src/Box_inlines.hh                                 |    692 +
 src/Box_templates.hh                               |   4295 +
 src/Box_types.hh                                   |     25 +
 src/CO_Tree.cc                                     |    180 +-
 src/CO_Tree.defs.hh                                |   1548 -
 src/CO_Tree.inlines.hh                             |    864 -
 src/CO_Tree.templates.hh                           |    139 -
 src/CO_Tree.types.hh                               |     22 -
 src/CO_Tree_defs.hh                                |   1559 +
 src/CO_Tree_inlines.hh                             |    868 +
 src/CO_Tree_templates.hh                           |    141 +
 src/CO_Tree_types.hh                               |     22 +
 src/C_Integer.hh                                   |     64 +-
 src/C_Polyhedron.cc                                |     23 +-
 src/C_Polyhedron.defs.hh                           |    280 -
 src/C_Polyhedron.inlines.hh                        |    154 -
 src/C_Polyhedron.types.hh                          |     22 -
 src/C_Polyhedron_defs.hh                           |    280 +
 src/C_Polyhedron_inlines.hh                        |    154 +
 src/C_Polyhedron_types.hh                          |     22 +
 src/Cast_Floating_Point_Expression.defs.hh         |    182 -
 src/Cast_Floating_Point_Expression.inlines.hh      |     64 -
 src/Cast_Floating_Point_Expression.templates.hh    |     46 -
 src/Cast_Floating_Point_Expression.types.hh        |     23 -
 src/Cast_Floating_Point_Expression_defs.hh         |    182 +
 src/Cast_Floating_Point_Expression_inlines.hh      |     64 +
 src/Cast_Floating_Point_Expression_templates.hh    |     46 +
 src/Cast_Floating_Point_Expression_types.hh        |     23 +
 src/Checked_Number.cc                              |     12 +-
 src/Checked_Number.defs.hh                         |   1068 -
 src/Checked_Number.inlines.hh                      |    848 -
 src/Checked_Number.templates.hh                    |    149 -
 src/Checked_Number.types.hh                        |     27 -
 src/Checked_Number_defs.hh                         |   1068 +
 src/Checked_Number_inlines.hh                      |    848 +
 src/Checked_Number_templates.hh                    |    149 +
 src/Checked_Number_types.hh                        |     27 +
 src/Coefficient.cc                                 |      4 +-
 src/Coefficient.defs.hh                            |     61 -
 src/Coefficient.inlines.hh                         |     72 -
 src/Coefficient.types.hh                           |    182 -
 src/Coefficient_defs.hh                            |     61 +
 src/Coefficient_inlines.hh                         |     72 +
 src/Coefficient_traits_template.hh                 |      2 +-
 src/Coefficient_types.hh                           |    182 +
 src/Concrete_Expression.cc                         |      4 +-
 src/Concrete_Expression.defs.hh                    |    201 -
 src/Concrete_Expression.inlines.hh                 |    123 -
 src/Concrete_Expression.types.hh                   |     98 -
 src/Concrete_Expression_defs.hh                    |    201 +
 src/Concrete_Expression_inlines.hh                 |    123 +
 src/Concrete_Expression_types.hh                   |     98 +
 src/Congruence.cc                                  |     25 +-
 src/Congruence.defs.hh                             |    504 -
 src/Congruence.inlines.hh                          |    281 -
 src/Congruence.types.hh                            |     22 -
 src/Congruence_System.cc                           |     61 +-
 src/Congruence_System.defs.hh                      |    544 -
 src/Congruence_System.inlines.hh                   |    272 -
 src/Congruence_System.types.hh                     |     22 -
 src/Congruence_System_defs.hh                      |    544 +
 src/Congruence_System_inlines.hh                   |    272 +
 src/Congruence_System_types.hh                     |     22 +
 src/Congruence_defs.hh                             |    506 +
 src/Congruence_inlines.hh                          |    281 +
 src/Congruence_types.hh                            |     22 +
 src/Constant_Floating_Point_Expression.defs.hh     |    173 -
 src/Constant_Floating_Point_Expression.inlines.hh  |     80 -
 src/Constant_Floating_Point_Expression.types.hh    |     23 -
 src/Constant_Floating_Point_Expression_defs.hh     |    173 +
 src/Constant_Floating_Point_Expression_inlines.hh  |     80 +
 src/Constant_Floating_Point_Expression_types.hh    |     23 +
 src/Constraint.cc                                  |     85 +-
 src/Constraint.defs.hh                             |    842 -
 src/Constraint.inlines.hh                          |    588 -
 src/Constraint.types.hh                            |     22 -
 src/Constraint_System.cc                           |    114 +-
 src/Constraint_System.defs.hh                      |    687 -
 src/Constraint_System.inlines.hh                   |    439 -
 src/Constraint_System.types.hh                     |     23 -
 src/Constraint_System_defs.hh                      |    687 +
 src/Constraint_System_inlines.hh                   |    439 +
 src/Constraint_System_types.hh                     |     23 +
 src/Constraint_defs.hh                             |    836 +
 src/Constraint_inlines.hh                          |    577 +
 src/Constraint_types.hh                            |     22 +
 src/DB_Matrix.defs.hh                              |    325 -
 src/DB_Matrix.inlines.hh                           |    330 -
 src/DB_Matrix.templates.hh                         |    319 -
 src/DB_Matrix.types.hh                             |     23 -
 src/DB_Matrix_defs.hh                              |    325 +
 src/DB_Matrix_inlines.hh                           |    330 +
 src/DB_Matrix_templates.hh                         |    319 +
 src/DB_Matrix_types.hh                             |     23 +
 src/DB_Row.defs.hh                                 |    470 -
 src/DB_Row.inlines.hh                              |    428 -
 src/DB_Row.templates.hh                            |    215 -
 src/DB_Row.types.hh                                |     26 -
 src/DB_Row_defs.hh                                 |    470 +
 src/DB_Row_inlines.hh                              |    428 +
 src/DB_Row_templates.hh                            |    215 +
 src/DB_Row_types.hh                                |     26 +
 src/Dense_Row.cc                                   |     44 +-
 src/Dense_Row.defs.hh                              |    561 -
 src/Dense_Row.inlines.hh                           |    531 -
 src/Dense_Row.templates.hh                         |     56 -
 src/Dense_Row.types.hh                             |     22 -
 src/Dense_Row_defs.hh                              |    561 +
 src/Dense_Row_inlines.hh                           |    531 +
 src/Dense_Row_templates.hh                         |     56 +
 src/Dense_Row_types.hh                             |     22 +
 src/Determinate.defs.hh                            |    331 -
 src/Determinate.inlines.hh                         |    305 -
 src/Determinate.types.hh                           |     23 -
 src/Determinate_defs.hh                            |    331 +
 src/Determinate_inlines.hh                         |    305 +
 src/Determinate_types.hh                           |     23 +
 src/Difference_Floating_Point_Expression.defs.hh   |    221 -
 ...Difference_Floating_Point_Expression.inlines.hh |     70 -
 ...fference_Floating_Point_Expression.templates.hh |     53 -
 src/Difference_Floating_Point_Expression.types.hh  |     23 -
 src/Difference_Floating_Point_Expression_defs.hh   |    221 +
 ...Difference_Floating_Point_Expression_inlines.hh |     70 +
 ...fference_Floating_Point_Expression_templates.hh |     53 +
 src/Difference_Floating_Point_Expression_types.hh  |     23 +
 src/Division_Floating_Point_Expression.defs.hh     |    238 -
 src/Division_Floating_Point_Expression.inlines.hh  |     69 -
 ...Division_Floating_Point_Expression.templates.hh |     61 -
 src/Division_Floating_Point_Expression.types.hh    |     23 -
 src/Division_Floating_Point_Expression_defs.hh     |    237 +
 src/Division_Floating_Point_Expression_inlines.hh  |     69 +
 ...Division_Floating_Point_Expression_templates.hh |     61 +
 src/Division_Floating_Point_Expression_types.hh    |     23 +
 src/Doubly_Linked_Object.defs.hh                   |     65 -
 src/Doubly_Linked_Object.inlines.hh                |     78 -
 src/Doubly_Linked_Object.types.hh                  |     30 -
 src/Doubly_Linked_Object_defs.hh                   |     65 +
 src/Doubly_Linked_Object_inlines.hh                |     74 +
 src/Doubly_Linked_Object_types.hh                  |     26 +
 src/EList.defs.hh                                  |     90 -
 src/EList.inlines.hh                               |    123 -
 src/EList.types.hh                                 |     31 -
 src/EList_Iterator.defs.hh                         |     92 -
 src/EList_Iterator.inlines.hh                      |    113 -
 src/EList_Iterator.types.hh                        |     31 -
 src/EList_Iterator_defs.hh                         |     88 +
 src/EList_Iterator_inlines.hh                      |    109 +
 src/EList_Iterator_types.hh                        |     27 +
 src/EList_defs.hh                                  |     90 +
 src/EList_inlines.hh                               |    119 +
 src/EList_types.hh                                 |     27 +
 src/Expression_Adapter_defs.hh                     |    216 +
 src/Expression_Adapter_inlines.hh                  |    229 +
 src/Expression_Adapter_types.hh                    |     28 +
 src/Expression_Hide_Inhomo.defs.hh                 |    176 -
 src/Expression_Hide_Inhomo.inlines.hh              |    314 -
 src/Expression_Hide_Inhomo.types.hh                |     23 -
 src/Expression_Hide_Inhomo_defs.hh                 |    147 +
 src/Expression_Hide_Inhomo_inlines.hh              |    218 +
 src/Expression_Hide_Inhomo_types.hh                |     23 +
 src/Expression_Hide_Last.defs.hh                   |    193 -
 src/Expression_Hide_Last.inlines.hh                |    300 -
 src/Expression_Hide_Last.types.hh                  |     23 -
 src/Expression_Hide_Last_defs.hh                   |    165 +
 src/Expression_Hide_Last_inlines.hh                |    241 +
 src/Expression_Hide_Last_types.hh                  |     23 +
 src/Float.cc                                       |      5 +-
 src/Float.defs.hh                                  |    516 -
 src/Float.inlines.hh                               |    536 -
 src/Float.templates.hh                             |    167 -
 src/Float_defs.hh                                  |    523 +
 src/Float_inlines.hh                               |    536 +
 src/Float_templates.hh                             |    167 +
 src/Floating_Point_Expression.defs.hh              |    213 -
 src/Floating_Point_Expression.inlines.hh           |     55 -
 src/Floating_Point_Expression.templates.hh         |    111 -
 src/Floating_Point_Expression.types.hh             |     23 -
 src/Floating_Point_Expression_defs.hh              |    212 +
 src/Floating_Point_Expression_inlines.hh           |     55 +
 src/Floating_Point_Expression_templates.hh         |    111 +
 src/Floating_Point_Expression_types.hh             |     23 +
 src/GMP_Integer.defs.hh                            |    134 -
 src/GMP_Integer.inlines.hh                         |    122 -
 src/GMP_Integer.types.hh                           |     45 -
 src/GMP_Integer_defs.hh                            |    134 +
 src/GMP_Integer_inlines.hh                         |    122 +
 src/GMP_Integer_types.hh                           |     45 +
 src/Generator.cc                                   |     67 +-
 src/Generator.defs.hh                              |   1036 -
 src/Generator.inlines.hh                           |    728 -
 src/Generator.types.hh                             |     22 -
 src/Generator_System.cc                            |    562 +-
 src/Generator_System.defs.hh                       |    744 -
 src/Generator_System.inlines.hh                    |    411 -
 src/Generator_System.types.hh                      |     23 -
 src/Generator_System_defs.hh                       |    744 +
 src/Generator_System_inlines.hh                    |    411 +
 src/Generator_System_types.hh                      |     23 +
 src/Generator_defs.hh                              |   1033 +
 src/Generator_inlines.hh                           |    709 +
 src/Generator_types.hh                             |     22 +
 src/Grid.defs.hh                                   |   2665 -
 src/Grid.inlines.hh                                |    383 -
 src/Grid.templates.hh                              |    339 -
 src/Grid.types.hh                                  |     22 -
 src/Grid_Certificate.cc                            |     34 +-
 src/Grid_Certificate.defs.hh                       |    104 -
 src/Grid_Certificate.inlines.hh                    |     61 -
 src/Grid_Certificate.types.hh                      |     22 -
 src/Grid_Certificate_defs.hh                       |    104 +
 src/Grid_Certificate_inlines.hh                    |     61 +
 src/Grid_Certificate_types.hh                      |     22 +
 src/Grid_Generator.cc                              |     34 +-
 src/Grid_Generator.defs.hh                         |    798 -
 src/Grid_Generator.inlines.hh                      |    382 -
 src/Grid_Generator.types.hh                        |     22 -
 src/Grid_Generator_System.cc                       |     30 +-
 src/Grid_Generator_System.defs.hh                  |    514 -
 src/Grid_Generator_System.inlines.hh               |    279 -
 src/Grid_Generator_System.types.hh                 |     22 -
 src/Grid_Generator_System_defs.hh                  |    514 +
 src/Grid_Generator_System_inlines.hh               |    279 +
 src/Grid_Generator_System_types.hh                 |     22 +
 src/Grid_Generator_defs.hh                         |    796 +
 src/Grid_Generator_inlines.hh                      |    369 +
 src/Grid_Generator_types.hh                        |     22 +
 src/Grid_Status.cc                                 |     18 +-
 src/Grid_Status.idefs.hh                           |    168 -
 src/Grid_Status.inlines.hh                         |    217 -
 src/Grid_Status_idefs.hh                           |    168 +
 src/Grid_Status_inlines.hh                         |    217 +
 src/Grid_chdims.cc                                 |     38 +-
 src/Grid_conversion.cc                             |    144 +-
 src/Grid_defs.hh                                   |   2665 +
 src/Grid_inlines.hh                                |    383 +
 src/Grid_nonpublic.cc                              |    150 +-
 src/Grid_public.cc                                 |    605 +-
 src/Grid_simplify.cc                               |    146 +-
 src/Grid_templates.hh                              |    339 +
 src/Grid_types.hh                                  |     22 +
 src/Grid_widenings.cc                              |     89 +-
 src/H79_Certificate.cc                             |     10 +-
 src/H79_Certificate.defs.hh                        |     98 -
 src/H79_Certificate.inlines.hh                     |     71 -
 src/H79_Certificate.types.hh                       |     22 -
 src/H79_Certificate_defs.hh                        |     98 +
 src/H79_Certificate_inlines.hh                     |     71 +
 src/H79_Certificate_types.hh                       |     22 +
 src/Handler.defs.hh                                |     95 -
 src/Handler.inlines.hh                             |     66 -
 src/Handler.types.hh                               |     35 -
 src/Handler_defs.hh                                |     96 +
 src/Handler_inlines.hh                             |     66 +
 src/Handler_types.hh                               |     35 +
 src/Has_Assign_Or_Swap.hh                          |      6 +-
 src/Init.cc                                        |     36 +-
 src/Init.defs.hh                                   |    100 -
 src/Init.inlines.hh                                |     48 -
 src/Init.types.hh                                  |     22 -
 src/Init_defs.hh                                   |    100 +
 src/Init_inlines.hh                                |     48 +
 src/Init_types.hh                                  |     22 +
 src/Integer_Interval.hh                            |      4 +-
 src/Interval.defs.hh                               |    761 -
 src/Interval.inlines.hh                            |   1151 -
 src/Interval.templates.hh                          |    402 -
 src/Interval.types.hh                              |     23 -
 src/Interval_Info.defs.hh                          |    285 -
 src/Interval_Info.inlines.hh                       |    116 -
 src/Interval_Info.types.hh                         |     26 -
 src/Interval_Info_defs.hh                          |    285 +
 src/Interval_Info_inlines.hh                       |    116 +
 src/Interval_Info_types.hh                         |     26 +
 src/Interval_defs.hh                               |    763 +
 src/Interval_inlines.hh                            |   1160 +
 src/Interval_templates.hh                          |    402 +
 src/Interval_types.hh                              |     23 +
 src/Linear_Expression.cc                           |    105 +-
 src/Linear_Expression.defs.hh                      |   1070 -
 src/Linear_Expression.inlines.hh                   |    880 -
 src/Linear_Expression.types.hh                     |     22 -
 src/Linear_Expression_Impl.cc                      |     11 +-
 src/Linear_Expression_Impl.defs.hh                 |    916 -
 src/Linear_Expression_Impl.inlines.hh              |    282 -
 src/Linear_Expression_Impl.templates.hh            |   1265 -
 src/Linear_Expression_Impl.types.hh                |     23 -
 src/Linear_Expression_Impl_defs.hh                 |    906 +
 src/Linear_Expression_Impl_inlines.hh              |    282 +
 src/Linear_Expression_Impl_templates.hh            |   1316 +
 src/Linear_Expression_Impl_types.hh                |     23 +
 src/Linear_Expression_Interface.cc                 |      4 +-
 src/Linear_Expression_Interface.defs.hh            |    489 -
 src/Linear_Expression_Interface.types.hh           |     22 -
 src/Linear_Expression_Interface_defs.hh            |    489 +
 src/Linear_Expression_Interface_types.hh           |     22 +
 src/Linear_Expression_defs.hh                      |    928 +
 src/Linear_Expression_inlines.hh                   |    822 +
 src/Linear_Expression_types.hh                     |     22 +
 src/Linear_Form.cc                                 |      4 +-
 src/Linear_Form.defs.hh                            |    499 -
 src/Linear_Form.inlines.hh                         |    252 -
 src/Linear_Form.templates.hh                       |    527 -
 src/Linear_Form.types.hh                           |     23 -
 src/Linear_Form_defs.hh                            |    499 +
 src/Linear_Form_inlines.hh                         |    252 +
 src/Linear_Form_templates.hh                       |    527 +
 src/Linear_Form_types.hh                           |     23 +
 src/Linear_System.defs.hh                          |    582 -
 src/Linear_System.inlines.hh                       |    692 -
 src/Linear_System.templates.hh                     |    923 -
 src/Linear_System.types.hh                         |     26 -
 src/Linear_System_defs.hh                          |    582 +
 src/Linear_System_inlines.hh                       |    698 +
 src/Linear_System_templates.hh                     |    930 +
 src/Linear_System_types.hh                         |     26 +
 src/MIP_Problem.cc                                 |    162 +-
 src/MIP_Problem.defs.hh                            |    980 -
 src/MIP_Problem.inlines.hh                         |    322 -
 src/MIP_Problem.templates.hh                       |    181 -
 src/MIP_Problem.types.hh                           |     33 -
 src/MIP_Problem_defs.hh                            |    975 +
 src/MIP_Problem_inlines.hh                         |    321 +
 src/MIP_Problem_templates.hh                       |    181 +
 src/MIP_Problem_types.hh                           |     33 +
 src/Makefile.am                                    |    692 +-
 src/Makefile.in                                    |   1134 +-
 src/Matrix.defs.hh                                 |    437 -
 src/Matrix.inlines.hh                              |    200 -
 src/Matrix.templates.hh                            |    201 -
 src/Matrix.types.hh                                |     23 -
 src/Matrix_defs.hh                                 |    437 +
 src/Matrix_inlines.hh                              |    200 +
 src/Matrix_templates.hh                            |    202 +
 src/Matrix_types.hh                                |     23 +
 ...ultiplication_Floating_Point_Expression.defs.hh |    251 -
 ...iplication_Floating_Point_Expression.inlines.hh |     71 -
 ...lication_Floating_Point_Expression.templates.hh |    109 -
 ...ltiplication_Floating_Point_Expression.types.hh |     23 -
 ...ultiplication_Floating_Point_Expression_defs.hh |    251 +
 ...iplication_Floating_Point_Expression_inlines.hh |     71 +
 ...lication_Floating_Point_Expression_templates.hh |    109 +
 ...ltiplication_Floating_Point_Expression_types.hh |     23 +
 src/NNC_Polyhedron.cc                              |     14 +-
 src/NNC_Polyhedron.defs.hh                         |    256 -
 src/NNC_Polyhedron.inlines.hh                      |    153 -
 src/NNC_Polyhedron.types.hh                        |     22 -
 src/NNC_Polyhedron_defs.hh                         |    256 +
 src/NNC_Polyhedron_inlines.hh                      |    153 +
 src/NNC_Polyhedron_types.hh                        |     22 +
 src/Numeric_Format.defs.hh                         |     38 -
 src/Numeric_Format_defs.hh                         |     38 +
 src/OR_Matrix.defs.hh                              |    610 -
 src/OR_Matrix.inlines.hh                           |    751 -
 src/OR_Matrix.templates.hh                         |    124 -
 src/OR_Matrix.types.hh                             |     23 -
 src/OR_Matrix_defs.hh                              |    610 +
 src/OR_Matrix_inlines.hh                           |    751 +
 src/OR_Matrix_templates.hh                         |    124 +
 src/OR_Matrix_types.hh                             |     23 +
 src/Octagonal_Shape.cc                             |      4 +-
 src/Octagonal_Shape.defs.hh                        |   2324 -
 src/Octagonal_Shape.inlines.hh                     |    892 -
 src/Octagonal_Shape.templates.hh                   |   8113 -
 src/Octagonal_Shape.types.hh                       |     25 -
 src/Octagonal_Shape_defs.hh                        |   2324 +
 src/Octagonal_Shape_inlines.hh                     |    892 +
 src/Octagonal_Shape_templates.hh                   |   8115 +
 src/Octagonal_Shape_types.hh                       |     25 +
 src/Og_Status.idefs.hh                             |    112 -
 src/Og_Status.inlines.hh                           |    225 -
 src/Og_Status_idefs.hh                             |    112 +
 src/Og_Status_inlines.hh                           |    225 +
 src/Opposite_Floating_Point_Expression.defs.hh     |    193 -
 src/Opposite_Floating_Point_Expression.inlines.hh  |     79 -
 src/Opposite_Floating_Point_Expression.types.hh    |     23 -
 src/Opposite_Floating_Point_Expression_defs.hh     |    193 +
 src/Opposite_Floating_Point_Expression_inlines.hh  |     79 +
 src/Opposite_Floating_Point_Expression_types.hh    |     23 +
 src/PIP_Problem.cc                                 |     43 +-
 src/PIP_Problem.defs.hh                            |    834 -
 src/PIP_Problem.inlines.hh                         |     96 -
 src/PIP_Problem.templates.hh                       |     81 -
 src/PIP_Problem.types.hh                           |     31 -
 src/PIP_Problem_defs.hh                            |    834 +
 src/PIP_Problem_inlines.hh                         |     96 +
 src/PIP_Problem_templates.hh                       |     81 +
 src/PIP_Problem_types.hh                           |     31 +
 src/PIP_Tree.cc                                    |     86 +-
 src/PIP_Tree.defs.hh                               |    836 -
 src/PIP_Tree.inlines.hh                            |    140 -
 src/PIP_Tree.types.hh                              |     26 -
 src/PIP_Tree_defs.hh                               |    836 +
 src/PIP_Tree_inlines.hh                            |    140 +
 src/PIP_Tree_types.hh                              |     26 +
 src/Partial_Function.cc                            |      6 +-
 src/Partial_Function.defs.hh                       |     87 -
 src/Partial_Function.inlines.hh                    |     90 -
 src/Partial_Function.types.hh                      |     22 -
 src/Partial_Function_defs.hh                       |     87 +
 src/Partial_Function_inlines.hh                    |     90 +
 src/Partial_Function_types.hh                      |     22 +
 src/Partially_Reduced_Product.defs.hh              |   1689 -
 src/Partially_Reduced_Product.inlines.hh           |    818 -
 src/Partially_Reduced_Product.templates.hh         |    710 -
 src/Partially_Reduced_Product.types.hh             |     38 -
 src/Partially_Reduced_Product_defs.hh              |   1689 +
 src/Partially_Reduced_Product_inlines.hh           |    815 +
 src/Partially_Reduced_Product_templates.hh         |    710 +
 src/Partially_Reduced_Product_types.hh             |     38 +
 src/Pending_Element.defs.hh                        |     77 -
 src/Pending_Element.inlines.hh                     |     85 -
 src/Pending_Element.types.hh                       |     31 -
 src/Pending_Element_defs.hh                        |     77 +
 src/Pending_Element_inlines.hh                     |     85 +
 src/Pending_Element_types.hh                       |     31 +
 src/Pending_List.defs.hh                           |     79 -
 src/Pending_List.inlines.hh                        |     82 -
 src/Pending_List.templates.hh                      |     96 -
 src/Pending_List.types.hh                          |     31 -
 src/Pending_List_defs.hh                           |     79 +
 src/Pending_List_inlines.hh                        |     82 +
 src/Pending_List_templates.hh                      |     96 +
 src/Pending_List_types.hh                          |     31 +
 src/Ph_Status.cc                                   |     18 +-
 src/Ph_Status.idefs.hh                             |    183 -
 src/Ph_Status.inlines.hh                           |    217 -
 src/Ph_Status_idefs.hh                             |    183 +
 src/Ph_Status_inlines.hh                           |    217 +
 src/Pointset_Powerset.cc                           |    114 +-
 src/Pointset_Powerset.defs.hh                      |   1450 -
 src/Pointset_Powerset.inlines.hh                   |    320 -
 src/Pointset_Powerset.templates.hh                 |   1611 -
 src/Pointset_Powerset.types.hh                     |     23 -
 src/Pointset_Powerset_defs.hh                      |   1449 +
 src/Pointset_Powerset_inlines.hh                   |    320 +
 src/Pointset_Powerset_templates.hh                 |   1610 +
 src/Pointset_Powerset_types.hh                     |     23 +
 src/Poly_Con_Relation.cc                           |      4 +-
 src/Poly_Con_Relation.defs.hh                      |    166 -
 src/Poly_Con_Relation.inlines.hh                   |    100 -
 src/Poly_Con_Relation.types.hh                     |     22 -
 src/Poly_Con_Relation_defs.hh                      |    166 +
 src/Poly_Con_Relation_inlines.hh                   |    100 +
 src/Poly_Con_Relation_types.hh                     |     22 +
 src/Poly_Gen_Relation.cc                           |      4 +-
 src/Poly_Gen_Relation.defs.hh                      |    139 -
 src/Poly_Gen_Relation.inlines.hh                   |     85 -
 src/Poly_Gen_Relation.types.hh                     |     22 -
 src/Poly_Gen_Relation_defs.hh                      |    139 +
 src/Poly_Gen_Relation_inlines.hh                   |     85 +
 src/Poly_Gen_Relation_types.hh                     |     22 +
 src/Polyhedron.defs.hh                             |   2843 -
 src/Polyhedron.inlines.hh                          |    461 -
 src/Polyhedron.templates.hh                        |    579 -
 src/Polyhedron.types.hh                            |     22 -
 src/Polyhedron_chdims.cc                           |     26 +-
 src/Polyhedron_chdims.templates.hh                 |     63 -
 src/Polyhedron_chdims_templates.hh                 |     63 +
 src/Polyhedron_conversion.templates.hh             |    919 -
 src/Polyhedron_conversion_templates.hh             |    921 +
 src/Polyhedron_defs.hh                             |   2843 +
 src/Polyhedron_inlines.hh                          |    459 +
 src/Polyhedron_minimize.templates.hh               |    435 -
 src/Polyhedron_minimize_templates.hh               |    437 +
 src/Polyhedron_nonpublic.cc                        |    569 +-
 src/Polyhedron_public.cc                           |    803 +-
 src/Polyhedron_simplify.templates.hh               |    340 -
 src/Polyhedron_simplify_templates.hh               |    340 +
 src/Polyhedron_templates.hh                        |    579 +
 src/Polyhedron_types.hh                            |     22 +
 src/Polyhedron_widenings.cc                        |    238 +-
 src/Powerset.defs.hh                               |    450 -
 src/Powerset.inlines.hh                            |    231 -
 src/Powerset.templates.hh                          |    312 -
 src/Powerset.types.hh                              |     23 -
 src/Powerset_defs.hh                               |    450 +
 src/Powerset_inlines.hh                            |    231 +
 src/Powerset_templates.hh                          |    312 +
 src/Powerset_types.hh                              |     23 +
 src/Ptr_Iterator.defs.hh                           |    172 -
 src/Ptr_Iterator.inlines.hh                        |    189 -
 src/Ptr_Iterator.types.hh                          |     27 -
 src/Ptr_Iterator_defs.hh                           |    172 +
 src/Ptr_Iterator_inlines.hh                        |    189 +
 src/Ptr_Iterator_types.hh                          |     27 +
 src/Rational_Box.hh                                |      4 +-
 src/Rational_Interval.hh                           |      4 +-
 src/Result.defs.hh                                 |    195 -
 src/Result.inlines.hh                              |    102 -
 src/Result_defs.hh                                 |    195 +
 src/Result_inlines.hh                              |    102 +
 src/Rounding_Dir.defs.hh                           |    124 -
 src/Rounding_Dir.inlines.hh                        |    141 -
 src/Rounding_Dir_defs.hh                           |    124 +
 src/Rounding_Dir_inlines.hh                        |    141 +
 src/Scalar_Products.cc                             |     52 +-
 src/Scalar_Products.defs.hh                        |    226 -
 src/Scalar_Products.inlines.hh                     |    163 -
 src/Scalar_Products.types.hh                       |     24 -
 src/Scalar_Products_defs.hh                        |    227 +
 src/Scalar_Products_inlines.hh                     |    163 +
 src/Scalar_Products_types.hh                       |     24 +
 src/Slow_Copy.hh                                   |      2 +-
 src/Sparse_Row.cc                                  |     90 +-
 src/Sparse_Row.defs.hh                             |    930 -
 src/Sparse_Row.inlines.hh                          |    378 -
 src/Sparse_Row.templates.hh                        |    147 -
 src/Sparse_Row.types.hh                            |     22 -
 src/Sparse_Row_defs.hh                             |    930 +
 src/Sparse_Row_inlines.hh                          |    378 +
 src/Sparse_Row_templates.hh                        |    153 +
 src/Sparse_Row_types.hh                            |     22 +
 src/Sum_Floating_Point_Expression.defs.hh          |    213 -
 src/Sum_Floating_Point_Expression.inlines.hh       |     70 -
 src/Sum_Floating_Point_Expression.templates.hh     |     53 -
 src/Sum_Floating_Point_Expression.types.hh         |     23 -
 src/Sum_Floating_Point_Expression_defs.hh          |    213 +
 src/Sum_Floating_Point_Expression_inlines.hh       |     70 +
 src/Sum_Floating_Point_Expression_templates.hh     |     53 +
 src/Sum_Floating_Point_Expression_types.hh         |     23 +
 src/Swapping_Vector.defs.hh                        |     98 -
 src/Swapping_Vector.inlines.hh                     |    234 -
 src/Swapping_Vector.types.hh                       |     23 -
 src/Swapping_Vector_defs.hh                        |     98 +
 src/Swapping_Vector_inlines.hh                     |    234 +
 src/Swapping_Vector_types.hh                       |     23 +
 src/Temp.defs.hh                                   |    143 -
 src/Temp.inlines.hh                                |     97 -
 src/Temp.templates.hh                              |     34 -
 src/Temp_defs.hh                                   |    143 +
 src/Temp_inlines.hh                                |     97 +
 src/Temp_templates.hh                              |     34 +
 src/Threshold_Watcher.cc                           |      4 +-
 src/Threshold_Watcher.defs.hh                      |     96 -
 src/Threshold_Watcher.inlines.hh                   |     66 -
 src/Threshold_Watcher.templates.hh                 |     72 -
 src/Threshold_Watcher.types.hh                     |     23 -
 src/Threshold_Watcher_defs.hh                      |     96 +
 src/Threshold_Watcher_inlines.hh                   |     66 +
 src/Threshold_Watcher_templates.hh                 |     72 +
 src/Threshold_Watcher_types.hh                     |     23 +
 src/Time.cc                                        |      4 +-
 src/Time.defs.hh                                   |    126 -
 src/Time.inlines.hh                                |    155 -
 src/Time.types.hh                                  |     30 -
 src/Time_defs.hh                                   |    126 +
 src/Time_inlines.hh                                |    155 +
 src/Time_types.hh                                  |     30 +
 src/Topology.types.hh                              |     29 -
 src/Topology_types.hh                              |     29 +
 src/Variable.cc                                    |      8 +-
 src/Variable.defs.hh                               |    156 -
 src/Variable.inlines.hh                            |    100 -
 src/Variable.types.hh                              |     22 -
 src/Variable_Floating_Point_Expression.defs.hh     |    187 -
 src/Variable_Floating_Point_Expression.inlines.hh  |     94 -
 src/Variable_Floating_Point_Expression.types.hh    |     23 -
 src/Variable_Floating_Point_Expression_defs.hh     |    187 +
 src/Variable_Floating_Point_Expression_inlines.hh  |     94 +
 src/Variable_Floating_Point_Expression_types.hh    |     23 +
 src/Variable_defs.hh                               |    157 +
 src/Variable_inlines.hh                            |    100 +
 src/Variable_types.hh                              |     22 +
 src/Variables_Set.cc                               |     10 +-
 src/Variables_Set.defs.hh                          |    107 -
 src/Variables_Set.inlines.hh                       |     75 -
 src/Variables_Set.types.hh                         |     22 -
 src/Variables_Set_defs.hh                          |    107 +
 src/Variables_Set_inlines.hh                       |     75 +
 src/Variables_Set_types.hh                         |     22 +
 src/WRD_coefficient_types.defs.hh                  |    153 -
 src/WRD_coefficient_types.inlines.hh               |     43 -
 src/WRD_coefficient_types_defs.hh                  |    153 +
 src/WRD_coefficient_types_inlines.hh               |     43 +
 src/Watchdog.cc                                    |     54 +-
 src/Watchdog.defs.hh                               |    148 -
 src/Watchdog.inlines.hh                            |    101 -
 src/Watchdog.types.hh                              |     22 -
 src/Watchdog_defs.hh                               |    148 +
 src/Watchdog_inlines.hh                            |    101 +
 src/Watchdog_types.hh                              |     22 +
 src/Weight_Profiler.cc                             |     26 +-
 src/Weight_Profiler.defs.hh                        |    154 -
 src/Weight_Profiler_defs.hh                        |    154 +
 src/Widening_Function.defs.hh                      |    127 -
 src/Widening_Function.inlines.hh                   |     75 -
 src/Widening_Function.types.hh                     |     26 -
 src/Widening_Function_defs.hh                      |    127 +
 src/Widening_Function_inlines.hh                   |     75 +
 src/Widening_Function_types.hh                     |     26 +
 src/algorithms.hh                                  |      6 +-
 src/assert.cc                                      |      2 +-
 src/assert.hh                                      |      2 +-
 src/assign_or_swap.hh                              |      2 +-
 src/c_streambuf.cc                                 |     10 +-
 src/c_streambuf.defs.hh                            |    127 -
 src/c_streambuf.inlines.hh                         |     40 -
 src/c_streambuf.types.hh                           |     22 -
 src/c_streambuf_defs.hh                            |    127 +
 src/c_streambuf_inlines.hh                         |     40 +
 src/c_streambuf_types.hh                           |     22 +
 src/checked.cc                                     |     30 +-
 src/checked.defs.hh                                |    716 -
 src/checked.inlines.hh                             |    658 -
 src/checked_defs.hh                                |    716 +
 src/checked_ext.inlines.hh                         |    923 -
 src/checked_ext_inlines.hh                         |    923 +
 src/checked_float.inlines.hh                       |   1236 -
 src/checked_float_inlines.hh                       |   1234 +
 src/checked_inlines.hh                             |    658 +
 src/checked_int.inlines.hh                         |   1957 -
 src/checked_int_inlines.hh                         |   1952 +
 src/checked_mpq.inlines.hh                         |    542 -
 src/checked_mpq_inlines.hh                         |    542 +
 src/checked_mpz.inlines.hh                         |    645 -
 src/checked_mpz_inlines.hh                         |    645 +
 src/checked_numeric_limits.hh                      |     68 +-
 src/compiler.hh                                    |      2 +-
 src/distances.defs.hh                              |     54 -
 src/distances.inlines.hh                           |    113 -
 src/distances.types.hh                             |     29 -
 src/distances_defs.hh                              |     54 +
 src/distances_inlines.hh                           |    113 +
 src/distances_types.hh                             |     29 +
 src/fpu-c99.inlines.hh                             |    100 -
 src/fpu-c99_inlines.hh                             |    100 +
 src/fpu-ia32.cc                                    |      4 +-
 src/fpu-ia32.inlines.hh                            |    203 -
 src/fpu-ia32_inlines.hh                            |    203 +
 src/fpu-none.inlines.hh                            |     75 -
 src/fpu-none_inlines.hh                            |     75 +
 src/fpu-sparc.inlines.hh                           |     77 -
 src/fpu-sparc_inlines.hh                           |     77 +
 src/fpu.defs.hh                                    |    104 -
 src/fpu.types.hh                                   |     27 -
 src/fpu_defs.hh                                    |    104 +
 src/fpu_types.hh                                   |     27 +
 src/globals.cc                                     |      8 +-
 src/globals.defs.hh                                |    550 -
 src/globals.inlines.hh                             |    190 -
 src/globals.types.hh                               |    214 -
 src/globals_defs.hh                                |    564 +
 src/globals_inlines.hh                             |    190 +
 src/globals_types.hh                               |    214 +
 src/initializer.hh                                 |      4 +-
 src/intervals.defs.hh                              |    473 -
 src/intervals_defs.hh                              |    473 +
 src/iterator_to_const.defs.hh                      |    221 -
 src/iterator_to_const.inlines.hh                   |    202 -
 src/iterator_to_const.types.hh                     |     26 -
 src/iterator_to_const_defs.hh                      |    221 +
 src/iterator_to_const_inlines.hh                   |    202 +
 src/iterator_to_const_types.hh                     |     26 +
 src/linearize.hh                                   |     12 +-
 src/math_utilities.defs.hh                         |    110 -
 src/math_utilities.inlines.hh                      |    120 -
 src/math_utilities_defs.hh                         |    110 +
 src/math_utilities_inlines.hh                      |    120 +
 src/max_space_dimension.hh                         |     14 +-
 src/meta_programming.hh                            |     18 +-
 src/mp_std_bits.cc                                 |     14 +-
 src/mp_std_bits.defs.hh                            |    169 -
 src/mp_std_bits.inlines.hh                         |     38 -
 src/mp_std_bits_defs.hh                            |    175 +
 src/mp_std_bits_inlines.hh                         |     38 +
 src/namespaces.hh                                  |      4 +-
 src/ppl-config.cc.in                               |    100 +-
 src/ppl.hh.dist                                    |  12223 +-
 src/ppl_header.hh                                  |      2 +-
 src/stdiobuf.cc                                    |     14 +-
 src/stdiobuf.defs.hh                               |    111 -
 src/stdiobuf.inlines.hh                            |     36 -
 src/stdiobuf.types.hh                              |     22 -
 src/stdiobuf_defs.hh                               |    111 +
 src/stdiobuf_inlines.hh                            |     36 +
 src/stdiobuf_types.hh                              |     22 +
 src/swapping_sort.templates.hh                     |    179 -
 src/swapping_sort_templates.hh                     |    179 +
 src/termination.cc                                 |    146 +-
 src/termination.defs.hh                            |    502 -
 src/termination.templates.hh                       |    552 -
 src/termination.types.hh                           |     22 -
 src/termination_defs.hh                            |    502 +
 src/termination_templates.hh                       |    552 +
 src/termination_types.hh                           |     22 +
 src/version.cc                                     |      4 +-
 src/version.hh.in                                  |      2 +-
 src/wrap_assign.hh                                 |     12 +-
 src/wrap_string.cc                                 |     38 +-
 src/wrap_string.hh                                 |     10 +-
 tests/BD_Shape/Makefile.am                         |      2 +-
 tests/BD_Shape/Makefile.in                         |     85 +-
 tests/BD_Shape/addconstraints1.cc                  |      2 +-
 tests/BD_Shape/addspacedims1.cc                    |      2 +-
 tests/BD_Shape/affinedimension1.cc                 |      2 +-
 tests/BD_Shape/affineimage1.cc                     |      2 +-
 tests/BD_Shape/affineimage2.cc                     |      2 +-
 tests/BD_Shape/affinepreimage1.cc                  |      2 +-
 tests/BD_Shape/ascii_dump_load1.cc                 |      2 +-
 tests/BD_Shape/bgp99extrapolation1.cc              |      2 +-
 tests/BD_Shape/bhmz05widening1.cc                  |      2 +-
 tests/BD_Shape/bhz03widening1.cc                   |      2 +-
 tests/BD_Shape/bounded1.cc                         |      2 +-
 tests/BD_Shape/boundedaffineimage1.cc              |      2 +-
 tests/BD_Shape/boundedaffinepreimage1.cc           |      2 +-
 tests/BD_Shape/bounds1.cc                          |      2 +-
 tests/BD_Shape/cc76extrapolation1.cc               |      2 +-
 tests/BD_Shape/cc76narrowing1.cc                   |      2 +-
 tests/BD_Shape/closure1.cc                         |      2 +-
 tests/BD_Shape/concatenate1.cc                     |      2 +-
 tests/BD_Shape/congruences1.cc                     |      2 +-
 tests/BD_Shape/constrains1.cc                      |     18 +-
 tests/BD_Shape/constraints1.cc                     |      2 +-
 tests/BD_Shape/contains1.cc                        |      2 +-
 tests/BD_Shape/containsintegerpoint1.cc            |      2 +-
 tests/BD_Shape/difference1.cc                      |      2 +-
 tests/BD_Shape/discrete1.cc                        |      2 +-
 tests/BD_Shape/disjoint1.cc                        |      2 +-
 tests/BD_Shape/dropsomenonintegerpoints1.cc        |      2 +-
 tests/BD_Shape/empty1.cc                           |      2 +-
 tests/BD_Shape/equality1.cc                        |      2 +-
 tests/BD_Shape/expandspacedim1.cc                  |      2 +-
 tests/BD_Shape/foldspacedims1.cc                   |      2 +-
 tests/BD_Shape/frequency1.cc                       |      2 +-
 tests/BD_Shape/frombdshape1.cc                     |      2 +-
 tests/BD_Shape/frombox1.cc                         |      2 +-
 tests/BD_Shape/fromgensys1.cc                      |      2 +-
 tests/BD_Shape/fromgrid1.cc                        |      2 +-
 tests/BD_Shape/fromoctagonalshape1.cc              |      2 +-
 tests/BD_Shape/frompolyhedron1.cc                  |      2 +-
 tests/BD_Shape/fromspacedim1.cc                    |      2 +-
 tests/BD_Shape/generalizedaffineimage1.cc          |      2 +-
 tests/BD_Shape/generalizedaffineimage2.cc          |      2 +-
 tests/BD_Shape/generalizedaffinepreimage1.cc       |      2 +-
 tests/BD_Shape/generalizedaffinepreimage2.cc       |      2 +-
 tests/BD_Shape/generalizedaffinepreimage3.cc       |      2 +-
 tests/BD_Shape/geomcovers1.cc                      |      2 +-
 tests/BD_Shape/h79widening1.cc                     |      2 +-
 tests/BD_Shape/integerupperboundifexact1.cc        |      2 +-
 tests/BD_Shape/intersection1.cc                    |      2 +-
 tests/BD_Shape/limitedbhmz05extrapolation1.cc      |      2 +-
 tests/BD_Shape/limitedcc76extrapolation1.cc        |      2 +-
 tests/BD_Shape/limitedh79extrapolation1.cc         |      2 +-
 tests/BD_Shape/mapspacedims1.cc                    |      2 +-
 tests/BD_Shape/max_min1.cc                         |      2 +-
 tests/BD_Shape/max_min2.cc                         |      2 +-
 tests/BD_Shape/maxspacedim1.cc                     |      2 +-
 tests/BD_Shape/membytes1.cc                        |      2 +-
 tests/BD_Shape/minconstraints1.cc                  |      2 +-
 tests/BD_Shape/relations1.cc                       |      2 +-
 tests/BD_Shape/relations2.cc                       |      2 +-
 tests/BD_Shape/relations3.cc                       |      2 +-
 tests/BD_Shape/relations4.cc                       |      2 +-
 tests/BD_Shape/removespacedims1.cc                 |      2 +-
 tests/BD_Shape/run_tests                           |      2 +-
 tests/BD_Shape/simplifyusingcontext1.cc            |      2 +-
 tests/BD_Shape/timeelapse1.cc                      |      2 +-
 tests/BD_Shape/unconstrain1.cc                     |      2 +-
 tests/BD_Shape/universe1.cc                        |      2 +-
 tests/BD_Shape/upperbound1.cc                      |      2 +-
 tests/BD_Shape/upperboundifexact1.cc               |      2 +-
 tests/BD_Shape/wrap1.cc                            |      2 +-
 tests/BD_Shape/writebdshape1.cc                    |      2 +-
 tests/Box/Makefile.am                              |      2 +-
 tests/Box/Makefile.in                              |     85 +-
 tests/Box/addconstraints1.cc                       |      2 +-
 tests/Box/addspacedims1.cc                         |      2 +-
 tests/Box/affinedimension1.cc                      |      2 +-
 tests/Box/affineimage1.cc                          |      2 +-
 tests/Box/affinepreimage1.cc                       |      2 +-
 tests/Box/ascii_dump_load1.cc                      |      2 +-
 tests/Box/bgp99extrapolation1.cc                   |      2 +-
 tests/Box/bhz03widening1.cc                        |      2 +-
 tests/Box/bounded1.cc                              |      2 +-
 tests/Box/boundedaffineimage1.cc                   |      2 +-
 tests/Box/boundedaffinepreimage1.cc                |      2 +-
 tests/Box/cc76narrowing1.cc                        |      2 +-
 tests/Box/cc76widening.cc                          |      2 +-
 tests/Box/concatenate1.cc                          |      2 +-
 tests/Box/congruences1.cc                          |      2 +-
 tests/Box/constrains1.cc                           |     18 +-
 tests/Box/constraints1.cc                          |      2 +-
 tests/Box/contains1.cc                             |      2 +-
 tests/Box/containsintegerpoint1.cc                 |      2 +-
 tests/Box/difference1.cc                           |      2 +-
 tests/Box/discrete1.cc                             |      2 +-
 tests/Box/disjoint1.cc                             |      2 +-
 tests/Box/empty1.cc                                |      2 +-
 tests/Box/equality1.cc                             |      2 +-
 tests/Box/expandspacedim1.cc                       |      2 +-
 tests/Box/foldspacedims1.cc                        |      2 +-
 tests/Box/frequency1.cc                            |      2 +-
 tests/Box/frombdshape1.cc                          |      2 +-
 tests/Box/frombox1.cc                              |      2 +-
 tests/Box/fromgensys1.cc                           |      2 +-
 tests/Box/fromgrid1.cc                             |      2 +-
 tests/Box/frompartiallyreducedproduct1.cc          |      2 +-
 tests/Box/frompolyhedron1.cc                       |      2 +-
 tests/Box/frompolyhedron2.cc                       |      2 +-
 tests/Box/fromspacedim1.cc                         |      2 +-
 tests/Box/generalizedaffineimage1.cc               |      2 +-
 tests/Box/generalizedaffineimage2.cc               |      2 +-
 tests/Box/generalizedaffinepreimage1.cc            |      2 +-
 tests/Box/geomcovers1.cc                           |      2 +-
 tests/Box/intersection1.cc                         |      2 +-
 tests/Box/interval1.cc                             |      2 +-
 tests/Box/limitedcc76extrapolation1.cc             |      2 +-
 tests/Box/mapspacedims1.cc                         |      2 +-
 tests/Box/max_min1.cc                              |      2 +-
 tests/Box/maxspacedim1.cc                          |      2 +-
 tests/Box/membytes1.cc                             |      2 +-
 tests/Box/minconstraints1.cc                       |      2 +-
 tests/Box/propagateconstraints1.cc                 |      2 +-
 tests/Box/propagateconstraints2.cc                 |      2 +-
 tests/Box/refinewithcongruence1.cc                 |      4 +-
 tests/Box/refinewithcongruences1.cc                |     16 +-
 tests/Box/refinewithconstraint1.cc                 |      2 +-
 tests/Box/refinewithconstraint2.cc                 |      2 +-
 tests/Box/refinewithconstraints1.cc                |      2 +-
 tests/Box/refinewithconstraints2.cc                |      2 +-
 tests/Box/relations1.cc                            |      2 +-
 tests/Box/relations2.cc                            |      2 +-
 tests/Box/relations3.cc                            |      2 +-
 tests/Box/relations4.cc                            |      2 +-
 tests/Box/removespacedims1.cc                      |      2 +-
 tests/Box/run_tests                                |      2 +-
 tests/Box/simplifyusingcontext1.cc                 |      2 +-
 tests/Box/timeelapse1.cc                           |      2 +-
 tests/Box/topclosed1.cc                            |      2 +-
 tests/Box/unconstrain1.cc                          |      2 +-
 tests/Box/universe1.cc                             |      2 +-
 tests/Box/upperbound1.cc                           |      2 +-
 tests/Box/upperboundifexact1.cc                    |      2 +-
 tests/Box/wrap1.cc                                 |      2 +-
 tests/Box/writebox1.cc                             |      2 +-
 tests/CO_Tree/Makefile.am                          |      2 +-
 tests/CO_Tree/Makefile.in                          |     85 +-
 tests/CO_Tree/cotree1.cc                           |      2 +-
 tests/Concrete_Expression/C_Expr.cc                |      4 +-
 tests/Concrete_Expression/C_Expr.defs.hh           |    257 -
 tests/Concrete_Expression/C_Expr.inlines.hh        |    187 -
 tests/Concrete_Expression/C_Expr_defs.hh           |    257 +
 tests/Concrete_Expression/C_Expr_inlines.hh        |    187 +
 tests/Concrete_Expression/Makefile.am              |      4 +-
 tests/Concrete_Expression/Makefile.in              |     93 +-
 tests/Concrete_Expression/bdshape1.cc              |      2 +-
 tests/Concrete_Expression/bdshape2.cc              |      2 +-
 tests/Concrete_Expression/digitalfilters1.cc       |      4 +-
 tests/Concrete_Expression/linearform1.cc           |      2 +-
 tests/Concrete_Expression/linearize.cc             |      4 +-
 tests/Concrete_Expression/octagonalshape1.cc       |      2 +-
 tests/Concrete_Expression/octagonalshape2.cc       |      2 +-
 tests/Concrete_Expression/polyhedron1.cc           |      2 +-
 tests/Concrete_Expression/polyhedron2.cc           |     39 +-
 tests/Concrete_Expression/run_tests                |      2 +-
 tests/Grid/Makefile.am                             |      2 +-
 tests/Grid/Makefile.in                             |     85 +-
 tests/Grid/addcongruence1.cc                       |      4 +-
 tests/Grid/addcongruences1.cc                      |     12 +-
 tests/Grid/addconstraint1.cc                       |      4 +-
 tests/Grid/addconstraints1.cc                      |      2 +-
 tests/Grid/addgenerator1.cc                        |      8 +-
 tests/Grid/addgenerators1.cc                       |      6 +-
 tests/Grid/addspacedims1.cc                        |      2 +-
 tests/Grid/affinedim1.cc                           |      2 +-
 tests/Grid/affineimage1.cc                         |      2 +-
 tests/Grid/affineimage2.cc                         |      2 +-
 tests/Grid/affinepreimage1.cc                      |      2 +-
 tests/Grid/affinepreimage2.cc                      |      2 +-
 tests/Grid/approximatepartition1.cc                |      6 +-
 tests/Grid/asciidumpload1.cc                       |      2 +-
 tests/Grid/asciidumpload2.cc                       |      2 +-
 tests/Grid/asciidumpload3.cc                       |      2 +-
 tests/Grid/asciidumpload4.cc                       |      2 +-
 tests/Grid/asciidumpload5.cc                       |      2 +-
 tests/Grid/asciidumpload6.cc                       |      2 +-
 tests/Grid/bhz03widening1.cc                       |      2 +-
 tests/Grid/bounded1.cc                             |      2 +-
 tests/Grid/boundedaffineimage1.cc                  |      2 +-
 tests/Grid/boundedaffinepreimage1.cc               |      2 +-
 tests/Grid/bounds1.cc                              |      8 +-
 tests/Grid/certificate1.cc                         |      2 +-
 tests/Grid/concatenate1.cc                         |      2 +-
 tests/Grid/congruence1.cc                          |     36 +-
 tests/Grid/congruences1.cc                         |      2 +-
 tests/Grid/congruences2.cc                         |     14 +-
 tests/Grid/constraints1.cc                         |      2 +-
 tests/Grid/contains1.cc                            |      2 +-
 tests/Grid/containsintegerpoint1.cc                |      2 +-
 tests/Grid/discrete1.cc                            |      2 +-
 tests/Grid/disjoint1.cc                            |      2 +-
 tests/Grid/dropnonintegerpoints1.cc                |      2 +-
 tests/Grid/equals1.cc                              |      2 +-
 tests/Grid/expandspacedim1.cc                      |      2 +-
 tests/Grid/foldspacedims1.cc                       |      2 +-
 tests/Grid/frequency1.cc                           |      2 +-
 tests/Grid/frombdshape1.cc                         |      2 +-
 tests/Grid/frombox1.cc                             |      2 +-
 tests/Grid/fromgrid1.cc                            |      2 +-
 tests/Grid/fromoctagonalshape1.cc                  |      2 +-
 tests/Grid/frompolyhedron1.cc                      |      2 +-
 tests/Grid/generalizedaffineimage1.cc              |     32 +-
 tests/Grid/generalizedaffineimage2.cc              |     24 +-
 tests/Grid/generalizedaffineimage3.cc              |     16 +-
 tests/Grid/generalizedaffinepreimage1.cc           |     18 +-
 tests/Grid/generalizedaffinepreimage2.cc           |     18 +-
 tests/Grid/generalizedaffinepreimage3.cc           |     18 +-
 tests/Grid/generator1.cc                           |     51 +-
 tests/Grid/generators1.cc                          |      4 +-
 tests/Grid/generators2.cc                          |      2 +-
 tests/Grid/grid1.cc                                |      4 +-
 tests/Grid/grid2.cc                                |      2 +-
 tests/Grid/grid3.cc                                |      2 +-
 tests/Grid/griddifference1.cc                      |      2 +-
 tests/Grid/intersection1.cc                        |      4 +-
 tests/Grid/isempty1.cc                             |      2 +-
 tests/Grid/isuniverse1.cc                          |      2 +-
 tests/Grid/limitedextrapolation1.cc                |      2 +-
 tests/Grid/limitedextrapolation2.cc                |      2 +-
 tests/Grid/limitedextrapolation3.cc                |      2 +-
 tests/Grid/mapspacedims1.cc                        |      2 +-
 tests/Grid/maxmin1.cc                              |     40 +-
 tests/Grid/membytes1.cc                            |      8 +-
 tests/Grid/mincongruences1.cc                      |      2 +-
 tests/Grid/mingenerators1.cc                       |      2 +-
 tests/Grid/outputoperator1.cc                      |      2 +-
 tests/Grid/outputoperator2.cc                      |      2 +-
 tests/Grid/outputoperator3.cc                      |      2 +-
 tests/Grid/partition1.cc                           |     12 +-
 tests/Grid/powersetdifference1.cc                  |      2 +-
 tests/Grid/powersetgeometricallycovers1.cc         |      2 +-
 tests/Grid/powersetgeometricallyequals1.cc         |      2 +-
 tests/Grid/refinewithcongruences1.cc               |      2 +-
 tests/Grid/refinewithconstraints1.cc               |      2 +-
 tests/Grid/relations1.cc                           |      6 +-
 tests/Grid/relations2.cc                           |     28 +-
 tests/Grid/relations3.cc                           |    244 +-
 tests/Grid/removespacedims1.cc                     |      2 +-
 tests/Grid/removespacedims2.cc                     |      2 +-
 tests/Grid/simplifyusingcontext1.cc                |      2 +-
 tests/Grid/timeelapse1.cc                          |      2 +-
 tests/Grid/topclosed1.cc                           |      2 +-
 tests/Grid/topclosure1.cc                          |      2 +-
 tests/Grid/unconstrain1.cc                         |      2 +-
 tests/Grid/upperbound1.cc                          |      2 +-
 tests/Grid/upperbound2.cc                          |      2 +-
 tests/Grid/widening1.cc                            |      2 +-
 tests/Grid/widening2.cc                            |      2 +-
 tests/Grid/widening3.cc                            |      2 +-
 tests/Grid/wrap1.cc                                |      2 +-
 tests/Grid/writecongruencesystem.cc                |      2 +-
 tests/MIP_Problem/Makefile.am                      |      2 +-
 tests/MIP_Problem/Makefile.in                      |     85 +-
 tests/MIP_Problem/ascii_dump_load1.cc              |      2 +-
 tests/MIP_Problem/exceptions1.cc                   |     16 +-
 tests/MIP_Problem/mipproblem1.cc                   |   1494 +-
 tests/MIP_Problem/mipproblem2.cc                   |      4 +-
 tests/MIP_Problem/mipproblem3.cc                   |    768 +-
 tests/MIP_Problem/mipproblem4.cc                   |     16 +-
 tests/Makefile.am                                  |      8 +-
 tests/Makefile.in                                  |    179 +-
 tests/Octagonal_Shape/Makefile.am                  |      2 +-
 tests/Octagonal_Shape/Makefile.in                  |     85 +-
 tests/Octagonal_Shape/addspacedims1.cc             |      2 +-
 tests/Octagonal_Shape/affinedimension1.cc          |      2 +-
 tests/Octagonal_Shape/affineimage1.cc              |      2 +-
 tests/Octagonal_Shape/affineimage2.cc              |      2 +-
 tests/Octagonal_Shape/affinepreimage1.cc           |      2 +-
 tests/Octagonal_Shape/affinepreimage2.cc           |      2 +-
 tests/Octagonal_Shape/ascii_dump_load1.cc          |      2 +-
 tests/Octagonal_Shape/bhmz05widening1.cc           |      2 +-
 tests/Octagonal_Shape/bhz03widening1.cc            |      2 +-
 tests/Octagonal_Shape/bounded1.cc                  |      2 +-
 tests/Octagonal_Shape/boundedaffineimage1.cc       |      2 +-
 tests/Octagonal_Shape/boundedaffinepreimage1.cc    |      2 +-
 tests/Octagonal_Shape/bounds1.cc                   |      2 +-
 tests/Octagonal_Shape/cc76extrapolation1.cc        |      2 +-
 tests/Octagonal_Shape/cc76narrowing1.cc            |      2 +-
 tests/Octagonal_Shape/chinainit.cc                 |      2 +-
 tests/Octagonal_Shape/concatenate1.cc              |      2 +-
 tests/Octagonal_Shape/congruences1.cc              |      2 +-
 tests/Octagonal_Shape/constrains1.cc               |     18 +-
 tests/Octagonal_Shape/constraints1.cc              |      2 +-
 tests/Octagonal_Shape/contains1.cc                 |      2 +-
 tests/Octagonal_Shape/containsintegerpoint1.cc     |      2 +-
 tests/Octagonal_Shape/difference1.cc               |      2 +-
 tests/Octagonal_Shape/discrete1.cc                 |      2 +-
 tests/Octagonal_Shape/disjoint1.cc                 |      2 +-
 tests/Octagonal_Shape/dropsomenonintegerpoints1.cc |      2 +-
 tests/Octagonal_Shape/empty1.cc                    |      2 +-
 tests/Octagonal_Shape/expandspacedim1.cc           |      2 +-
 tests/Octagonal_Shape/foldspacedims1.cc            |      2 +-
 tests/Octagonal_Shape/frequency1.cc                |      2 +-
 tests/Octagonal_Shape/frombdshape1.cc              |      2 +-
 tests/Octagonal_Shape/frombox1.cc                  |      2 +-
 tests/Octagonal_Shape/fromgensys1.cc               |      2 +-
 tests/Octagonal_Shape/fromgrid1.cc                 |      2 +-
 tests/Octagonal_Shape/fromoctagonalshape1.cc       |      2 +-
 tests/Octagonal_Shape/frompolyhedron1.cc           |      2 +-
 tests/Octagonal_Shape/fromspacedim1.cc             |      2 +-
 tests/Octagonal_Shape/generalizedaffineimage1.cc   |      2 +-
 tests/Octagonal_Shape/generalizedaffineimage2.cc   |      2 +-
 tests/Octagonal_Shape/generalizedaffineimage3.cc   |      2 +-
 tests/Octagonal_Shape/generalizedaffineimage4.cc   |      2 +-
 tests/Octagonal_Shape/generalizedaffineimage5.cc   |      2 +-
 .../Octagonal_Shape/generalizedaffinepreimage1.cc  |      2 +-
 .../Octagonal_Shape/generalizedaffinepreimage2.cc  |      2 +-
 .../Octagonal_Shape/generalizedaffinepreimage3.cc  |      2 +-
 .../Octagonal_Shape/generalizedaffinepreimage4.cc  |      2 +-
 tests/Octagonal_Shape/integerupperboundifexact1.cc |      2 +-
 tests/Octagonal_Shape/intersection1.cc             |      2 +-
 .../Octagonal_Shape/limitedbhmz05extrapolation1.cc |      2 +-
 tests/Octagonal_Shape/limitedcc76extrapolation1.cc |      2 +-
 tests/Octagonal_Shape/mapspacedims1.cc             |      2 +-
 tests/Octagonal_Shape/max_min1.cc                  |      2 +-
 tests/Octagonal_Shape/max_min2.cc                  |      2 +-
 tests/Octagonal_Shape/maxspacedim1.cc              |      2 +-
 tests/Octagonal_Shape/membytes1.cc                 |      2 +-
 tests/Octagonal_Shape/minconstraints1.cc           |      2 +-
 tests/Octagonal_Shape/relatwithcons1.cc            |      2 +-
 tests/Octagonal_Shape/relatwithcons2.cc            |      2 +-
 tests/Octagonal_Shape/relatwithcons3.cc            |      2 +-
 tests/Octagonal_Shape/relatwithgen1.cc             |      2 +-
 tests/Octagonal_Shape/removespacedims1.cc          |      2 +-
 tests/Octagonal_Shape/run_tests                    |      2 +-
 tests/Octagonal_Shape/simplifyusingcontext1.cc     |      2 +-
 tests/Octagonal_Shape/timeelapse1.cc               |      2 +-
 tests/Octagonal_Shape/unconstrain1.cc              |      2 +-
 tests/Octagonal_Shape/universe1.cc                 |      2 +-
 tests/Octagonal_Shape/upperbound1.cc               |      2 +-
 tests/Octagonal_Shape/upperboundifexact1.cc        |      2 +-
 tests/Octagonal_Shape/wrap1.cc                     |      2 +-
 tests/Octagonal_Shape/writeoctagon1.cc             |      2 +-
 tests/PIP_Problem/Makefile.am                      |      2 +-
 tests/PIP_Problem/Makefile.in                      |     85 +-
 tests/PIP_Problem/ascii_dump_load1.cc              |      2 +-
 tests/PIP_Problem/exceptions1.cc                   |      2 +-
 tests/PIP_Problem/pipproblem1.cc                   |      2 +-
 tests/PIP_Problem/pipproblem2.cc                   |      2 +-
 tests/PIP_Problem/pipproblem3.cc                   |      2 +-
 tests/PIP_Problem/weightwatch1.cc                  |      2 +-
 tests/Partially_Reduced_Product/Makefile.am        |      2 +-
 tests/Partially_Reduced_Product/Makefile.in        |     85 +-
 tests/Partially_Reduced_Product/addcongruences1.cc |      2 +-
 tests/Partially_Reduced_Product/affineimage1.cc    |      2 +-
 tests/Partially_Reduced_Product/asciidumpload1.cc  |      2 +-
 tests/Partially_Reduced_Product/bounded1.cc        |      2 +-
 .../boundedaffineimage1.cc                         |     13 +-
 tests/Partially_Reduced_Product/bounds1.cc         |      8 +-
 tests/Partially_Reduced_Product/concatenate1.cc    |      2 +-
 tests/Partially_Reduced_Product/congruences1.cc    |      2 +-
 .../congruencesproduct1.cc                         |      2 +-
 tests/Partially_Reduced_Product/constraints1.cc    |      2 +-
 .../constraintsproduct1.cc                         |      2 +-
 tests/Partially_Reduced_Product/contains1.cc       |      2 +-
 tests/Partially_Reduced_Product/difference1.cc     |      2 +-
 tests/Partially_Reduced_Product/dimension1.cc      |      2 +-
 tests/Partially_Reduced_Product/directproduct1.cc  |      2 +-
 tests/Partially_Reduced_Product/discrete1.cc       |      2 +-
 tests/Partially_Reduced_Product/disjoint1.cc       |      2 +-
 .../dropsomenonintegerpoints1.cc                   |      2 +-
 tests/Partially_Reduced_Product/equals1.cc         |      2 +-
 tests/Partially_Reduced_Product/frombdshape1.cc    |      2 +-
 tests/Partially_Reduced_Product/frombox1.cc        |      2 +-
 tests/Partially_Reduced_Product/fromgrid1.cc       |      2 +-
 .../fromoctagonalshape1.cc                         |      2 +-
 tests/Partially_Reduced_Product/frompolyhedron1.cc |      2 +-
 tests/Partially_Reduced_Product/fromproduct1.cc    |      2 +-
 .../generalizedaffineimage1.cc                     |      2 +-
 tests/Partially_Reduced_Product/intersection1.cc   |      2 +-
 tests/Partially_Reduced_Product/isempty1.cc        |      2 +-
 tests/Partially_Reduced_Product/isuniverse1.cc     |      2 +-
 tests/Partially_Reduced_Product/maxmin1.cc         |      2 +-
 .../partially_reduced_product_test.hh              |      2 +-
 .../refinewithcongruences1.cc                      |      2 +-
 .../refinewithconstraints1.cc                      |      2 +-
 tests/Partially_Reduced_Product/relations1.cc      |     54 +-
 .../shapepreservingproduct1.cc                     |      2 +-
 tests/Partially_Reduced_Product/smashproduct1.cc   |      4 +-
 tests/Partially_Reduced_Product/spacedims1.cc      |      2 +-
 tests/Partially_Reduced_Product/timeelapse1.cc     |      2 +-
 tests/Partially_Reduced_Product/topclosed1.cc      |      2 +-
 tests/Partially_Reduced_Product/topclosure1.cc     |      2 +-
 tests/Partially_Reduced_Product/upperbound1.cc     |      4 +-
 tests/Polyhedron/Makefile.am                       |      2 +-
 tests/Polyhedron/Makefile.in                       |     85 +-
 tests/Polyhedron/addcongruence1.cc                 |      2 +-
 tests/Polyhedron/addcongruences1.cc                |      2 +-
 tests/Polyhedron/addconstraint1.cc                 |      4 +-
 tests/Polyhedron/addconstraints1.cc                |      6 +-
 tests/Polyhedron/addconstraints2.cc                |      2 +-
 tests/Polyhedron/addgenerator1.cc                  |      2 +-
 tests/Polyhedron/addgenerator2.cc                  |      8 +-
 tests/Polyhedron/addgenerators1.cc                 |      2 +-
 tests/Polyhedron/addgenerators2.cc                 |      4 +-
 tests/Polyhedron/addspacedims1.cc                  |     10 +-
 tests/Polyhedron/addspacedims2.cc                  |      4 +-
 tests/Polyhedron/affineimage1.cc                   |      6 +-
 tests/Polyhedron/affineimage2.cc                   |      2 +-
 tests/Polyhedron/affinepreimage1.cc                |      6 +-
 tests/Polyhedron/affinetrans.cc                    |      2 +-
 tests/Polyhedron/append1.cc                        |      6 +-
 tests/Polyhedron/append2.cc                        |      8 +-
 tests/Polyhedron/ascii_dump_load1.cc               |      2 +-
 tests/Polyhedron/ascii_dump_load2.cc               |      2 +-
 tests/Polyhedron/ascii_dump_load3.cc               |      2 +-
 tests/Polyhedron/bgp99extrapolation1.cc            |     14 +-
 tests/Polyhedron/bgp99extrapolation2.cc            |      2 +-
 tests/Polyhedron/bhrz03widening1.cc                |      8 +-
 tests/Polyhedron/bhrz03widening2.cc                |      2 +-
 tests/Polyhedron/bhrz03widening3.cc                |     36 +-
 tests/Polyhedron/bhz03widening1.cc                 |     26 +-
 tests/Polyhedron/bounded1.cc                       |      2 +-
 tests/Polyhedron/boundedaffineimage1.cc            |     26 +-
 tests/Polyhedron/boundedaffinepreimage1.cc         |      4 +-
 tests/Polyhedron/boundedbhrz03extrapolation1.cc    |      2 +-
 tests/Polyhedron/boundedh79extrapolation1.cc       |      6 +-
 tests/Polyhedron/bounds1.cc                        |      2 +-
 tests/Polyhedron/cnncconversion1.cc                |      2 +-
 tests/Polyhedron/concatenate1.cc                   |      2 +-
 tests/Polyhedron/congruences1.cc                   |      2 +-
 tests/Polyhedron/constrains1.cc                    |     18 +-
 tests/Polyhedron/constraints1.cc                   |      2 +-
 tests/Polyhedron/contains1.cc                      |      2 +-
 tests/Polyhedron/contains2.cc                      |      2 +-
 tests/Polyhedron/containsintegerpoint1.cc          |      2 +-
 tests/Polyhedron/disjoint1.cc                      |      4 +-
 tests/Polyhedron/disjoint2.cc                      |      8 +-
 tests/Polyhedron/dropsomenonintegerpoints1.cc      |      2 +-
 tests/Polyhedron/dropsomenonintegerpoints2.cc      |     37 +-
 tests/Polyhedron/dualhypercubes.cc                 |     64 +-
 tests/Polyhedron/empty1.cc                         |      2 +-
 tests/Polyhedron/equals1.cc                        |      2 +-
 tests/Polyhedron/exceptions1.cc                    |      2 +-
 tests/Polyhedron/exceptions2.cc                    |      2 +-
 tests/Polyhedron/exceptions3.cc                    |      4 +-
 tests/Polyhedron/expandspacedim1.cc                |      6 +-
 tests/Polyhedron/expandspacedim2.cc                |      2 +-
 tests/Polyhedron/foldspacedims1.cc                 |      2 +-
 tests/Polyhedron/foldspacedims2.cc                 |      2 +-
 tests/Polyhedron/frequency1.cc                     |      2 +-
 tests/Polyhedron/frombdshape1.cc                   |      2 +-
 tests/Polyhedron/frombox1.cc                       |      2 +-
 tests/Polyhedron/frombox2.cc                       |      2 +-
 tests/Polyhedron/fromgrid1.cc                      |      2 +-
 tests/Polyhedron/fromoctagonalshape1.cc            |      2 +-
 tests/Polyhedron/generalizedaffineimage1.cc        |     34 +-
 tests/Polyhedron/generalizedaffineimage2.cc        |     72 +-
 tests/Polyhedron/generalizedaffinepreimage1.cc     |     12 +-
 tests/Polyhedron/generalizedaffinepreimage2.cc     |      4 +-
 tests/Polyhedron/generators1.cc                    |     10 +-
 tests/Polyhedron/geomcovers1.cc                    |      2 +-
 tests/Polyhedron/h79widening1.cc                   |      2 +-
 tests/Polyhedron/h79widening2.cc                   |      2 +-
 tests/Polyhedron/hybrid.cc                         |     10 +-
 tests/Polyhedron/intersection1.cc                  |     26 +-
 tests/Polyhedron/limitedbhrz03extrapolation1.cc    |      2 +-
 tests/Polyhedron/limitedh79extrapolation1.cc       |     24 +-
 tests/Polyhedron/linearexpression1.cc              |      2 +-
 tests/Polyhedron/linearpartition1.cc               |     26 +-
 tests/Polyhedron/linearsystem1.cc                  |     24 +-
 tests/Polyhedron/mapspacedims1.cc                  |      2 +-
 tests/Polyhedron/matrix1.cc                        |     18 +-
 tests/Polyhedron/max_min1.cc                       |      2 +-
 tests/Polyhedron/maxspacedim1.cc                   |     46 +-
 tests/Polyhedron/mc91.cc                           |      2 +-
 tests/Polyhedron/membytes1.cc                      |      8 +-
 tests/Polyhedron/memory1.cc                        |     24 +-
 tests/Polyhedron/memory2.cc                        |     22 +-
 tests/Polyhedron/minconstraints1.cc                |      2 +-
 tests/Polyhedron/minconstraints2.cc                |      4 +-
 tests/Polyhedron/mingenerators1.cc                 |      2 +-
 tests/Polyhedron/mingenerators2.cc                 |      2 +-
 tests/Polyhedron/nncminimize1.cc                   |     16 +-
 tests/Polyhedron/nncminimize2.cc                   |      2 +-
 tests/Polyhedron/numberinput1.cc                   |     38 +-
 tests/Polyhedron/onepoint.cc                       |      2 +-
 tests/Polyhedron/permute.cc                        |      6 +-
 tests/Polyhedron/polydifference1.cc                |      2 +-
 tests/Polyhedron/polydifference2.cc                |      2 +-
 tests/Polyhedron/polyhull1.cc                      |     18 +-
 tests/Polyhedron/polyhull2.cc                      |      2 +-
 tests/Polyhedron/polyhullifexact1.cc               |     42 +-
 tests/Polyhedron/polyhullifexact2.cc               |      2 +-
 tests/Polyhedron/randphull1.cc                     |     30 +-
 tests/Polyhedron/refinewithcongruence1.cc          |      4 +-
 tests/Polyhedron/refinewithcongruences1.cc         |      4 +-
 tests/Polyhedron/refinewithconstraint1.cc          |      6 +-
 tests/Polyhedron/refinewithconstraints1.cc         |      4 +-
 tests/Polyhedron/relations1.cc                     |      2 +-
 tests/Polyhedron/relations2.cc                     |      2 +-
 tests/Polyhedron/relations3.cc                     |      6 +-
 tests/Polyhedron/removespacedims1.cc               |      4 +-
 tests/Polyhedron/removespacedims2.cc               |      4 +-
 tests/Polyhedron/simplifyusingcontext1.cc          |      2 +-
 tests/Polyhedron/smm1.cc                           |     92 +-
 tests/Polyhedron/sparserow1.cc                     |      2 +-
 tests/Polyhedron/termination1.cc                   |      2 +-
 tests/Polyhedron/termination2.cc                   |      2 +-
 tests/Polyhedron/timeelapse1.cc                    |      2 +-
 tests/Polyhedron/timeelapse2.cc                    |      2 +-
 tests/Polyhedron/topclosed1.cc                     |      2 +-
 tests/Polyhedron/topclosure1.cc                    |      2 +-
 tests/Polyhedron/unconstrain1.cc                   |      2 +-
 tests/Polyhedron/universe1.cc                      |      2 +-
 tests/Polyhedron/universe2.cc                      |      2 +-
 tests/Polyhedron/variablesset1.cc                  |     16 +-
 tests/Polyhedron/watchdog1.cc                      |      4 +-
 tests/Polyhedron/weightwatch1.cc                   |      2 +-
 tests/Polyhedron/wrap1.cc                          |      2 +-
 tests/Polyhedron/wrap2.cc                          |      2 +-
 tests/Polyhedron/writeconsys1.cc                   |      2 +-
 tests/Polyhedron/writegensys1.cc                   |      2 +-
 tests/Polyhedron/writepolyhedron1.cc               |      2 +-
 tests/Polyhedron/writepolyhedron2.cc               |      2 +-
 tests/Polyhedron/writerelation1.cc                 |      2 +-
 tests/Polyhedron/writevariable1.cc                 |      6 +-
 tests/Powerset/Makefile.am                         |      2 +-
 tests/Powerset/Makefile.in                         |     85 +-
 tests/Powerset/addcongruences1.cc                  |      2 +-
 tests/Powerset/addconstraints1.cc                  |      2 +-
 tests/Powerset/affinedimension1.cc                 |      2 +-
 tests/Powerset/affineimage1.cc                     |      2 +-
 tests/Powerset/affinepreimage1.cc                  |      2 +-
 tests/Powerset/bounded1.cc                         |      2 +-
 tests/Powerset/bounds1.cc                          |      2 +-
 tests/Powerset/closed1.cc                          |      2 +-
 tests/Powerset/closure1.cc                         |      2 +-
 tests/Powerset/collapse1.cc                        |      2 +-
 tests/Powerset/concatenate1.cc                     |      2 +-
 tests/Powerset/contains1.cc                        |      2 +-
 tests/Powerset/containsintegerpoint1.cc            |      2 +-
 tests/Powerset/difference1.cc                      |      6 +-
 tests/Powerset/discrete1.cc                        |      2 +-
 tests/Powerset/disjoint1.cc                        |      2 +-
 tests/Powerset/disjunct1.cc                        |      2 +-
 tests/Powerset/empty1.cc                           |      2 +-
 tests/Powerset/entails1.cc                         |      2 +-
 tests/Powerset/equals1.cc                          |      2 +-
 tests/Powerset/frombdshape1.cc                     |      2 +-
 tests/Powerset/frombox1.cc                         |      2 +-
 tests/Powerset/fromcongruences1.cc                 |      2 +-
 tests/Powerset/fromconstraints1.cc                 |      4 +-
 tests/Powerset/fromgrid1.cc                        |      2 +-
 tests/Powerset/fromoctagonalshape1.cc              |      2 +-
 tests/Powerset/frompolyhedron1.cc                  |      2 +-
 tests/Powerset/fromspacedimension1.cc              |      2 +-
 tests/Powerset/intersection1.cc                    |      2 +-
 tests/Powerset/maxmin1.cc                          |      2 +-
 tests/Powerset/meet1.cc                            |      2 +-
 tests/Powerset/membytes1.cc                        |      2 +-
 tests/Powerset/powerset1.cc                        |      4 +-
 tests/Powerset/reduce1.cc                          |      2 +-
 tests/Powerset/refinewith1.cc                      |      2 +-
 tests/Powerset/relationwith1.cc                    |      2 +-
 tests/Powerset/simplifyusingcontext1.cc            |      2 +-
 tests/Powerset/size1.cc                            |      2 +-
 tests/Powerset/spacedims1.cc                       |      2 +-
 tests/Powerset/universe1.cc                        |      2 +-
 tests/Powerset/upperbound1.cc                      |      2 +-
 tests/README                                       |      4 +-
 tests/Random_Number_Generator.defs.hh              |     47 -
 tests/Random_Number_Generator.inlines.hh           |     92 -
 tests/Random_Number_Generator.types.hh             |     22 -
 tests/Random_Number_Generator_defs.hh              |     47 +
 tests/Random_Number_Generator_inlines.hh           |     92 +
 tests/Random_Number_Generator_types.hh             |     22 +
 tests/Watchdog/Makefile.am                         |      2 +-
 tests/Watchdog/Makefile.in                         |     85 +-
 tests/Watchdog/watchdog1.cc                        |      2 +-
 tests/files.cc                                     |      2 +-
 tests/files.hh                                     |      2 +-
 tests/ppl_test.cc                                  |     48 +-
 tests/ppl_test.hh                                  |    400 +-
 utils/Makefile.am                                  |      2 +-
 utils/Makefile.in                                  |    105 +-
 utils/build_header.in                              |      2 +-
 utils/cm_cleaner.sh                                |      2 +-
 utils/cm_splitter.sh                               |      2 +-
 utils/text2cxxarray.in                             |      2 +-
 utils/timings.cc                                   |     20 +-
 utils/timings.hh                                   |      2 +-
 1737 files changed, 321688 insertions(+), 333701 deletions(-)

diff --cc debian/changelog
index b48909a,0000000..4c0598d
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,411 -1,0 +1,419 @@@
- ppl (1:1.0-7) unstable; urgency=medium
++ppl (1:1.1~pre8-1) experimental; urgency=low
++
++  * ppl snapshot 1.1pre8.
++  * Bump libppl soversion.
++  * Rename libppl0.12-dev to libppl-dev.
++
++ -- Matthias Klose <doko at debian.org>  Thu, 09 May 2013 13:16:42 +0200
++
++ppl (1:1.0-7) medium; urgency=low
 +
 +  * Fix typo in libppl-doc dependencies.
 +  * Proper fix to build with both gmp 5.0 and 5.1.
 +
 + -- Matthias Klose <doko at debian.org>  Thu, 09 May 2013 12:46:30 +0200
 +
 +ppl (1:1.0-6) unstable; urgency=low
 +
 +  * Fix build failure with gmp-5.1.
 +
 + -- Matthias Klose <doko at debian.org>  Mon, 06 May 2013 17:53:04 +0200
 +
 +ppl (1:1.0-5) unstable; urgency=low
 +
 +  * Upload to unstable.
 +
 + -- Matthias Klose <doko at debian.org>  Mon, 06 May 2013 15:44:07 +0200
 +
 +ppl (1:1.0-4) experimental; urgency=low
 +
 +  * Ignore test failures on s390x. No feedback from the Debian porters.
 +
 + -- Matthias Klose <doko at debian.org>  Sat, 09 Feb 2013 17:21:45 +0100
 +
 +ppl (1:1.0-3) experimental; urgency=low
 +
 +  * Bump the epoch (and the release number, because the archive software
 +    can't handle 1:1.0-2 after an 1.0-2 upload), upload to experimental
 +    this time.
 +
 + -- Matthias Klose <doko at debian.org>  Thu, 31 Jan 2013 22:31:14 +0100
 +
 +ppl (1.0-2) unstable; urgency=low
 +
 +  * Fix build failure in testsuite on sparc, s390, s390x.
 +  * Don't try to build the prolog bindings on arm64 and hurd-i386.
 +
 + -- Matthias Klose <doko at debian.org>  Thu, 31 Jan 2013 13:45:12 +0100
 +
 +ppl (1.0-1) experimental; urgency=low
 +
 +  * New upstream version. Closes: #680897.
 +
 + -- Matthias Klose <doko at debian.org>  Sun, 27 Jan 2013 23:15:02 +0100
 +
 +ppl (1:0.11.2-9) unstable; urgency=low
 +
 +  * Bump epoch to overwrite an upload of ppl-1.0 to unstable.
 +
 + -- Matthias Klose <doko at debian.org>  Thu, 31 Jan 2013 16:22:27 +0100
 +
 +ppl (0.11.2-8) unstable; urgency=low
 +
 +  * Split out a ppl-dev package with the ppl-config binary.
 +
 + -- Matthias Klose <doko at debian.org>  Wed, 15 Aug 2012 15:56:30 +0200
 +
 +ppl (0.11.2-7) unstable; urgency=low
 +
 +  * Mark libppl0.11-dev as Multi-Arch: same again, and install the header
 +    files in the multiarch include path.
 +    Needs a follow-up patch to split out the ppl-config binary.
 +  * Disable the build of the swi prolog bindings for DEB_STAGE 1 builds.
 +    Closes: #645003.
 +
 + -- Matthias Klose <doko at debian.org>  Tue, 07 Aug 2012 12:49:10 +0200
 +
 +ppl (0.11.2-6.2) unstable; urgency=low
 +
 +  * Non-maintainer upload.
 +
 +  [ Colin Watson <cjwatson at ubuntu.com> ]
 +  * Build the test suite with -gstabs rather than -g on powerpc, to avoid
 +    running out of memory, see Ubuntu bug #941676 (Closes: #683767)
 +
 + -- Nicolas Boulenguez <nicolas.boulenguez at free.fr>  Fri, 03 Aug 2012 18:50:55 +0200
 +
 +ppl (0.11.2-6.1) unstable; urgency=low
 +
 +  * Non-maintainer upload.
 +
 +  [ Artur Rona <ari-tczew at tlen.pl> ]
 +  * debian/control: Add libncursesw5-dev to Build-Depends due to
 +    missing library, fixes FTBFS. (Closes: #669479)
 +
 +  [ Nicolas Boulenguez ]
 +  * Remove usr/bin/ppl_pl from libppl-swi multiarch package (see #670024).
 +    Document equivalent functionality with the shared library.
 +  * control: libppl0.11-dev cannot be Multi-Arch: same because it contains
 +    arch-dependent headers (see #670025).
 +  * avoid_obsolete_installdox.patch: backport part of an upstream commit.
 +    Doxygen 1.8 does not use installdox anymore. (Closes: #680896)
 +
 + -- Nicolas Boulenguez <nicolas.boulenguez at free.fr>  Tue, 17 Jul 2012 23:26:41 +0200
 +
 +ppl (0.11.2-6) unstable; urgency=low
 +
 +  * Build-depend on libncurses5-dev, until swi-prolog-nox depends on it.
 +
 + -- Matthias Klose <doko at debian.org>  Tue, 11 Oct 2011 12:14:46 +0200
 +
 +ppl (0.11.2-5) unstable; urgency=low
 +
 +  * Install into multiarch locations.
 +  * Use dpkg-buildflags to set CFLAGS/LDFLAGS.
 +  * Move changes into patch file. Closes: #643253.
 +
 + -- Matthias Klose <doko at debian.org>  Mon, 10 Oct 2011 18:45:44 +0200
 +
 +ppl (0.11.2-4) unstable; urgency=low
 +   
 +  * Patch away unused variables. Closes: #625417.
 +  * Don't ship libppl_swiprolog.la. Closes: #633365.
 +
 + -- Michael Tautschnig <mt at debian.org>  Sun, 10 Jul 2011 12:05:38 +0200
 +
 +ppl (0.11.2-3) unstable; urgency=low
 +   
 +  * Build-depends-indep: re-added texlive-math-extra. Closes: #618148.
 +
 + -- Michael Tautschnig <mt at debian.org>  Mon, 14 Mar 2011 19:57:06 +0100
 +
 +ppl (0.11.2-2) unstable; urgency=low
 +   
 +  * Build-depends libgmp-dev instead of libgmp3-dev.
 +
 + -- Michael Tautschnig <mt at debian.org>  Tue, 08 Mar 2011 01:14:00 +0100
 +
 +ppl (0.11.2-1) unstable; urgency=low
 +   
 +  * New upstream version.
 +  * Upload to unstable.
 +  * Build-depend on doxygen-latex instead of latex-xcolor and texlive-* stuff.
 +    Closes: #616275.
 +  * Refined watch file pattern.
 +
 + -- Michael Tautschnig <mt at debian.org>  Thu, 03 Mar 2011 12:50:57 +0100
 +
 +ppl (0.11-3) experimental; urgency=low
 +   
 +  * Build-depend on latex-xcolor. Closes: #606277,#606233.
 +  * libppl0.11-dev: Conflicts with libppl0.10-dev. Closes: #608454.
 +  * Thanks Matthias Klose for doing all the work.
 +
 + -- Michael Tautschnig <mt at debian.org>  Wed, 19 Jan 2011 21:55:49 +0100
 +
 +ppl (0.11-2) experimental; urgency=low
 +   
 +  * Again disable 2 Prolog tests as there is some failure on PowerPC only that
 +    I'm unable to debug (see also 0.10.2-5).
 +
 + -- Michael Tautschnig <mt at debian.org>  Sun, 07 Nov 2010 19:39:32 +0100
 +
 +ppl (0.11-1) experimental; urgency=low
 +
 +  * New upstream release.
 +    - Dropped all patches as these issues have been fixed upstream.
 +    - Re-enabled Prolog interface on m68k as swi-prolog is now handled more
 +      flexibly by upstream.
 +    - SONAME bumps: libppl7 -> libppl9, libppl-c2 -> libppl-c4, libpwl4 ->
 +      libpwl5
 +  * Use release directories in watch file for better reliablity (upstream
 +    hasn't updated LATEST link).
 +
 + -- Michael Tautschnig <mt at debian.org>  Sun, 31 Oct 2010 13:41:36 +0100
 +
 +ppl (0.10.2-9) unstable; urgency=low
 +
 +  * m68k hasn't fully caught up yet, don't build PPL Prolog interface on m68k.
 +    Closes: #601445.
 +  * Re-enabled Prolog interface on kfreebsd-* as swi-prolog is now available.
 +
 + -- Michael Tautschnig <mt at debian.org>  Tue, 26 Oct 2010 14:18:12 +0200
 +
 +ppl (0.10.2-8) unstable; urgency=low
 +
 +  * Ignore testsuite failures on armel as these seem to be caused by
 +    miscompilation, see #593324.
 +  * No more swi-prolog on mips, don't build PPL Prolog interface on mips.
 +    Closes: #593393.
 +
 + -- Michael Tautschnig <mt at debian.org>  Mon, 06 Sep 2010 12:31:59 +0200
 +
 +ppl (0.10.2-7) unstable; urgency=low
 +
 +  * Drop xpdf-utils from build depends to fix FTBFS. Closes: #591155.
 +  * Bumped Standars-Version to 3.9.1 (no changes).
 +  * Specifically require automake1.10 as we modify some Makefile.am.
 +  * swi-prolog now ships executable linker as swipl-ld.
 +
 + -- Michael Tautschnig <mt at debian.org>  Sun, 01 Aug 2010 12:22:05 +0200
 +
 +ppl (0.10.2-6) unstable; urgency=low
 +
 +  * Another bugfix to work around incomplete signal handling on hurd.
 +
 + -- Michael Tautschnig <mt at debian.org>  Tue, 02 Mar 2010 16:08:49 +0100
 +
 +ppl (0.10.2-5) unstable; urgency=low
 +
 +  * Dropped versioned build dep on libgmp3-dev as even etch has a sufficiently
 +    new version.
 +  * Dropped build dep on quilt.
 +  * Added upstream patches to work around incomplete signal handling on hurd.
 +  * Disable 2 Prolog tests as there is some failure on PowerPC only that I'm
 +    unable to debug. Closes: #570387.
 +
 + -- Michael Tautschnig <mt at debian.org>  Sun, 28 Feb 2010 10:35:31 +0100
 +
 +ppl (0.10.2-4) unstable; urgency=low
 +
 +  * Switch to dpkg-source 3.0 (quilt) format, removed quilt-related code from
 +    debian/rules.
 +  * Bumped Standars-Version to 3.8.4 (no changes).
 +  * Added ${misc:Depends} as we are using debhelper.
 +  * Build SWI-Prolog bindings on linux architectures only as swi-prolog is not
 +    available on others.
 +
 + -- Michael Tautschnig <mt at debian.org>  Wed, 03 Feb 2010 00:11:22 +0100
 +
 +ppl (0.10.2-3) unstable; urgency=low
 +
 +  * Bumped Standars-Version to 3.8.3 (no changes).
 +  * Added README.source.
 +  * Added current upstream patches for 0.10.2.
 +  * Don't watch snapshots, only do stable releases.
 +  * Added SWI-Prolog bindings (new package libppl-swi, thanks Israel Herraiz
 +    <isra at herraiz.org>). Closes: #540083.
 +
 + -- Michael Tautschnig <mt at debian.org>  Fri, 16 Oct 2009 12:33:08 +0200
 +
 +ppl (0.10.2-2) unstable; urgency=low
 +
 +  * debian/rules: Use findstring instead of filter. This should really run
 +    the testsuite with -k on alpha.
 +
 + -- Arthur Loiret <aloiret at debian.org>  Sun, 24 May 2009 07:49:26 +0000
 +
 +ppl (0.10.2-1) unstable; urgency=medium
 +
 +  * New upstream release.
 +  * Build-Depends-Indep on xpdf-utils | poppler-utils instead of xpdf-utils.
 +  * Run the testsuite with -k, and never fail the build in case of regressions
 +    on alpha. (this will change when graphite will be used by default in GCC).
 +  * debian/patches/exception_tests_alpha: Remove.
 +
 + -- Arthur Loiret <aloiret at debian.org>  Mon, 11 May 2009 22:08:57 +0000
 +
 +ppl (0.10.1~pre13-1) unstable; urgency=medium
 +
 +  * New upstream snapshot.
 +    - Dropped patch for bigendian issues.
 +  * urgency=medium because of FTBFS workaround.
 +  * Disabled more tests on alpha - exception handling is utterly broken on
 +    alpha, which will also affect users of PPL on that architecture (probably
 +    GCC PR 8966) as raised exception cause immediate aborts.
 +  * Re-enabled Build-Depends-Indep and adapted rules accordingly.
 +    Closes: #517659.
 +  * Bumped Standars-Version to 3.8.1 (no changes).
 +  * Updated copyright information for several files that had been added in
 +    0.10 and also have a specific license.
 +  * Added comments to quilt patch (thanks lintian).
 +  * Added one sentence explaining the difference between libpwl4 und
 +    libpwl-dev (thanks lintian).
 +  * Dropped the ChangeLog hackery using symlinks, the ChangeLog is pretty
 +    small nowadays.
 +  * Moved pwl.hh to libpwl-dev package.
 +
 + -- Michael Tautschnig <mt at debian.org>  Mon, 13 Apr 2009 08:04:52 +0200
 +
 +ppl (0.10-4) unstable; urgency=medium
 +
 +  * urgency=medium because of FTBFS workaround.
 +  * With #229357 still being open, we can't use Build-Depends-Indep the way
 +    policy suggests. It would have been too beautiful anyway.
 +
 + -- Michael Tautschnig <mt at debian.org>  Fri, 20 Feb 2009 10:11:26 +0100
 +
 +ppl (0.10-3) unstable; urgency=medium
 +
 +  * urgency=medium because of FTBFS workaround.
 +  * Exclude test11-test18 of generalizedaffineimage3.cc on alpha because of
 +    bugs in gcc/exception handling.
 +  * Moved the dependencies needed for building the documentation to
 +    Build-Depends-Indep.
 +  * Introducing quilt to manage patches.
 +
 + -- Michael Tautschnig <mt at debian.org>  Tue, 17 Feb 2009 09:10:34 +0100
 +
 +ppl (0.10-2) unstable; urgency=high
 +
 +  * urgency=high because of RC bug fix.
 +  * Check snapshots and releases for newer versions.
 +  * Proper defines on bigendian systems. Closes: #514158.
 +  * Don't ignore errors while running make check (this would have made visible
 +    the above bug immediately).
 +
 + -- Michael Tautschnig <mt at debian.org>  Wed, 04 Feb 2009 20:42:26 +0100
 +
 +ppl (0.10-1) unstable; urgency=low
 +
 +  * New upstream release.
 +
 + -- Michael Tautschnig <mt at debian.org>  Wed, 05 Nov 2008 06:54:23 +0000
 +
 +ppl (0.10~pre34-1) unstable; urgency=low
 +
 +  [ Arthur Loiret ]
 +  * New upstream snapshot.
 +  * Fix build on arm.  Closes: #499746.
 +  * debian/libp[pw]l-dev.preinst: handle /usr/share/doc/libp[pw]l
 +    symlink->directory conversion.
 +  * debian/rules:
 +    - Disable DH_VERBOSE by default.
 +    - Some cleanup.
 +  * debian/Makefile.in: Update from upstream.
 +
 +  [ Michael Tautschnig ]
 +  * Added ocaml-nox to build-depends.
 +  * Bumped libppl-c library version.
 +
 + -- Michael Tautschnig <mt at debian.org>  Tue, 07 Oct 2008 22:36:39 +0000
 +
 +ppl (0.10~pre27-4) unstable; urgency=low
 +
 +  * debian/rules:
 +    - Always copy config.sub an config.guess since we Build-Depends on
 +      autotools-dev.
 +    - Fix targets to have testsuite runs.
 +    - Add check to .PHONY.
 +  * Move ppl_lcdd and ppl_lpsol binaries and manpages from libppl7 to
 +    libppl-dev, make libppl-dev Replaces libppl7 (<< 0.10~pre27-4).
 +    Closes: #499832.
 +  * Make libppl-dev Replaces libppl6, ppl-config binary has moved.
 +    Closes: #499830.
 +  * Make libpwl-dev Replaces libpwl3, /usr/bin/libpwl.a has moved.
 +    Closes: #499937.
 +  * Only install huge ChangeLog into libppl-dev and libpwl-dev.
 +    - Don't symlink libppl-dev /usr/share/doc dir to libppl7.
 +    - Add symlinks for changelog.gz to libppl7, libppl-c0 and libpwl4.
 +
 + -- Arthur Loiret <arthur.loiret at gmail.com>  Tue, 23 Sep 2008 19:53:51 +0000
 +
 +ppl (0.10~pre27-3) unstable; urgency=low
 +
 +  * Properly install ppl-config into libppl-dev package, including man page,
 +    dont't put it into libppl7, removed ppl_lcdd from -dev, is in libppl7
 + 
 + -- Michael Tautschnig <mt at debian.org>  Thu, 11 Sep 2008 19:15:37 +0000
 +
 +ppl (0.10~pre27-2) unstable; urgency=low
 +
 +  * debian/rules: set texmf save_size to 10000 when building the docs
 +  * debian/control: libppl-dev Provides: libppl-c-dev
 +  * debian/control: Don't Recommends: graphviz, Suggests: libgmp3-doc, this is
 +    pointless
 + 
 + -- Michael Tautschnig <mt at debian.org>  Thu, 11 Sep 2008 18:22:09 +0200
 +
 +ppl (0.10~pre27-1) unstable; urgency=low
 +
 +  * New upstream snapshot
 +  * debian/rules: Handle nocheck and parallel=n in DEB_BUILD_OPTIONS.
 +  * debian/copyright: It is now GPL 3+, not GPL 2+.
 +  * debian/control: make libppl-dev Depends on libppl-c0
 +  * debian/control: Set Maintainer to the Debian GCC Maintainers, add
 +    Michael Tautschnig and Arthur Loiret to Uploaders.
 +  * debian/rules: Run testsuite.
 +  * Backport from Ubuntu:
 +    - debian/control: Fix typos in short descriptions.
 +  * libpwl-dev is now separated from libpwl4
 +  * Added lintian override to silence warnings about empty files
 + 
 + -- Michael Tautschnig <mt at debian.org>  Wed, 10 Sep 2008 21:56:34 +0000
 +
 +ppl (0.9-5) unstable; urgency=low
 +
 +   * Added build-dep on texlive-extra-utils. Thanks Hilmar.
 +   * Cleanup config.guess,config.sub as suggested in autotools-dev bug 482716
 +   * Bumped standards version to 3.8.0 (no changes)
 +
 + -- Michael Tautschnig <mt at debian.org>  Fri, 04 Jul 2008 07:40:34 +0000
 +
 +ppl (0.9-4) unstable; urgency=low
 +
 +   * Added build-dep on texlive-fonts-recommended to fix FTBFS
 +
 + -- Michael Tautschnig <mt at debian.org>  Fri, 04 Jul 2008 07:40:34 +0000
 +
 +ppl (0.9-3) unstable; urgency=low
 +
 +   * Added build-dep on texlive-latex-recommended to have a4.sty
 +   * Removed bashism in debian/rules
 +
 + -- Michael Tautschnig <mt at debian.org>  Fri, 04 Jul 2008 00:16:35 +0000
 +
 +ppl (0.9-2) unstable; urgency=low
 +
 +   * Added libppl-doc package
 +   * Removed build-depends on obsolete packages
 +   * Proper copyright file to include the special license used in some header
 +     files
 +
 + -- Michael Tautschnig <mt at debian.org>  Sun, 22 Jun 2008 02:09:30 +0200
 +
 +ppl (0.9-1) unstable; urgency=low
 +
 +   * Initial upload (closes: #409786)
 +
 + -- Michael Tautschnig <mt at debian.org>  Wed, 04 Jun 2008 19:08:00 +0000
diff --cc debian/control
index 79a92ca,0000000..993646c
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,123 -1,0 +1,123 @@@
 +Source: ppl
 +Section: libs
 +Priority: optional
 +Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
 +Uploaders: Michael Tautschnig <mt at debian.org>, Arthur Loiret <aloiret at debian.org>, Matthias Klose <doko at debian.org>
- Standards-Version: 3.9.3
++Standards-Version: 3.9.4
 +Build-Depends: debhelper (>= 6.0.7~), libgmp-dev, autoconf, libtool, autotools-dev, swi-prolog [!hurd-i386], chrpath,
 + libncurses5-dev, libncursesw5-dev
 +Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra
 +Homepage: http://www.cs.unipr.it/ppl/
 +
- Package: libppl12
++Package: libppl13
 +Architecture: any
 +Multi-Arch: same
 +Pre-Depends: ${misc:Pre-Depends}
 +Depends: ${shlibs:Depends}, ${misc:Depends}
 +Description: Parma Polyhedra Library (runtime library)
 + The Parma Polyhedra Library (PPL) is a C++ library for the
 + manipulation of (not necessarily closed) convex polyhedra and other
 + numerical abstractions.  The applications of convex polyhedra include
 + program analysis, optimized compilation, integer and combinatorial
 + optimization and statistical data-editing.  The Parma Polyhedra
 + Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
 + mean it), fully dynamic (available virtual memory is the only
 + limitation to the dimension of anything), written in standard C++,
 + exception-safe, rather efficient and thoroughly documented.
 +
- Package: libppl0.12-dev
++Package: libppl-dev
 +Architecture: any
 +Multi-Arch: same
 +Pre-Depends: ${misc:Pre-Depends}
 +Section: libdevel
- Depends: libppl12 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
- Provides: libppl-c-dev, libppl-dev
++Depends: libppl13 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
++Provides: libppl-c-dev, libppl0.12-dev
 +Recommends: libgmp3-dev (>= 4.1.3)
- Replaces: libppl6, libppl7 (<< 0.10~pre27-4), libppl9
++Replaces: libppl6, libppl7 (<< 0.10~pre27-4), libppl9, libppl0.12-dev
 +Conflicts: libppl0.10-dev, libppl0.11-dev
 +Suggests: libppl-doc
 +Description: Parma Polyhedra Library (development)
 + The Parma Polyhedra Library (PPL) is a C++ library for the
 + manipulation of (not necessarily closed) convex polyhedra and other
 + numerical abstractions.  The applications of convex polyhedra include
 + program analysis, optimized compilation, integer and combinatorial
 + optimization and statistical data-editing.  The Parma Polyhedra
 + Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
 + mean it), fully dynamic (available virtual memory is the only
 + limitation to the dimension of anything), written in standard C++,
 + exception-safe, rather efficient and thoroughly documented.
 + .
 + This package provides the header files and static libraries for the
 + C and C++ interfaces.
 +
 +Package: ppl-dev
 +Architecture: any
 +Pre-Depends: ${misc:Pre-Depends}
 +Section: devel
- Depends: libppl0.12-dev (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
++Depends: libppl-dev (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
 +Replaces: libppl0.11-dev
 +Description: Parma Polyhedra Library (development binaries)
 + The Parma Polyhedra Library (PPL) is a C++ library for the
 + manipulation of (not necessarily closed) convex polyhedra and other
 + numerical abstractions.  The applications of convex polyhedra include
 + program analysis, optimized compilation, integer and combinatorial
 + optimization and statistical data-editing.  The Parma Polyhedra
 + Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
 + mean it), fully dynamic (available virtual memory is the only
 + limitation to the dimension of anything), written in standard C++,
 + exception-safe, rather efficient and thoroughly documented.
 + .
 + This package provides the ppl-config binary.
 +
 +Package: libppl-c4
 +Architecture: any
 +Multi-Arch: same
 +Pre-Depends: ${misc:Pre-Depends}
- Depends: libppl12 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
++Depends: libppl13 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
 +Description: Parma Polyhedra Library (C interface)
 + The Parma Polyhedra Library (PPL) is a C++ library for the
 + manipulation of (not necessarily closed) convex polyhedra and other
 + numerical abstractions.  The applications of convex polyhedra include
 + program analysis, optimized compilation, integer and combinatorial
 + optimization and statistical data-editing.  The Parma Polyhedra
 + Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
 + mean it), fully dynamic (available virtual memory is the only
 + limitation to the dimension of anything), written in standard C++,
 + exception-safe, rather efficient and thoroughly documented.
 + .
 + This package provides the C interface.
 +
 +Package: libppl-doc
 +Architecture: all
 +Section: doc
 +Depends: ${misc:Depends}, libjs-jquery
 +Description: Parma Polyhedra Library: Documentation
 + The Parma Polyhedra Library (PPL) is a C++ library for the
 + manipulation of (not necessarily closed) convex polyhedra and other
 + numerical abstractions.  The applications of convex polyhedra include
 + program analysis, optimized compilation, integer and combinatorial
 + optimization and statistical data-editing.  The Parma Polyhedra
 + Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
 + mean it), fully dynamic (available virtual memory is the only
 + limitation to the dimension of anything), written in standard C++,
 + exception-safe, rather efficient and thoroughly documented.
 + .
 + This package provides the documentation.
 +
 +Package: libppl-swi
 +Architecture: any
 +Multi-Arch: same
 +Pre-Depends: ${misc:Pre-Depends}
- Depends: libppl12 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}, swi-prolog
++Depends: libppl13 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}, swi-prolog
 +Description: Parma Polyhedra Library (SWI Prolog interface)
 + The Parma Polyhedra Library (PPL) is a C++ library for the
 + manipulation of (not necessarily closed) convex polyhedra and other
 + numerical abstractions.  The applications of convex polyhedra include
 + program analysis, optimized compilation, integer and combinatorial
 + optimization and statistical data-editing.  The Parma Polyhedra
 + Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
 + mean it), fully dynamic (available virtual memory is the only
 + limitation to the dimension of anything), written in standard C++,
 + exception-safe, rather efficient and thoroughly documented.
 + .
 + This package provides the SWI Prolog interface.
diff --cc debian/libppl-c4.links
index 88a8ccd,0000000..2fba597
mode 100644,000000..100644
--- a/debian/libppl-c4.links
+++ b/debian/libppl-c4.links
@@@ -1,1 -1,0 +1,1 @@@
- usr/share/doc/libppl12 usr/share/doc/libppl-c4
++usr/share/doc/libppl13 usr/share/doc/libppl-c4
diff --cc debian/libppl-dev.dirs
index 4141450,0000000..4141450
mode 100644,000000..100644
--- a/debian/libppl-dev.dirs
+++ b/debian/libppl-dev.dirs
diff --cc debian/libppl-dev.docs
index 0363680,0000000..0363680
mode 100644,000000..100644
--- a/debian/libppl-dev.docs
+++ b/debian/libppl-dev.docs
diff --cc debian/libppl-dev.install
index 03685cf,0000000..03685cf
mode 100644,000000..100644
--- a/debian/libppl-dev.install
+++ b/debian/libppl-dev.install
diff --cc debian/libppl-swi.links
index 24ed755,0000000..44db245
mode 100644,000000..100644
--- a/debian/libppl-swi.links
+++ b/debian/libppl-swi.links
@@@ -1,1 -1,0 +1,1 @@@
- usr/share/doc/libppl12 usr/share/doc/libppl-swi
++usr/share/doc/libppl13 usr/share/doc/libppl-swi
diff --cc debian/libppl13.dirs
index 6845771,0000000..6845771
mode 100644,000000..100644
--- a/debian/libppl13.dirs
+++ b/debian/libppl13.dirs
diff --cc debian/libppl13.docs
index cf38778,0000000..cf38778
mode 100644,000000..100644
--- a/debian/libppl13.docs
+++ b/debian/libppl13.docs
diff --cc debian/libppl13.install
index a6f0863,0000000..a6f0863
mode 100644,000000..100644
--- a/debian/libppl13.install
+++ b/debian/libppl13.install
diff --cc debian/patches/series
index b3c323b,0000000..9d53034
mode 100644,000000..100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@@ -1,3 -1,0 +1,1 @@@
 +local_changes.diff
- fix_ftbfs.diff
- gmp-5.1.diff
diff --cc debian/rules
index 193a710,0000000..e7d6c74
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,202 -1,0 +1,202 @@@
 +#!/usr/bin/make -f
 +# -*- makefile -*-
 +# This file was originally written by Joey Hess and Craig Small.
 +# As a special exception, when this file is copied by dh-make into a
 +# dh-make output file, you may use that output file without restriction.
 +# This special exception was added by Craig Small in version 0.37 of dh-make.
 +#
 +# Modified to make a template file for a multi-binary package with separated
 +# build-arch and build-indep targets  by Bill Allombert 2001
 +
 +# Uncomment this to turn on verbose mode.
 +#export DH_VERBOSE=1
 +
 +# This has to be exported to make some magic below work.
 +export DH_OPTIONS
 +
 +# These are used for cross-compiling and for saving the configure script
 +# from having to guess our platform (since we know it already)
 +DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
 +DEB_HOST_MULTIARCH   ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
 +DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
 +
 +CFLAGS = $(shell dpkg-buildflags --get CPPFLAGS; dpkg-buildflags --get CFLAGS) -Wall -g
 +CXXFLAGS = $(shell dpkg-buildflags --get CXXFLAGS) -Wall -g
 +LDFLAGS = $(shell dpkg-buildflags --get LDFLAGS)
 +
 +# FOR AUTOCONF 2.52 AND NEWER ONLY
 +confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE)
 +confflags += --disable-ppl_lpsol --disable-ppl_lcdd
 +
 +# Disable the SWI-Prolog interface during architecture bootstrap, and
 +# on some architectures
 +ifneq (,$(filter stage1,$(DEB_STAGE))$(filter $(DEB_HOST_ARCH),arm64 hurd-i386))
 +  confflags += --enable-interfaces=c,cxx
 +  DH_OPTIONS += -Nlibppl-swi
 +  export DH_OPTIONS
 +else
 +  confflags += --enable-interfaces=c,cxx,swi_prolog
 +endif
 +
 +ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
 +  with_check := disabled by DEB_BUILD_OPTIONS.
 +else
 +  ifneq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE))
 +    with_check := disabled because cross-compiling.
 +  else
 +    with_check := yes
 +  endif
 +endif
- with_check := disabled for this upload
++#with_check := disabled for this upload
 +
 +ifneq (,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))
 +  NJOBS := -j$(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))
 +endif
 +
 +# If the version string was set using automake then the build would
 +# have to be configured before the dpkg-buildpackage command.
 +PPL_VERSION = $(shell grep "^AC_INIT" $(CURDIR)/configure.ac | sed -e "s/^AC_INIT.\[[^]]*\],[ \t]*\[\([^]]*\)\],.*/\1/")
 +
 +ifneq (,$(filter $(DEB_HOST_GNU_TYPE), arm-linux-gnueabi arm-linux-gnueabihf powerpc-linux-gnu))
 +  # powerpc runs out of memory building the test suite with -g, but is OK
 +  # with -gstabs instead.
 +  CHECK_ENV := CFLAGS="$(CFLAGS:-g=-gstabs)" CXXFLAGS="$(CXXFLAGS:-g=-gstabs)"
 +else
 +  CHECK_ENV :=
 +endif
 +
 +configure: configure-stamp
 +configure-stamp:
 +	dh_testdir
 +	cp -f /usr/share/misc/config.sub config.sub
 +	cp -f /usr/share/misc/config.guess config.guess
 +	./configure $(confflags) \
 +		--prefix=/usr \
 +		--libdir=\$${prefix}/lib/$(DEB_HOST_MULTIARCH) \
 +		--mandir=\$${prefix}/share/man \
 +		--infodir=\$${prefix}/share/info \
 +		CFLAGS="$(CFLAGS)" \
 +		CXXFLAGS="$(CXXFLAGS)" \
 +		LDFLAGS="$(LDFLAGS)"
 +	touch $@
 +
 +build: build-arch
 +build-arch: build-arch-stamp
 +build-arch-stamp: configure-stamp
 +	$(MAKE) $(NJOBS)
 +	touch $@
 +
 +check:
 +	dh_testdir
 +ifeq ($(with_check),yes)
 +  ifneq (,$(filter $(DEB_HOST_ARCH), alpha armel s390x))
 +	# There are some failures in the testsuite on alpha,
 +	# maybe related to http://gcc.gnu.org/PR8966
 +	# Testsuite is miscompiled on arm, see #593324
 +	$(MAKE) $(NJOBS) -k check $(CHECK_ENV) || true
 +  else
 +	$(MAKE) $(NJOBS) check $(CHECK_ENV)
 +  endif
 +else
 +	@echo "Testsuite not run: $(with_check)."
 +endif
 +
 +build-indep: build-indep-stamp
 +build-indep-stamp: configure-stamp
 +	export save_size=10000 ; $(MAKE) -C doc user-configured
 +	touch $@
 +
 +clean:
 +	dh_testdir
 +	dh_testroot
 +	rm -f configure-stamp build-stamp
 +	rm -f build-arch-stamp build-indep-stamp
 +	[ ! -e Makefile ] || $(MAKE) distclean
 +	rm -f config.sub
 +	rm -f config.guess
 +	dh_clean
 +
 +install: install-indep install-arch
 +
 +# Destination directory for user manual.
 +DOC_DIR=$(CURDIR)/debian/tmp/usr/share/doc/ppl
 +install-indep: build-indep
 +	dh_testdir
 +	dh_testroot
 +	dh_installdirs -i
 +#	Build all the documentation, then move it into debian/tmp
 +#	directories which have fixed names.
 +	mkdir -p $(DOC_DIR)/html || exit 1
 +	mv $(DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
 +	mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf
 +	mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz
 +
 +install-arch: build-arch check
 +	dh_testdir
 +	dh_testroot
 +	dh_installdirs -s
 +#	Add here commands to install the arch part of the package into
 +# 	debian/tmp.
 +	$(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
 +	mkdir -p debian/tmp/usr/include/$(DEB_HOST_MULTIARCH)
 +	mv debian/tmp/usr/include/*.*h debian/tmp/usr/include/$(DEB_HOST_MULTIARCH)/
 +	-chrpath -d \
- 		debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl.so.12.0.0 \
++		debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl.so.13.0.0 \
 +		debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl_c.so.4.0.0 \
 +		debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/ppl/libppl_swiprolog.so
 +
 +binary-arch: install-arch
 +	dh_testdir
 +	dh_testroot
 +	dh_installchangelogs -s ChangeLog
 +	dh_installdocs -s
 +	dh_install -s --sourcedir=debian/tmp
 +#	dh_installexamples -s
 +#	dh_installinfo -s
 +#	dh_installman -s
 +#	These directories will be symlinks instead.
 +	rm -rf debian/libppl-c4/usr/share/doc/libppl-c4
 +	rm -rf debian/libppl-swi/usr/share/doc/libppl-swi
 +	dh_link -s
 +	dh_strip -s
 +	dh_compress -s
 +	dh_fixperms -s
 +	dh_makeshlibs -s
 +	dh_installdeb -s
 +	dh_shlibdeps -s
 +	dh_gencontrol -s
 +	dh_md5sums -s
 +	dh_builddeb -s
 +
 +binary-indep: install-indep
 +	dh_testdir
 +	dh_testroot
 +	dh_install -i --sourcedir=debian/tmp
 +	dh_installchangelogs -i ChangeLog
 +	dh_installdocs -i
 +	rm -f debian/libppl-doc/usr/share/doc/libppl-doc/html/user-manual/jquery.js
- 	dh_link -pppl-doc \
++	dh_link -plibppl-doc \
 +		/usr/share/javascript/jquery/jquery.js \
 +		/usr/share/doc/libppl-doc/html/user-manual/jquery.js
 +	dh_link -i
 +	dh_compress -i
 +	dh_fixperms -i
 +#	dh_lintian -i
 +	dh_installdeb -i
 +	dh_gencontrol -i
 +	dh_md5sums -i
 +	dh_builddeb -i
 +
 +binary: binary-arch binary-indep
 +
 +get-orig-source:
 +	rm -f ppl_*.orig.tar.gz
 +	wget ftp://ftp.cs.unipr.it/pub/ppl/snapshots/*.tar.gz
 +	vers=`ls ppl-*.tar.gz | tail -1 | sed 's/^ppl-//' | sed 's/.tar.gz$$//'` ; \
 +		debvers=`echo $$vers | sed 's/pre/~pre/'` ; \
 +		tar xzf ppl-$$vers.tar.gz ; \
 +		rm ppl-$$vers.tar.gz ; mv ppl-$$vers ppl-$$debvers ; \
 +		tar czf ppl_$$debvers.orig.tar.gz ppl-$$debvers ; \
 +		rm -r ppl-$$debvers
 +
 +.PHONY: configure build check clean binary-indep binary-arch binary install install-indep install-arch get-orig-source

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git



More information about the debian-science-commits mailing list