[ppl] 48/68: Imported Debian patch 1.0-1
Andreas Tille
tille at debian.org
Sat Nov 12 08:41:32 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 dc671f77db305b2d25544a4235fce82780f3634d
Merge: cada58f 00baad9
Author: Matthias Klose <doko at debian.org>
Date: Sun Jan 27 23:15:02 2013 +0100
Imported Debian patch 1.0-1
BUGS | 2 +-
CREDITS | 131 +-
ChangeLog | 12197 +-
INSTALL | 15 +-
Makefile.am | 8 +-
Makefile.in | 138 +-
NEWS | 169 +-
README | 374 +-
README.alpha | 42 +
README.arm | 60 +-
README.configure | 102 +-
README.solaris | 46 +-
STANDARDS | 18 +-
TODO | 25 +-
Watchdog/BUGS | 2 -
Watchdog/COPYING | 674 -
Watchdog/CREDITS | 12 -
Watchdog/ChangeLog | 1694 -
Watchdog/ChangeLog_2001-2008 | 2162 -
Watchdog/INSTALL | 365 -
Watchdog/Makefile.am | 63 -
Watchdog/Makefile.in | 801 -
Watchdog/NEWS | 97 -
Watchdog/README | 153 -
Watchdog/aclocal.m4 | 985 -
Watchdog/compile | 143 -
Watchdog/config.guess | 1511 -
Watchdog/config.h.in | 92 -
Watchdog/config.rpath | 666 -
Watchdog/config.sub | 1739 -
Watchdog/configure | 17835 --
Watchdog/configure.ac | 415 -
Watchdog/depcomp | 630 -
Watchdog/doc/Makefile.am | 282 -
Watchdog/doc/Makefile.in | 646 -
Watchdog/doc/README.doc | 141 -
Watchdog/doc/devref.doxyconf-html.in | 287 -
Watchdog/doc/devref.doxyconf-latex.in | 287 -
Watchdog/doc/devref.tex | 121 -
Watchdog/doc/fdl.dox | 407 -
Watchdog/doc/fdl.pdf | Bin 82013 -> 0 bytes
Watchdog/doc/fdl.ps.gz | Bin 92837 -> 0 bytes
Watchdog/doc/fdl.tex | 454 -
Watchdog/doc/fdl.txt | 397 -
Watchdog/doc/gpl.dox | 686 -
Watchdog/doc/gpl.pdf | Bin 75252 -> 0 bytes
Watchdog/doc/gpl.ps.gz | Bin 86669 -> 0 bytes
Watchdog/doc/gpl.tex | 728 -
Watchdog/doc/gpl.txt | 674 -
Watchdog/doc/pwl-user-0.8-html.tar.gz | Bin 73541 -> 0 bytes
Watchdog/doc/pwl-user-0.8.pdf | Bin 296785 -> 0 bytes
Watchdog/doc/pwl-user-0.8.ps.gz | Bin 230371 -> 0 bytes
Watchdog/doc/pwl.sty | 179 -
Watchdog/doc/user.doxyconf-html.in | 255 -
Watchdog/doc/user.doxyconf-latex.in | 255 -
Watchdog/doc/user.tex | 121 -
Watchdog/install-sh | 524 -
Watchdog/ltmain.sh | 8745 -
Watchdog/m4/Makefile.am | 38 -
Watchdog/m4/Makefile.in | 452 -
Watchdog/m4/lib-ld.m4 | 110 -
Watchdog/m4/lib-link.m4 | 764 -
Watchdog/m4/libtool.m4 | 7437 -
Watchdog/m4/ltoptions.m4 | 369 -
Watchdog/m4/ltsugar.m4 | 123 -
Watchdog/m4/ltversion.m4 | 23 -
Watchdog/m4/lt~obsolete.m4 | 98 -
Watchdog/missing | 376 -
Watchdog/mkinstalldirs | 162 -
Watchdog/pwl-config.h.in | 92 -
Watchdog/pwl-config.sed | 24 -
Watchdog/src/Doubly_Linked_Object.defs.hh | 65 -
Watchdog/src/Doubly_Linked_Object.inlines.hh | 70 -
Watchdog/src/Doubly_Linked_Object.types.hh | 22 -
Watchdog/src/EList.defs.hh | 90 -
Watchdog/src/EList.inlines.hh | 115 -
Watchdog/src/EList.types.hh | 23 -
Watchdog/src/EList_Iterator.defs.hh | 84 -
Watchdog/src/EList_Iterator.inlines.hh | 105 -
Watchdog/src/EList_Iterator.types.hh | 23 -
Watchdog/src/Handler.defs.hh | 91 -
Watchdog/src/Handler.inlines.hh | 58 -
Watchdog/src/Handler.types.hh | 27 -
Watchdog/src/Makefile.am | 158 -
Watchdog/src/Makefile.in | 740 -
Watchdog/src/Pending_Element.defs.hh | 76 -
Watchdog/src/Pending_Element.inlines.hh | 77 -
Watchdog/src/Pending_Element.types.hh | 23 -
Watchdog/src/Pending_List.defs.hh | 79 -
Watchdog/src/Pending_List.inlines.hh | 74 -
Watchdog/src/Pending_List.templates.hh | 84 -
Watchdog/src/Pending_List.types.hh | 23 -
Watchdog/src/Threshold_Watcher.cc | 28 -
Watchdog/src/Threshold_Watcher.defs.hh | 94 -
Watchdog/src/Threshold_Watcher.inlines.hh | 60 -
Watchdog/src/Threshold_Watcher.templates.hh | 72 -
Watchdog/src/Threshold_Watcher.types.hh | 23 -
Watchdog/src/Time.cc | 33 -
Watchdog/src/Time.defs.hh | 112 -
Watchdog/src/Time.inlines.hh | 145 -
Watchdog/src/Time.types.hh | 22 -
Watchdog/src/Watchdog.cc | 250 -
Watchdog/src/Watchdog.defs.hh | 172 -
Watchdog/src/Watchdog.inlines.hh | 117 -
Watchdog/src/Watchdog.types.hh | 22 -
Watchdog/src/pwl.hh.dist | 1706 -
Watchdog/src/pwl_header.hh | 53 -
Watchdog/tests/Makefile.am | 72 -
Watchdog/tests/Makefile.in | 667 -
Watchdog/tests/pwl_test.cc | 194 -
Watchdog/tests/pwl_test.hh | 206 -
Watchdog/tests/valgrind_suppressions | 18 -
Watchdog/tests/watchdog1.cc | 78 -
Watchdog/utils/Makefile.am | 46 -
Watchdog/utils/Makefile.in | 419 -
Watchdog/utils/build_header.in | 103 -
aclocal.m4 | 119 +-
compile | 227 +-
config.guess | 63 +-
config.h.in | 36 +-
config.sub | 115 +-
configure | 6103 +-
configure.ac | 181 +-
debian/changelog | 6 +
debian/control | 50 +-
debian/copyright | 16 +-
debian/libppl-c4.links | 2 +-
debian/libppl-swi.install | 2 +-
debian/libppl-swi.links | 2 +-
.../{libppl0.11-dev.dirs => libppl0.12-dev.dirs} | 0
.../{libppl0.11-dev.docs => libppl0.12-dev.docs} | 0
...bppl0.11-dev.install => libppl0.12-dev.install} | 0
debian/{libppl9.dirs => libppl12.dirs} | 0
debian/{libppl9.docs => libppl12.docs} | 0
debian/{libppl9.install => libppl12.install} | 0
debian/libpwl-dev.dirs | 1 -
debian/libpwl-dev.docs | 4 -
debian/libpwl-dev.install | 4 -
.../usr/share/doc/libpwl-dev/changelog.Debian | 365 +
debian/libpwl5.dirs | 1 -
debian/libpwl5.docs | 4 -
debian/libpwl5.install | 1 -
.../libpwl5/usr/share/doc/libpwl5/changelog.Debian | 365 +
debian/patches/avoid_obsolete_installdox.patch | 168 -
debian/patches/local_changes.diff | 289 +-
debian/patches/series | 1 -
debian/rules | 20 +-
debian/watch | 5 +-
demos/Makefile.am | 4 +-
demos/Makefile.in | 58 +-
demos/ppl_lcdd/Makefile.am | 4 +-
demos/ppl_lcdd/Makefile.in | 97 +-
demos/ppl_lcdd/examples/Makefile.am | 4 +-
demos/ppl_lcdd/examples/Makefile.in | 58 +-
demos/ppl_lcdd/expected_int32 | 2 +-
demos/ppl_lcdd/ppl_lcdd.1 | 8 +-
demos/ppl_lcdd/ppl_lcdd.cc | 73 +-
demos/ppl_lpsol/Makefile.am | 19 +-
demos/ppl_lpsol/Makefile.in | 147 +-
demos/ppl_lpsol/dummy.cc | 2 +-
demos/ppl_lpsol/examples/Makefile.am | 4 +-
demos/ppl_lpsol/examples/Makefile.in | 58 +-
demos/ppl_lpsol/expected_int16 | 48 +-
demos/ppl_lpsol/expected_int16_a | 36 +-
demos/ppl_lpsol/expected_int32 | 58 +-
demos/ppl_lpsol/expected_int32_a | 118 +-
demos/ppl_lpsol/expected_int64 | 95 +-
demos/ppl_lpsol/expected_int64_a | 34 +-
demos/ppl_lpsol/expected_int8 | 42 +-
demos/ppl_lpsol/expected_int8_a | 34 +-
demos/ppl_lpsol/glpk_set_d_eps.c | 27 +-
demos/ppl_lpsol/ppl_lpsol.1 | 10 +-
demos/ppl_lpsol/ppl_lpsol.c | 24 +-
demos/ppl_pips/Makefile.am | 4 +-
demos/ppl_pips/Makefile.in | 97 +-
demos/ppl_pips/examples/Makefile.am | 4 +-
demos/ppl_pips/examples/Makefile.in | 58 +-
demos/ppl_pips/expected_int32 | 2 +-
demos/ppl_pips/expected_int32_a | 2 +-
demos/ppl_pips/ppl_pips.1 | 8 +-
demos/ppl_pips/ppl_pips.cc | 142 +-
depcomp | 189 +-
doc/Makefile.am | 195 +-
doc/Makefile.in | 254 +-
doc/README.doc | 21 +-
doc/bugseng_logo.pdf | Bin 0 -> 4035 bytes
doc/definitions.dox | 257 +-
doc/devref-language-interface.doxyconf.in | 39 +-
doc/devref-language-interface.tex | 71 +-
doc/devref.doxyconf-html.in | 309 +-
doc/devref.doxyconf-latex.in | 306 +-
doc/devref.tex | 82 +-
doc/fdl.pdf | Bin 82013 -> 81942 bytes
doc/fdl.ps.gz | Bin 92837 -> 94026 bytes
doc/gpl.pdf | Bin 75252 -> 75174 bytes
doc/gpl.ps.gz | Bin 86669 -> 88038 bytes
doc/libppl.3 | 16 +-
doc/libppl_c.3 | 26 +-
doc/ppl-config.1 | 34 +-
doc/ppl-user-0.11.2-html.tar.gz | Bin 965218 -> 0 bytes
doc/ppl-user-0.11.2.pdf | 100318 -----------
doc/ppl-user-0.11.2.ps.gz | Bin 1508103 -> 0 bytes
doc/ppl-user-1.0-html.tar.gz | Bin 0 -> 1863639 bytes
doc/ppl-user-1.0.pdf | 147794 ++++++++++++++++
doc/ppl-user-1.0.ps.gz | Bin 0 -> 2866093 bytes
doc/ppl-user-c-interface-0.11.2-html.tar.gz | Bin 196786 -> 0 bytes
doc/ppl-user-c-interface-0.11.2.pdf | 26761 ---
doc/ppl-user-c-interface-0.11.2.ps.gz | Bin 451558 -> 0 bytes
doc/ppl-user-c-interface-1.0-html.tar.gz | Bin 0 -> 299693 bytes
doc/ppl-user-c-interface-1.0.pdf | 26568 +++
doc/ppl-user-c-interface-1.0.ps.gz | Bin 0 -> 568395 bytes
doc/ppl-user-java-interface-0.11.2-html.tar.gz | Bin 188121 -> 0 bytes
doc/ppl-user-java-interface-0.11.2.pdf | 23682 ---
doc/ppl-user-java-interface-0.11.2.ps.gz | Bin 474147 -> 0 bytes
doc/ppl-user-java-interface-1.0-html.tar.gz | Bin 0 -> 413788 bytes
doc/ppl-user-java-interface-1.0.pdf | 26019 +++
doc/ppl-user-java-interface-1.0.ps.gz | Bin 0 -> 619712 bytes
doc/ppl-user-ocaml-interface-0.11.2-html.tar.gz | Bin 75622 -> 0 bytes
doc/ppl-user-ocaml-interface-0.11.2.pdf | Bin 319287 -> 0 bytes
doc/ppl-user-ocaml-interface-0.11.2.ps.gz | Bin 262936 -> 0 bytes
doc/ppl-user-ocaml-interface-1.0-html.tar.gz | Bin 0 -> 130581 bytes
doc/ppl-user-ocaml-interface-1.0.pdf | Bin 0 -> 353271 bytes
doc/ppl-user-ocaml-interface-1.0.ps.gz | Bin 0 -> 309787 bytes
doc/ppl-user-prolog-interface-0.11.2-html.tar.gz | Bin 75259 -> 0 bytes
doc/ppl-user-prolog-interface-0.11.2.pdf | Bin 318479 -> 0 bytes
doc/ppl-user-prolog-interface-0.11.2.ps.gz | Bin 294449 -> 0 bytes
doc/ppl-user-prolog-interface-1.0-html.tar.gz | Bin 0 -> 133960 bytes
doc/ppl-user-prolog-interface-1.0.pdf | Bin 0 -> 359608 bytes
doc/ppl-user-prolog-interface-1.0.ps.gz | Bin 0 -> 344147 bytes
doc/ppl.bib | 3195 +
doc/ppl.sty | 4 +-
doc/ppl_citations.bib | 4274 +
doc/ppl_logo.pdf | Bin 0 -> 5061 bytes
doc/ppl_logo_no_ppl.pdf | Bin 0 -> 4805 bytes
doc/user-language-interface.doxyconf.in | 36 +-
doc/user-language-interface.tex | 66 +-
doc/user.doxyconf-html.in | 36 +-
doc/user.doxyconf-latex.in | 36 +-
doc/user.tex | 82 +-
install-sh | 29 +-
instchk.hh | 4 +-
interfaces/C/C_interface.dox | 4 +-
interfaces/C/Makefile.am | 17 +-
interfaces/C/Makefile.in | 113 +-
interfaces/C/ppl_c.h.dist | 123 +-
interfaces/C/ppl_c_header.h | 47 +-
interfaces/C/ppl_c_implementation_common.cc | 87 +-
interfaces/C/ppl_c_implementation_common.defs.hh | 7 +-
.../C/ppl_c_implementation_common.inlines.hh | 8 +-
interfaces/C/ppl_c_version.h.in | 4 +-
interfaces/C/ppl_interface_generator_c_cc_code.m4 | 41 +-
interfaces/C/ppl_interface_generator_c_cc_files.m4 | 4 +-
interfaces/C/ppl_interface_generator_c_h.m4 | 4 +-
interfaces/C/ppl_interface_generator_c_h_code.m4 | 16 +-
interfaces/C/ppl_interface_generator_c_hh_files.m4 | 4 +-
...l_interface_generator_c_procedure_generators.m4 | 4 +-
interfaces/C/tests/Makefile.am | 58 +-
interfaces/C/tests/Makefile.in | 311 +-
interfaces/C/tests/formatted_output.c | 4 +-
interfaces/C/tests/pip_test.c | 4 +-
interfaces/C/tests/ppl_c_test.cc | 4 +-
interfaces/C/tests/ppl_c_test.h | 4 +-
interfaces/C/tests/print_to_buffer.c | 4 +-
interfaces/C/tests/print_to_buffer.h | 4 +-
interfaces/C/tests/watchdog1.c | 13 +-
interfaces/C/tests/weightwatch1.c | 8 +-
interfaces/Java/Makefile.am | 4 +-
interfaces/Java/Makefile.in | 68 +-
interfaces/Java/README.java | 20 +-
interfaces/Java/jni/Makefile.am | 17 +-
interfaces/Java/jni/Makefile.in | 109 +-
...ppl_interface_generator_java_classes_cc_code.m4 | 52 +-
...pl_interface_generator_java_classes_cc_files.m4 | 4 +-
interfaces/Java/jni/ppl_java_common.cc | 106 +-
interfaces/Java/jni/ppl_java_common.defs.hh | 38 +-
interfaces/Java/jni/ppl_java_common.inlines.hh | 6 +-
interfaces/Java/jni/ppl_java_globals.cc | 72 +-
.../Artificial_Parameter.java | 4 +-
.../Artificial_Parameter_Sequence.java | 4 +-
.../Bounded_Integer_Type_Overflow.java | 4 +-
.../Bounded_Integer_Type_Representation.java | 4 +-
.../Bounded_Integer_Type_Width.java | 4 +-
.../Java/parma_polyhedra_library/By_Reference.java | 4 +-
.../Java/parma_polyhedra_library/Coefficient.java | 4 +-
.../parma_polyhedra_library/Complexity_Class.java | 4 +-
.../Java/parma_polyhedra_library/Congruence.java | 4 +-
.../parma_polyhedra_library/Congruence_System.java | 4 +-
.../Java/parma_polyhedra_library/Constraint.java | 4 +-
.../parma_polyhedra_library/Constraint_System.java | 4 +-
.../Control_Parameter_Name.java | 4 +-
.../Control_Parameter_Value.java | 4 +-
.../Degenerate_Element.java | 4 +-
.../Domain_Error_Exception.java | 4 +-
.../Fake_Class_for_Doxygen.java | 4 +-
.../Java/parma_polyhedra_library/Generator.java | 4 +-
.../parma_polyhedra_library/Generator_System.java | 4 +-
.../parma_polyhedra_library/Generator_Type.java | 4 +-
.../parma_polyhedra_library/Grid_Generator.java | 4 +-
.../Grid_Generator_System.java | 4 +-
.../Grid_Generator_Type.java | 4 +-
interfaces/Java/parma_polyhedra_library/IO.java | 4 +-
.../Invalid_Argument_Exception.java | 4 +-
.../Length_Error_Exception.java | 4 +-
.../parma_polyhedra_library/Linear_Expression.java | 8 +-
.../Linear_Expression_Coefficient.java | 4 +-
.../Linear_Expression_Difference.java | 4 +-
.../Linear_Expression_Sum.java | 4 +-
.../Linear_Expression_Times.java | 4 +-
.../Linear_Expression_Unary_Minus.java | 4 +-
.../Linear_Expression_Variable.java | 4 +-
.../Logic_Error_Exception.java | 4 +-
.../Java/parma_polyhedra_library/MIP_Problem.java | 36 +-
.../MIP_Problem_Status.java | 4 +-
.../Java/parma_polyhedra_library/Makefile.am | 8 +-
.../Java/parma_polyhedra_library/Makefile.in | 62 +-
.../parma_polyhedra_library/Optimization_Mode.java | 4 +-
.../Overflow_Error_Exception.java | 4 +-
.../parma_polyhedra_library/PIP_Decision_Node.java | 4 +-
.../Java/parma_polyhedra_library/PIP_Problem.java | 16 +-
.../PIP_Problem_Control_Parameter_Name.java | 4 +-
.../PIP_Problem_Control_Parameter_Value.java | 4 +-
.../PIP_Problem_Status.java | 4 +-
.../parma_polyhedra_library/PIP_Solution_Node.java | 4 +-
.../parma_polyhedra_library/PIP_Tree_Node.java | 4 +-
.../Java/parma_polyhedra_library/PPL_Object.java | 4 +-
interfaces/Java/parma_polyhedra_library/Pair.java | 4 +-
.../Parma_Polyhedra_Library.java | 39 +-
.../parma_polyhedra_library/Partial_Function.java | 4 +-
.../parma_polyhedra_library/Poly_Con_Relation.java | 6 +-
.../parma_polyhedra_library/Poly_Gen_Relation.java | 6 +-
.../parma_polyhedra_library/Relation_Symbol.java | 4 +-
.../parma_polyhedra_library/Timeout_Exception.java | 4 +-
.../Java/parma_polyhedra_library/Variable.java | 4 +-
.../parma_polyhedra_library/Variables_Set.java | 4 +-
.../ppl_interface_generator_java_classes_java.m4 | 4 +-
...l_interface_generator_java_classes_java_code.m4 | 14 +-
...nterface_generator_java_procedure_generators.m4 | 6 +-
interfaces/Java/tests/C_Polyhedron_test1.java | 4 +-
interfaces/Java/tests/MIP_Problem_test1.java | 4 +-
interfaces/Java/tests/Makefile.am | 20 +-
interfaces/Java/tests/Makefile.in | 96 +-
interfaces/Java/tests/NNC_Polyhedron_test1.java | 4 +-
interfaces/Java/tests/PIP_Problem_test1.java | 4 +-
interfaces/Java/tests/PPL_Test.java | 4 +-
.../Java/tests/Parma_Polyhedra_Library_test1.java | 4 +-
.../Java/tests/Parma_Polyhedra_Library_test2.java | 14 +-
interfaces/Java/tests/Test_Executor.java | 4 +-
.../ppl_interface_generator_java_test_java.m4 | 4 +-
.../ppl_interface_generator_java_test_java_code.m4 | 18 +-
interfaces/Java/tests/ppl_java_tests_common | 4 +-
interfaces/Makefile.am | 4 +-
interfaces/Makefile.in | 58 +-
interfaces/OCaml/Makefile.am | 21 +-
interfaces/OCaml/Makefile.in | 125 +-
interfaces/OCaml/OCaml_interface.dox | 25 +-
interfaces/OCaml/README.ocaml | 11 +
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 50 +-
.../ppl_interface_generator_ocaml_cc_files.m4 | 4 +-
.../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 4 +-
.../ppl_interface_generator_ocaml_hh_files.m4 | 4 +-
.../OCaml/ppl_interface_generator_ocaml_ml.m4 | 4 +-
.../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 13 +-
.../OCaml/ppl_interface_generator_ocaml_mli.m4 | 4 +-
.../ppl_interface_generator_ocaml_mli_code.m4 | 12 +-
...terface_generator_ocaml_procedure_generators.m4 | 4 +-
interfaces/OCaml/ppl_ocaml_common.cc | 169 +-
interfaces/OCaml/ppl_ocaml_common.defs.hh | 14 +-
interfaces/OCaml/ppl_ocaml_common.inlines.hh | 4 +-
interfaces/OCaml/ppl_ocaml_globals.ml | 6 +-
interfaces/OCaml/ppl_ocaml_globals.mli | 6 +-
interfaces/OCaml/tests/Makefile.am | 34 +-
interfaces/OCaml/tests/Makefile.in | 104 +-
.../tests/ppl_interface_generator_ocaml_test_ml.m4 | 4 +-
.../ppl_interface_generator_ocaml_test_ml_code.m4 | 4 +-
interfaces/OCaml/tests/ppl_ocaml_tests_common | 4 +-
interfaces/OCaml/tests/test1.ml | 8 +-
interfaces/Prolog/Ciao/Makefile.am | 21 +-
interfaces/Prolog/Ciao/Makefile.in | 527 +-
interfaces/Prolog/Ciao/README.ciao | 12 +
interfaces/Prolog/Ciao/ciao_cfli.hh | 4 +-
interfaces/Prolog/Ciao/ciao_clpq.pl | 4 +-
interfaces/Prolog/Ciao/ciao_clpq2.pl | 4 +-
interfaces/Prolog/Ciao/ciao_efli.cc | 4 +-
interfaces/Prolog/Ciao/ciao_efli.hh | 4 +-
interfaces/Prolog/Ciao/ciao_pl_check.pl | 4 +-
.../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 4 +-
...face_generator_ciao_prolog_generated_test_pl.m4 | 4 +-
interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh | 4 +-
interfaces/Prolog/GNU/Makefile.am | 27 +-
interfaces/Prolog/GNU/Makefile.in | 534 +-
interfaces/Prolog/GNU/README.gprolog | 12 +
interfaces/Prolog/GNU/gnu_pl_check.pl | 4 +-
interfaces/Prolog/GNU/gnu_prolog_generated_test.pl | 4 +-
interfaces/Prolog/GNU/gp_clpq.pl | 4 +-
interfaces/Prolog/GNU/gprolog_cfli.hh | 4 +-
interfaces/Prolog/GNU/gprolog_efli.cc | 4 +-
interfaces/Prolog/GNU/gprolog_efli.hh | 4 +-
.../GNU/ppl_interface_generator_gprolog_pl.m4 | 4 +-
interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 4 +-
interfaces/Prolog/Makefile.am | 40 +-
interfaces/Prolog/Makefile.in | 91 +-
interfaces/Prolog/Prolog_configured_interface.dox | 63 +
interfaces/Prolog/Prolog_interface.dox | 2060 +-
interfaces/Prolog/Prolog_interface_compilation.dox | 59 +
interfaces/Prolog/Prolog_interface_sysdep.dox | 235 +
interfaces/Prolog/Prolog_interface_sysindep.dox | 949 +
.../Prolog/Prolog_interface_sysindep_domains.dox | 914 +
interfaces/Prolog/SICStus/Makefile.am | 38 +-
interfaces/Prolog/SICStus/Makefile.in | 540 +-
.../ppl_interface_generator_sicstus_sd_cc.m4 | 4 +-
interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 4 +-
interfaces/Prolog/SICStus/ppl_sicstus.pl | 4 +-
interfaces/Prolog/SICStus/sicstus_cfli.cc | 4 +-
interfaces/Prolog/SICStus/sicstus_cfli.h | 4 +-
interfaces/Prolog/SICStus/sicstus_cfli.ic | 4 +-
interfaces/Prolog/SICStus/sicstus_efli.cc | 4 +-
interfaces/Prolog/SICStus/sicstus_efli.hh | 4 +-
interfaces/Prolog/SICStus/sp_clpq.pl | 4 +-
interfaces/Prolog/SICStus/sp_pl_check.pl | 4 +-
.../Prolog/SICStus/sp_prolog_generated_test.pl | 4 +-
interfaces/Prolog/SWI/Makefile.am | 46 +-
interfaces/Prolog/SWI/Makefile.in | 546 +-
interfaces/Prolog/SWI/README.swiprolog | 12 +
interfaces/Prolog/SWI/pl_clpq.cc | 4 +-
interfaces/Prolog/SWI/pl_clpq.pl | 4 +-
.../SWI/ppl_interface_generator_swiprolog_cc.m4 | 4 +-
interfaces/Prolog/SWI/ppl_pl.cc | 4 +-
interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 4 +-
interfaces/Prolog/SWI/ppl_swiprolog.pl | 4 +-
interfaces/Prolog/SWI/swi_cfli.hh | 6 +-
interfaces/Prolog/SWI/swi_efli.cc | 8 +-
interfaces/Prolog/SWI/swi_efli.hh | 4 +-
interfaces/Prolog/SWI/swi_pl_check.pl | 4 +-
interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 4 +-
interfaces/Prolog/XSB/Makefile.am | 24 +-
interfaces/Prolog/XSB/Makefile.in | 530 +-
.../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 4 +-
.../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 4 +-
.../Prolog/XSB/ppl_interface_generator_xsb_hh.m4 | 4 +-
...erface_generator_xsb_prolog_generated_test_P.m4 | 4 +-
interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 4 +-
interfaces/Prolog/XSB/xsb_cfli.hh | 4 +-
interfaces/Prolog/XSB/xsb_clpq.P | 4 +-
interfaces/Prolog/XSB/xsb_clpq2.P | 4 +-
interfaces/Prolog/XSB/xsb_efli.cc | 4 +-
interfaces/Prolog/XSB/xsb_efli.hh | 4 +-
interfaces/Prolog/XSB/xsb_pl_check.P | 4 +-
interfaces/Prolog/YAP/Makefile.am | 21 +-
interfaces/Prolog/YAP/Makefile.in | 527 +-
interfaces/Prolog/YAP/README.yap | 12 +
.../Prolog/YAP/ppl_interface_generator_yap_cc.m4 | 4 +-
interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 4 +-
interfaces/Prolog/YAP/ppl_yap.pl | 4 +-
interfaces/Prolog/YAP/yap_cfli.hh | 4 +-
interfaces/Prolog/YAP/yap_clpq.pl | 4 +-
interfaces/Prolog/YAP/yap_clpq2.pl | 4 +-
interfaces/Prolog/YAP/yap_efli.cc | 4 +-
interfaces/Prolog/YAP/yap_efli.hh | 4 +-
interfaces/Prolog/YAP/yap_pl_check.pl | 4 +-
interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 4 +-
.../ppl_interface_generator_prolog_cc_code.m4 | 88 +-
.../ppl_interface_generator_prolog_cc_files.m4 | 4 +-
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 92 +-
.../ppl_interface_generator_prolog_dox_code.m4 | 20 +-
.../ppl_interface_generator_prolog_hh_code.m4 | 12 +-
.../ppl_interface_generator_prolog_hh_files.m4 | 4 +-
...erface_generator_prolog_procedure_generators.m4 | 6 +-
.../ppl_interface_generator_prolog_systems.m4 | 4 +-
interfaces/Prolog/ppl_prolog_common.cc | 67 +-
interfaces/Prolog/ppl_prolog_common.defs.hh | 12 +-
interfaces/Prolog/ppl_prolog_common.inlines.hh | 4 +-
interfaces/Prolog/ppl_prolog_sysdep_dox | 263 -
interfaces/Prolog/ppl_prolog_sysindep_dox | 636 -
interfaces/Prolog/tests/Makefile.am | 4 +-
interfaces/Prolog/tests/Makefile.in | 58 +-
interfaces/Prolog/tests/clpq.pl | 6 +-
interfaces/Prolog/tests/clpq2.pl | 70 +-
interfaces/Prolog/tests/expected_clpq2_int16 | 4 +-
interfaces/Prolog/tests/expected_clpq2_int16_a | 4 +-
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 | 4 +-
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/expected_pchk_int8 | 2 +-
interfaces/Prolog/tests/expected_pchk_int8_a | 2 +-
interfaces/Prolog/tests/pl_check.pl | 95 +-
...interface_generator_prolog_generated_test_pl.m4 | 4 +-
...face_generator_prolog_generated_test_pl_code.m4 | 29 +-
.../tests/ppl_prolog_generated_test_common.pl | 4 +-
interfaces/interfaced_boxes.hh | 25 +-
interfaces/marked_pointers.hh | 4 +-
interfaces/ppl_interface_generator_common.m4 | 4 +-
interfaces/ppl_interface_generator_common_dat.m4 | 16 +-
...erface_generator_common_procedure_generators.m4 | 7 +-
interfaces/ppl_interface_generator_copyright | 4 +-
ltmain.sh | 2494 +-
m4/Makefile.am | 13 +-
m4/Makefile.in | 77 +-
m4/ac_check_ciao.m4 | 11 +-
m4/ac_check_fpu_control.m4 | 4 +-
m4/ac_check_gmp.m4 | 87 +-
m4/ac_check_sicstus_prolog.m4 | 4 +-
m4/ac_check_swi_prolog.m4 | 38 +-
m4/ac_check_xsb_prolog.m4 | 4 +-
m4/ac_check_yap.m4 | 4 +-
m4/ac_cxx_attribute_weak.m4 | 4 +-
m4/ac_cxx_double_binary_format.m4 | 8 +-
m4/ac_cxx_double_exact_output.m4 | 141 -
m4/ac_cxx_flexible_arrays.m4 | 142 -
m4/ac_cxx_float_binary_format.m4 | 8 +-
m4/ac_cxx_float_exact_output.m4 | 131 -
m4/ac_cxx_ieee_inexact_flag.m4 | 4 +-
m4/ac_cxx_limit_memory.m4 | 8 +-
m4/ac_cxx_long_double_binary_format.m4 | 8 +-
m4/ac_cxx_long_double_exact_output.m4 | 254 -
m4/ac_cxx_plain_char_is_signed.m4 | 4 +-
m4/ac_cxx_proper_long_double.m4 | 4 +-
m4/ac_cxx_remainder_bug.m4 | 71 -
m4/ac_cxx_zero_length_arrays.m4 | 142 +
m4/ac_prog_jar.m4 | 2 +-
m4/ac_prog_java.m4 | 2 +-
m4/ac_prog_javac.m4 | 6 +-
m4/ac_prog_javah.m4 | 11 +-
m4/ac_text_md5sum.m4 | 4 +-
m4/lib-ld.m4 | 110 -
m4/lib-link.m4 | 764 -
m4/lib-prefix.m4 | 224 -
m4/libtool.m4 | 1305 +-
m4/ltoptions.m4 | 19 +-
m4/ltversion.m4 | 12 +-
m4/m4.m4 | 2 +-
m4/ppl.m4 | 4 +-
m4/ppl_c.m4 | 4 +-
missing | 148 +-
mkinstalldirs | 4 +-
ppl-config.h.in | 36 +-
ppl-config.sed | 2 +
ppl.lsm.in | 38 +-
src/BDS_Status.idefs.hh | 6 +-
src/BDS_Status.inlines.hh | 18 +-
src/BD_Shape.cc | 89 +-
src/BD_Shape.defs.hh | 347 +-
src/BD_Shape.inlines.hh | 163 +-
src/BD_Shape.templates.hh | 2535 +-
src/BD_Shape.types.hh | 4 +-
src/BHRZ03_Certificate.cc | 51 +-
src/BHRZ03_Certificate.defs.hh | 6 +-
src/BHRZ03_Certificate.inlines.hh | 6 +-
src/BHRZ03_Certificate.types.hh | 2 +-
src/BUGS.cc.dist | 4 +-
src/BUGS.hh.dist | 4 +
src/Bit_Matrix.cc | 78 +-
src/Bit_Matrix.defs.hh | 47 +-
src/Bit_Matrix.inlines.hh | 47 +-
src/Bit_Matrix.types.hh | 2 +-
src/Bit_Row.cc | 75 +-
src/Bit_Row.defs.hh | 72 +-
src/Bit_Row.inlines.hh | 185 +-
src/Bit_Row.types.hh | 2 +-
src/Boundary.defs.hh | 236 +-
src/Box.cc | 66 +-
src/Box.defs.hh | 269 +-
src/Box.inlines.hh | 106 +-
src/Box.templates.hh | 1323 +-
src/Box.types.hh | 4 +-
src/Box_Status.idefs.hh | 6 +-
src/Box_Status.inlines.hh | 14 +-
src/COPYING.cc.dist | 2 +-
src/COPYING.hh.dist | 4 +
src/CO_Tree.cc | 1305 +
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/CREDITS.cc.dist | 133 +-
src/CREDITS.hh.dist | 4 +
src/C_Integer.hh | 50 +-
src/C_Polyhedron.cc | 47 +-
src/C_Polyhedron.defs.hh | 4 +-
src/C_Polyhedron.inlines.hh | 104 +-
src/C_Polyhedron.types.hh | 2 +-
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 | 8 +-
src/Checked_Number.defs.hh | 70 +-
src/Checked_Number.inlines.hh | 126 +-
src/Checked_Number.templates.hh | 29 +-
src/Checked_Number.types.hh | 2 +-
src/Coefficient.cc | 7 +-
src/Coefficient.defs.hh | 4 +-
src/Coefficient.inlines.hh | 4 +-
src/Coefficient.types.hh | 10 +-
src/Coefficient_traits_template.hh | 29 +-
src/Concrete_Expression.cc | 122 +
src/Concrete_Expression.defs.hh | 201 +
src/Concrete_Expression.inlines.hh | 123 +
src/Concrete_Expression.types.hh | 98 +
src/Congruence.cc | 248 +-
src/Congruence.defs.hh | 306 +-
src/Congruence.inlines.hh | 172 +-
src/Congruence.types.hh | 2 +-
src/Congruence_System.cc | 465 +-
src/Congruence_System.defs.hh | 307 +-
src/Congruence_System.inlines.hh | 154 +-
src/Congruence_System.types.hh | 2 +-
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 | 290 +-
src/Constraint.defs.hh | 554 +-
src/Constraint.inlines.hh | 412 +-
src/Constraint.types.hh | 2 +-
src/Constraint_System.cc | 524 +-
src/Constraint_System.defs.hh | 558 +-
src/Constraint_System.inlines.hh | 333 +-
src/Constraint_System.types.hh | 3 +-
src/DB_Matrix.defs.hh | 33 +-
src/DB_Matrix.inlines.hh | 26 +-
src/DB_Matrix.templates.hh | 28 +-
src/DB_Matrix.types.hh | 2 +-
src/DB_Row.defs.hh | 49 +-
src/DB_Row.inlines.hh | 48 +-
src/DB_Row.templates.hh | 24 +-
src/DB_Row.types.hh | 2 +-
src/Dense_Row.cc | 571 +
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 | 26 +-
src/Determinate.inlines.hh | 23 +-
src/Determinate.types.hh | 2 +-
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/Doubly_Linked_Object.defs.hh | 65 +
src/Doubly_Linked_Object.inlines.hh | 78 +
src/Doubly_Linked_Object.types.hh | 30 +
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/Expression_Hide_Inhomo.defs.hh | 176 +
src/Expression_Hide_Inhomo.inlines.hh | 314 +
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/Float.cc | 6 +-
src/Float.defs.hh | 299 +-
src/Float.inlines.hh | 155 +-
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/GMP_Integer.defs.hh | 21 +-
src/GMP_Integer.inlines.hh | 4 +-
src/GMP_Integer.types.hh | 4 +-
src/Generator.cc | 316 +-
src/Generator.defs.hh | 438 +-
src/Generator.inlines.hh | 422 +-
src/Generator.types.hh | 2 +-
src/Generator_System.cc | 587 +-
src/Generator_System.defs.hh | 488 +-
src/Generator_System.inlines.hh | 315 +-
src/Generator_System.types.hh | 3 +-
src/Grid.defs.hh | 181 +-
src/Grid.inlines.hh | 132 +-
src/Grid.templates.hh | 188 +-
src/Grid.types.hh | 2 +-
src/Grid_Certificate.cc | 61 +-
src/Grid_Certificate.defs.hh | 4 +-
src/Grid_Certificate.inlines.hh | 6 +-
src/Grid_Certificate.types.hh | 2 +-
src/Grid_Generator.cc | 408 +-
src/Grid_Generator.defs.hh | 460 +-
src/Grid_Generator.inlines.hh | 289 +-
src/Grid_Generator.types.hh | 2 +-
src/Grid_Generator_System.cc | 382 +-
src/Grid_Generator_System.defs.hh | 198 +-
src/Grid_Generator_System.inlines.hh | 200 +-
src/Grid_Generator_System.types.hh | 2 +-
src/Grid_Status.cc | 9 +-
src/Grid_Status.idefs.hh | 6 +-
src/Grid_Status.inlines.hh | 6 +-
src/Grid_chdims.cc | 138 +-
src/Grid_conversion.cc | 250 +-
src/Grid_nonpublic.cc | 159 +-
src/Grid_public.cc | 602 +-
src/Grid_simplify.cc | 429 +-
src/Grid_widenings.cc | 157 +-
src/H79_Certificate.cc | 14 +-
src/H79_Certificate.defs.hh | 4 +-
src/H79_Certificate.inlines.hh | 6 +-
src/H79_Certificate.types.hh | 2 +-
src/Handler.defs.hh | 95 +
src/Handler.inlines.hh | 66 +
src/Handler.types.hh | 35 +
src/Has_Assign_Or_Swap.hh | 4 +-
src/Init.cc | 27 +-
src/Init.defs.hh | 17 +-
src/Init.inlines.hh | 4 +-
src/Init.types.hh | 2 +-
src/Integer_Interval.hh | 53 +
src/Interval.defs.hh | 140 +-
src/Interval.inlines.hh | 244 +-
src/Interval.templates.hh | 120 +-
src/Interval.types.hh | 2 +-
src/Interval_Info.defs.hh | 61 +-
src/Interval_Info.inlines.hh | 54 +-
src/Interval_Info.types.hh | 2 +-
src/Interval_Restriction.defs.hh | 874 -
src/Linear_Expression.cc | 557 +-
src/Linear_Expression.defs.hh | 704 +-
src/Linear_Expression.inlines.hh | 805 +-
src/Linear_Expression.types.hh | 2 +-
src/Linear_Expression_Impl.cc | 467 +
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_Interface.cc | 35 +
src/Linear_Expression_Interface.defs.hh | 489 +
src/Linear_Expression_Interface.types.hh | 22 +
src/Linear_Form.cc | 26 +
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_Row.cc | 238 -
src/Linear_Row.defs.hh | 471 -
src/Linear_Row.inlines.hh | 291 -
src/Linear_Row.types.hh | 22 -
src/Linear_System.cc | 935 -
src/Linear_System.defs.hh | 360 +-
src/Linear_System.inlines.hh | 648 +-
src/Linear_System.templates.hh | 923 +
src/Linear_System.types.hh | 6 +-
src/MIP_Problem.cc | 1490 +-
src/MIP_Problem.defs.hh | 269 +-
src/MIP_Problem.inlines.hh | 208 +-
src/MIP_Problem.templates.hh | 150 +-
src/MIP_Problem.types.hh | 2 +-
src/Makefile.am | 194 +-
src/Makefile.in | 528 +-
src/Matrix.cc | 414 -
src/Matrix.defs.hh | 463 +-
src/Matrix.inlines.hh | 240 +-
src/Matrix.templates.hh | 201 +
src/Matrix.types.hh | 3 +-
...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 | 47 +-
src/NNC_Polyhedron.defs.hh | 4 +-
src/NNC_Polyhedron.inlines.hh | 104 +-
src/NNC_Polyhedron.types.hh | 2 +-
src/Numeric_Format.defs.hh | 4 +-
src/OR_Matrix.defs.hh | 42 +-
src/OR_Matrix.inlines.hh | 109 +-
src/OR_Matrix.templates.hh | 8 +-
src/OR_Matrix.types.hh | 2 +-
src/Octagonal_Shape.cc | 131 +-
src/Octagonal_Shape.defs.hh | 327 +-
src/Octagonal_Shape.inlines.hh | 130 +-
src/Octagonal_Shape.templates.hh | 2974 +-
src/Octagonal_Shape.types.hh | 4 +-
src/Og_Status.idefs.hh | 11 +-
src/Og_Status.inlines.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 | 115 +-
src/PIP_Problem.defs.hh | 65 +-
src/PIP_Problem.inlines.hh | 48 +-
src/PIP_Problem.templates.hh | 9 +-
src/PIP_Problem.types.hh | 2 +-
src/PIP_Tree.cc | 2223 +-
src/PIP_Tree.defs.hh | 176 +-
src/PIP_Tree.inlines.hh | 26 +-
src/PIP_Tree.types.hh | 2 +-
src/Partial_Function.cc | 6 +-
src/Partial_Function.defs.hh | 4 +-
src/Partial_Function.inlines.hh | 6 +-
src/Partial_Function.types.hh | 2 +-
src/Partially_Reduced_Product.defs.hh | 48 +-
src/Partially_Reduced_Product.inlines.hh | 55 +-
src/Partially_Reduced_Product.templates.hh | 151 +-
src/Partially_Reduced_Product.types.hh | 2 +-
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/Ph_Status.cc | 9 +-
src/Ph_Status.idefs.hh | 6 +-
src/Ph_Status.inlines.hh | 6 +-
src/Pointset_Powerset.cc | 92 +-
src/Pointset_Powerset.defs.hh | 78 +-
src/Pointset_Powerset.inlines.hh | 37 +-
src/Pointset_Powerset.templates.hh | 359 +-
src/Pointset_Powerset.types.hh | 2 +-
src/Poly_Con_Relation.cc | 10 +-
src/Poly_Con_Relation.defs.hh | 4 +-
src/Poly_Con_Relation.inlines.hh | 4 +-
src/Poly_Con_Relation.types.hh | 2 +-
src/Poly_Gen_Relation.cc | 10 +-
src/Poly_Gen_Relation.defs.hh | 4 +-
src/Poly_Gen_Relation.inlines.hh | 4 +-
src/Poly_Gen_Relation.types.hh | 2 +-
src/Polyhedron.defs.hh | 341 +-
src/Polyhedron.inlines.hh | 92 +-
src/Polyhedron.templates.hh | 449 +-
src/Polyhedron.types.hh | 2 +-
src/Polyhedron_chdims.cc | 297 +-
src/Polyhedron_chdims.templates.hh | 63 +
src/Polyhedron_conversion.templates.hh | 919 +
src/Polyhedron_minimize.templates.hh | 435 +
src/Polyhedron_nonpublic.cc | 602 +-
src/Polyhedron_public.cc | 737 +-
src/Polyhedron_simplify.templates.hh | 340 +
src/Polyhedron_widenings.cc | 175 +-
src/Powerset.defs.hh | 21 +-
src/Powerset.inlines.hh | 25 +-
src/Powerset.templates.hh | 24 +-
src/Powerset.types.hh | 2 +-
src/Ptr_Iterator.defs.hh | 34 +-
src/Ptr_Iterator.inlines.hh | 8 +-
src/Ptr_Iterator.types.hh | 2 +-
src/Rational_Box.hh | 4 +-
src/Rational_Interval.hh | 10 +-
src/Result.defs.hh | 88 +-
src/Result.inlines.hh | 49 +-
src/Rounding_Dir.defs.hh | 48 +-
src/Rounding_Dir.inlines.hh | 57 +-
src/Row.cc | 316 -
src/Row.defs.hh | 522 -
src/Row.inlines.hh | 406 -
src/Row.types.hh | 23 -
src/Scalar_Products.cc | 141 +-
src/Scalar_Products.defs.hh | 66 +-
src/Scalar_Products.inlines.hh | 51 +-
src/Scalar_Products.types.hh | 2 +-
src/Slow_Copy.hh | 4 +-
src/Sparse_Row.cc | 1065 +
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/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/Temp.defs.hh | 38 +-
src/Temp.inlines.hh | 16 +-
src/Temp.templates.hh | 4 +-
src/Threshold_Watcher.cc | 27 +
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 | 32 +
src/Time.defs.hh | 126 +
src/Time.inlines.hh | 155 +
src/Time.types.hh | 30 +
src/Topology.hh | 29 -
src/Topology.types.hh | 29 +
src/Variable.cc | 16 +-
src/Variable.defs.hh | 19 +-
src/Variable.inlines.hh | 17 +-
src/Variable.types.hh | 2 +-
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/Variables_Set.cc | 15 +-
src/Variables_Set.defs.hh | 10 +-
src/Variables_Set.inlines.hh | 8 +-
src/Variables_Set.types.hh | 2 +-
src/WRD_coefficient_types.defs.hh | 38 +-
src/WRD_coefficient_types.inlines.hh | 4 +-
src/Watchdog.cc | 250 +
src/Watchdog.defs.hh | 148 +
src/Watchdog.inlines.hh | 101 +
src/Watchdog.types.hh | 22 +
src/Weight_Profiler.cc | 39 +-
src/Weight_Profiler.defs.hh | 61 +-
src/Widening_Function.defs.hh | 4 +-
src/Widening_Function.inlines.hh | 4 +-
src/Widening_Function.types.hh | 2 +-
src/algorithms.hh | 12 +-
src/assert.cc | 52 +
src/assert.hh | 144 +-
src/assign_or_swap.hh | 9 +-
src/c_streambuf.cc | 49 +-
src/c_streambuf.defs.hh | 23 +-
src/c_streambuf.inlines.hh | 6 +-
src/c_streambuf.types.hh | 2 +-
src/checked.cc | 445 +-
src/checked.defs.hh | 298 +-
src/checked.inlines.hh | 86 +-
src/checked_ext.inlines.hh | 6 +-
src/checked_float.inlines.hh | 251 +-
src/checked_int.inlines.hh | 184 +-
src/checked_mpq.inlines.hh | 34 +-
src/checked_mpz.inlines.hh | 32 +-
src/checked_numeric_limits.hh | 78 +-
src/compiler.hh | 161 +-
src/conversion.cc | 862 -
src/distances.defs.hh | 4 +-
src/distances.inlines.hh | 4 +-
src/distances.types.hh | 2 +-
src/fpu-c99.inlines.hh | 8 +-
src/fpu-ia32.cc | 22 +-
src/fpu-ia32.inlines.hh | 4 +-
src/fpu-none.inlines.hh | 4 +-
src/fpu-sparc.inlines.hh | 4 +-
src/fpu.defs.hh | 11 +-
src/fpu.types.hh | 2 +-
src/globals.cc | 29 +-
src/globals.defs.hh | 193 +-
src/globals.inlines.hh | 89 +-
src/globals.types.hh | 62 +-
src/initializer.hh | 12 +-
src/intervals.defs.hh | 117 +-
src/iterator_to_const.defs.hh | 6 +-
src/iterator_to_const.inlines.hh | 4 +-
src/iterator_to_const.types.hh | 2 +-
src/linearize.hh | 871 +
src/math_utilities.defs.hh | 14 +-
src/math_utilities.inlines.hh | 34 +-
src/max_space_dimension.hh | 4 +-
src/meta_programming.hh | 31 +-
src/minimize.cc | 402 -
src/mp_std_bits.cc | 9 +-
src/mp_std_bits.defs.hh | 7 +-
src/mp_std_bits.inlines.hh | 7 +-
src/namespaces.hh | 10 +-
src/ppl-config.cc.in | 142 +-
src/ppl.hh.dist | 159621 ++++++++++--------
src/ppl_header.hh | 10 +-
src/simplify.cc | 319 -
src/stdiobuf.cc | 33 +-
src/stdiobuf.defs.hh | 6 +-
src/stdiobuf.inlines.hh | 6 +-
src/stdiobuf.types.hh | 2 +-
src/swapping_sort.icc | 167 -
src/swapping_sort.templates.hh | 179 +
src/termination.cc | 394 +-
src/termination.defs.hh | 64 +-
src/termination.templates.hh | 80 +-
src/termination.types.hh | 22 +
src/version.cc | 32 +-
src/version.hh.in | 9 +-
src/wrap_assign.hh | 137 +-
src/wrap_string.cc | 66 +-
src/wrap_string.hh | 4 +-
tests/BD_Shape/Makefile.am | 5 +-
tests/BD_Shape/Makefile.in | 239 +-
tests/BD_Shape/addconstraints1.cc | 4 +-
tests/BD_Shape/addspacedims1.cc | 4 +-
tests/BD_Shape/affinedimension1.cc | 4 +-
tests/BD_Shape/affineimage1.cc | 4 +-
tests/BD_Shape/affineimage2.cc | 4 +-
tests/BD_Shape/affinepreimage1.cc | 4 +-
tests/BD_Shape/ascii_dump_load1.cc | 4 +-
tests/BD_Shape/bgp99extrapolation1.cc | 4 +-
tests/BD_Shape/bhmz05widening1.cc | 4 +-
tests/BD_Shape/bhz03widening1.cc | 4 +-
tests/BD_Shape/bounded1.cc | 4 +-
tests/BD_Shape/boundedaffineimage1.cc | 4 +-
tests/BD_Shape/boundedaffinepreimage1.cc | 25 +-
tests/BD_Shape/bounds1.cc | 4 +-
tests/BD_Shape/cc76extrapolation1.cc | 8 +-
tests/BD_Shape/cc76narrowing1.cc | 4 +-
tests/BD_Shape/closure1.cc | 4 +-
tests/BD_Shape/concatenate1.cc | 4 +-
tests/BD_Shape/congruences1.cc | 4 +-
tests/BD_Shape/constrains1.cc | 4 +-
tests/BD_Shape/constraints1.cc | 4 +-
tests/BD_Shape/contains1.cc | 23 +-
tests/BD_Shape/containsintegerpoint1.cc | 4 +-
tests/BD_Shape/difference1.cc | 4 +-
tests/BD_Shape/discrete1.cc | 4 +-
tests/BD_Shape/disjoint1.cc | 4 +-
tests/BD_Shape/dropsomenonintegerpoints1.cc | 4 +-
tests/BD_Shape/empty1.cc | 4 +-
tests/BD_Shape/equality1.cc | 4 +-
tests/BD_Shape/expandspacedim1.cc | 4 +-
tests/BD_Shape/foldspacedims1.cc | 4 +-
tests/BD_Shape/frequency1.cc | 4 +-
tests/BD_Shape/frombdshape1.cc | 4 +-
tests/BD_Shape/frombox1.cc | 4 +-
tests/BD_Shape/fromgensys1.cc | 4 +-
tests/BD_Shape/fromgrid1.cc | 4 +-
tests/BD_Shape/fromoctagonalshape1.cc | 4 +-
tests/BD_Shape/frompolyhedron1.cc | 4 +-
tests/BD_Shape/fromspacedim1.cc | 4 +-
tests/BD_Shape/generalizedaffineimage1.cc | 4 +-
tests/BD_Shape/generalizedaffineimage2.cc | 4 +-
tests/BD_Shape/generalizedaffinepreimage1.cc | 8 +-
tests/BD_Shape/generalizedaffinepreimage2.cc | 4 +-
tests/BD_Shape/generalizedaffinepreimage3.cc | 4 +-
tests/BD_Shape/geomcovers1.cc | 4 +-
tests/BD_Shape/h79widening1.cc | 4 +-
tests/BD_Shape/integerupperboundifexact1.cc | 4 +-
tests/BD_Shape/intersection1.cc | 4 +-
tests/BD_Shape/limitedbhmz05extrapolation1.cc | 4 +-
tests/BD_Shape/limitedcc76extrapolation1.cc | 4 +-
tests/BD_Shape/limitedh79extrapolation1.cc | 4 +-
tests/BD_Shape/mapspacedims1.cc | 4 +-
tests/BD_Shape/max_min1.cc | 4 +-
tests/BD_Shape/max_min2.cc | 4 +-
tests/BD_Shape/maxspacedim1.cc | 4 +-
tests/BD_Shape/membytes1.cc | 4 +-
tests/BD_Shape/minconstraints1.cc | 4 +-
tests/BD_Shape/relations1.cc | 4 +-
tests/BD_Shape/relations2.cc | 4 +-
tests/BD_Shape/relations3.cc | 6 +-
tests/BD_Shape/relations4.cc | 4 +-
tests/BD_Shape/removespacedims1.cc | 4 +-
tests/BD_Shape/run_tests | 4 +-
tests/BD_Shape/simplifyusingcontext1.cc | 4 +-
tests/BD_Shape/timeelapse1.cc | 4 +-
tests/BD_Shape/unconstrain1.cc | 4 +-
tests/BD_Shape/universe1.cc | 4 +-
tests/BD_Shape/upperbound1.cc | 4 +-
tests/BD_Shape/upperboundifexact1.cc | 4 +-
tests/BD_Shape/wrap1.cc | 4 +-
tests/BD_Shape/writebdshape1.cc | 4 +-
tests/Box/Makefile.am | 27 +-
tests/Box/Makefile.in | 325 +-
tests/Box/addconstraints1.cc | 4 +-
tests/Box/addspacedims1.cc | 4 +-
tests/Box/affinedimension1.cc | 4 +-
tests/Box/affineimage1.cc | 4 +-
tests/Box/affinepreimage1.cc | 4 +-
tests/Box/ascii_dump_load1.cc | 4 +-
tests/Box/bgp99extrapolation1.cc | 4 +-
tests/Box/bhz03widening1.cc | 4 +-
tests/Box/bounded1.cc | 4 +-
tests/Box/boundedaffineimage1.cc | 4 +-
tests/Box/boundedaffinepreimage1.cc | 4 +-
tests/Box/cc76narrowing1.cc | 4 +-
tests/Box/cc76widening.cc | 4 +-
tests/Box/concatenate1.cc | 4 +-
tests/Box/congruences1.cc | 4 +-
tests/Box/constrains1.cc | 4 +-
tests/Box/constraints1.cc | 4 +-
tests/Box/contains1.cc | 4 +-
tests/Box/containsintegerpoint1.cc | 4 +-
tests/Box/difference1.cc | 4 +-
tests/Box/discrete1.cc | 4 +-
tests/Box/disjoint1.cc | 4 +-
tests/Box/empty1.cc | 4 +-
tests/Box/equality1.cc | 4 +-
tests/Box/expandspacedim1.cc | 4 +-
tests/Box/foldspacedims1.cc | 4 +-
tests/Box/frequency1.cc | 4 +-
tests/Box/frombdshape1.cc | 4 +-
tests/Box/frombox1.cc | 4 +-
tests/Box/fromgensys1.cc | 4 +-
tests/Box/fromgrid1.cc | 4 +-
tests/Box/frompartiallyreducedproduct1.cc | 4 +-
tests/Box/frompolyhedron1.cc | 4 +-
tests/Box/frompolyhedron2.cc | 4 +-
tests/Box/fromspacedim1.cc | 4 +-
tests/Box/generalizedaffineimage1.cc | 4 +-
tests/Box/generalizedaffineimage2.cc | 4 +-
tests/Box/generalizedaffinepreimage1.cc | 4 +-
tests/Box/geomcovers1.cc | 4 +-
tests/Box/intersection1.cc | 4 +-
tests/Box/interval1.cc | 38 +-
tests/Box/limitedcc76extrapolation1.cc | 4 +-
tests/Box/mapspacedims1.cc | 4 +-
tests/Box/max_min1.cc | 4 +-
tests/Box/maxspacedim1.cc | 4 +-
tests/Box/membytes1.cc | 27 +-
tests/Box/minconstraints1.cc | 4 +-
tests/Box/propagateconstraints1.cc | 4 +-
tests/Box/propagateconstraints2.cc | 8 +-
tests/Box/refinewithcongruence1.cc | 4 +-
tests/Box/refinewithcongruences1.cc | 4 +-
tests/Box/refinewithconstraint1.cc | 4 +-
tests/Box/refinewithconstraint2.cc | 10 +-
tests/Box/refinewithconstraints1.cc | 12 +-
tests/Box/refinewithconstraints2.cc | 9 +-
tests/Box/relations1.cc | 4 +-
tests/Box/relations2.cc | 4 +-
tests/Box/relations3.cc | 4 +-
tests/Box/relations4.cc | 5 +-
tests/Box/removespacedims1.cc | 4 +-
tests/Box/run_tests | 4 +-
tests/Box/simplifyusingcontext1.cc | 4 +-
tests/Box/timeelapse1.cc | 4 +-
tests/Box/topclosed1.cc | 4 +-
tests/Box/unconstrain1.cc | 4 +-
tests/Box/universe1.cc | 4 +-
tests/Box/upperbound1.cc | 96 +-
tests/Box/upperboundifexact1.cc | 4 +-
tests/Box/wrap1.cc | 4 +-
tests/Box/writebox1.cc | 4 +-
tests/CO_Tree/Makefile.am | 78 +
tests/CO_Tree/Makefile.in | 752 +
tests/CO_Tree/cotree1.cc | 2496 +
tests/Concrete_Expression/C_Expr.cc | 32 +
tests/Concrete_Expression/C_Expr.defs.hh | 257 +
tests/Concrete_Expression/C_Expr.inlines.hh | 187 +
tests/Concrete_Expression/Makefile.am | 179 +
tests/Concrete_Expression/Makefile.in | 950 +
tests/Concrete_Expression/bdshape1.cc | 335 +
tests/Concrete_Expression/bdshape2.cc | 571 +
tests/Concrete_Expression/digitalfilters1.cc | 1121 +
tests/Concrete_Expression/linearform1.cc | 342 +
tests/Concrete_Expression/linearize.cc | 326 +
tests/Concrete_Expression/octagonalshape1.cc | 347 +
tests/Concrete_Expression/octagonalshape2.cc | 464 +
tests/Concrete_Expression/polyhedron1.cc | 278 +
tests/Concrete_Expression/polyhedron2.cc | 242 +
tests/Concrete_Expression/run_tests | 56 +
tests/Grid/Makefile.am | 10 +-
tests/Grid/Makefile.in | 292 +-
tests/Grid/addcongruence1.cc | 4 +-
tests/Grid/addcongruences1.cc | 4 +-
tests/Grid/addconstraint1.cc | 4 +-
tests/Grid/addconstraints1.cc | 4 +-
tests/Grid/addgenerator1.cc | 4 +-
tests/Grid/addgenerators1.cc | 4 +-
tests/Grid/addspacedims1.cc | 4 +-
tests/Grid/affinedim1.cc | 4 +-
tests/Grid/affineimage1.cc | 4 +-
tests/Grid/affineimage2.cc | 6 +-
tests/Grid/affinepreimage1.cc | 4 +-
tests/Grid/affinepreimage2.cc | 4 +-
tests/Grid/approximatepartition1.cc | 4 +-
tests/Grid/asciidumpload1.cc | 4 +-
tests/Grid/asciidumpload2.cc | 4 +-
tests/Grid/asciidumpload3.cc | 4 +-
tests/Grid/asciidumpload4.cc | 4 +-
tests/Grid/asciidumpload5.cc | 4 +-
tests/Grid/asciidumpload6.cc | 4 +-
tests/Grid/bhz03widening1.cc | 4 +-
tests/Grid/bounded1.cc | 4 +-
tests/Grid/boundedaffineimage1.cc | 4 +-
tests/Grid/boundedaffinepreimage1.cc | 4 +-
tests/Grid/bounds1.cc | 4 +-
tests/Grid/certificate1.cc | 4 +-
tests/Grid/concatenate1.cc | 4 +-
tests/Grid/congruence1.cc | 4 +-
tests/Grid/congruences1.cc | 6 +-
tests/Grid/congruences2.cc | 4 +-
tests/Grid/constraints1.cc | 4 +-
tests/Grid/contains1.cc | 4 +-
tests/Grid/containsintegerpoint1.cc | 4 +-
tests/Grid/discrete1.cc | 4 +-
tests/Grid/disjoint1.cc | 4 +-
tests/Grid/dropnonintegerpoints1.cc | 4 +-
tests/Grid/equals1.cc | 4 +-
tests/Grid/expandspacedim1.cc | 4 +-
tests/Grid/foldspacedims1.cc | 4 +-
tests/Grid/frequency1.cc | 4 +-
tests/Grid/frombdshape1.cc | 4 +-
tests/Grid/frombox1.cc | 4 +-
tests/Grid/fromgrid1.cc | 4 +-
tests/Grid/fromoctagonalshape1.cc | 4 +-
tests/Grid/frompolyhedron1.cc | 4 +-
tests/Grid/generalizedaffineimage1.cc | 4 +-
tests/Grid/generalizedaffineimage2.cc | 4 +-
tests/Grid/generalizedaffineimage3.cc | 4 +-
tests/Grid/generalizedaffinepreimage1.cc | 4 +-
tests/Grid/generalizedaffinepreimage2.cc | 4 +-
tests/Grid/generalizedaffinepreimage3.cc | 4 +-
tests/Grid/generator1.cc | 4 +-
tests/Grid/generators1.cc | 8 +-
tests/Grid/generators2.cc | 6 +-
tests/Grid/grid1.cc | 4 +-
tests/Grid/grid2.cc | 4 +-
tests/Grid/grid3.cc | 4 +-
tests/Grid/griddifference1.cc | 4 +-
tests/Grid/intersection1.cc | 4 +-
tests/Grid/isempty1.cc | 4 +-
tests/Grid/isuniverse1.cc | 4 +-
tests/Grid/limitedextrapolation1.cc | 4 +-
tests/Grid/limitedextrapolation2.cc | 4 +-
tests/Grid/limitedextrapolation3.cc | 4 +-
tests/Grid/mapspacedims1.cc | 4 +-
tests/Grid/maxmin1.cc | 4 +-
tests/Grid/membytes1.cc | 4 +-
tests/Grid/mincongruences1.cc | 4 +-
tests/Grid/mingenerators1.cc | 4 +-
tests/Grid/outputoperator1.cc | 4 +-
tests/Grid/outputoperator2.cc | 4 +-
tests/Grid/outputoperator3.cc | 4 +-
tests/Grid/partition1.cc | 4 +-
tests/Grid/powersetdifference1.cc | 4 +-
tests/Grid/powersetgeometricallycovers1.cc | 4 +-
tests/Grid/powersetgeometricallyequals1.cc | 4 +-
tests/Grid/refinewithcongruences1.cc | 4 +-
tests/Grid/refinewithconstraints1.cc | 4 +-
tests/Grid/relations1.cc | 4 +-
tests/Grid/relations2.cc | 4 +-
tests/Grid/relations3.cc | 28 +-
tests/Grid/removespacedims1.cc | 4 +-
tests/Grid/removespacedims2.cc | 4 +-
tests/Grid/simplifyusingcontext1.cc | 4 +-
tests/Grid/timeelapse1.cc | 4 +-
tests/Grid/topclosed1.cc | 4 +-
tests/Grid/topclosure1.cc | 4 +-
tests/Grid/unconstrain1.cc | 4 +-
tests/Grid/upperbound1.cc | 4 +-
tests/Grid/upperbound2.cc | 4 +-
tests/Grid/widening1.cc | 4 +-
tests/Grid/widening2.cc | 4 +-
tests/Grid/widening3.cc | 4 +-
tests/Grid/wrap1.cc | 6 +-
tests/Grid/writecongruencesystem.cc | 4 +-
tests/MIP_Problem/Makefile.am | 29 +-
tests/MIP_Problem/Makefile.in | 181 +-
tests/MIP_Problem/ascii_dump_load1.cc | 4 +-
tests/MIP_Problem/exceptions1.cc | 4 +-
tests/MIP_Problem/mipproblem1.cc | 26 +-
tests/MIP_Problem/mipproblem2.cc | 15 +-
tests/MIP_Problem/mipproblem3.cc | 4 +-
tests/MIP_Problem/mipproblem4.cc | 41 +
tests/Makefile.am | 10 +-
tests/Makefile.in | 105 +-
tests/Octagonal_Shape/Makefile.am | 5 +-
tests/Octagonal_Shape/Makefile.in | 237 +-
tests/Octagonal_Shape/addspacedims1.cc | 4 +-
tests/Octagonal_Shape/affinedimension1.cc | 4 +-
tests/Octagonal_Shape/affineimage1.cc | 4 +-
tests/Octagonal_Shape/affineimage2.cc | 4 +-
tests/Octagonal_Shape/affinepreimage1.cc | 4 +-
tests/Octagonal_Shape/affinepreimage2.cc | 4 +-
tests/Octagonal_Shape/ascii_dump_load1.cc | 4 +-
tests/Octagonal_Shape/bhmz05widening1.cc | 4 +-
tests/Octagonal_Shape/bhz03widening1.cc | 4 +-
tests/Octagonal_Shape/bounded1.cc | 6 +-
tests/Octagonal_Shape/boundedaffineimage1.cc | 4 +-
tests/Octagonal_Shape/boundedaffinepreimage1.cc | 4 +-
tests/Octagonal_Shape/bounds1.cc | 4 +-
tests/Octagonal_Shape/cc76extrapolation1.cc | 4 +-
tests/Octagonal_Shape/cc76narrowing1.cc | 4 +-
tests/Octagonal_Shape/chinainit.cc | 4 +-
tests/Octagonal_Shape/concatenate1.cc | 4 +-
tests/Octagonal_Shape/congruences1.cc | 4 +-
tests/Octagonal_Shape/constrains1.cc | 4 +-
tests/Octagonal_Shape/constraints1.cc | 4 +-
tests/Octagonal_Shape/contains1.cc | 33 +-
tests/Octagonal_Shape/containsintegerpoint1.cc | 4 +-
tests/Octagonal_Shape/difference1.cc | 4 +-
tests/Octagonal_Shape/discrete1.cc | 4 +-
tests/Octagonal_Shape/disjoint1.cc | 4 +-
tests/Octagonal_Shape/dropsomenonintegerpoints1.cc | 4 +-
tests/Octagonal_Shape/empty1.cc | 4 +-
tests/Octagonal_Shape/expandspacedim1.cc | 4 +-
tests/Octagonal_Shape/foldspacedims1.cc | 4 +-
tests/Octagonal_Shape/frequency1.cc | 4 +-
tests/Octagonal_Shape/frombdshape1.cc | 4 +-
tests/Octagonal_Shape/frombox1.cc | 4 +-
tests/Octagonal_Shape/fromgensys1.cc | 4 +-
tests/Octagonal_Shape/fromgrid1.cc | 4 +-
tests/Octagonal_Shape/fromoctagonalshape1.cc | 4 +-
tests/Octagonal_Shape/frompolyhedron1.cc | 4 +-
tests/Octagonal_Shape/fromspacedim1.cc | 4 +-
tests/Octagonal_Shape/generalizedaffineimage1.cc | 4 +-
tests/Octagonal_Shape/generalizedaffineimage2.cc | 4 +-
tests/Octagonal_Shape/generalizedaffineimage3.cc | 4 +-
tests/Octagonal_Shape/generalizedaffineimage4.cc | 4 +-
tests/Octagonal_Shape/generalizedaffineimage5.cc | 4 +-
.../Octagonal_Shape/generalizedaffinepreimage1.cc | 4 +-
.../Octagonal_Shape/generalizedaffinepreimage2.cc | 4 +-
.../Octagonal_Shape/generalizedaffinepreimage3.cc | 4 +-
.../Octagonal_Shape/generalizedaffinepreimage4.cc | 4 +-
tests/Octagonal_Shape/integerupperboundifexact1.cc | 4 +-
tests/Octagonal_Shape/intersection1.cc | 4 +-
.../Octagonal_Shape/limitedbhmz05extrapolation1.cc | 4 +-
tests/Octagonal_Shape/limitedcc76extrapolation1.cc | 4 +-
tests/Octagonal_Shape/mapspacedims1.cc | 4 +-
tests/Octagonal_Shape/max_min1.cc | 4 +-
tests/Octagonal_Shape/max_min2.cc | 4 +-
tests/Octagonal_Shape/maxspacedim1.cc | 4 +-
tests/Octagonal_Shape/membytes1.cc | 4 +-
tests/Octagonal_Shape/minconstraints1.cc | 4 +-
tests/Octagonal_Shape/relatwithcons1.cc | 4 +-
tests/Octagonal_Shape/relatwithcons2.cc | 5 +-
tests/Octagonal_Shape/relatwithcons3.cc | 4 +-
tests/Octagonal_Shape/relatwithgen1.cc | 5 +-
tests/Octagonal_Shape/removespacedims1.cc | 4 +-
tests/Octagonal_Shape/run_tests | 4 +-
tests/Octagonal_Shape/simplifyusingcontext1.cc | 4 +-
tests/Octagonal_Shape/timeelapse1.cc | 4 +-
tests/Octagonal_Shape/unconstrain1.cc | 4 +-
tests/Octagonal_Shape/universe1.cc | 4 +-
tests/Octagonal_Shape/upperbound1.cc | 4 +-
tests/Octagonal_Shape/upperboundifexact1.cc | 4 +-
tests/Octagonal_Shape/wrap1.cc | 4 +-
tests/Octagonal_Shape/writeoctagon1.cc | 4 +-
tests/PIP_Problem/Makefile.am | 14 +-
tests/PIP_Problem/Makefile.in | 133 +-
tests/PIP_Problem/ascii_dump_load1.cc | 4 +-
tests/PIP_Problem/exceptions1.cc | 4 +-
tests/PIP_Problem/pipproblem1.cc | 4 +-
tests/PIP_Problem/pipproblem2.cc | 8 +-
tests/PIP_Problem/pipproblem3.cc | 24 +-
tests/PIP_Problem/weightwatch1.cc | 187 +
tests/Partially_Reduced_Product/Makefile.am | 10 +-
tests/Partially_Reduced_Product/Makefile.in | 256 +-
tests/Partially_Reduced_Product/addcongruences1.cc | 4 +-
tests/Partially_Reduced_Product/affineimage1.cc | 4 +-
tests/Partially_Reduced_Product/asciidumpload1.cc | 4 +-
tests/Partially_Reduced_Product/bounded1.cc | 4 +-
.../boundedaffineimage1.cc | 4 +-
tests/Partially_Reduced_Product/bounds1.cc | 4 +-
tests/Partially_Reduced_Product/concatenate1.cc | 4 +-
tests/Partially_Reduced_Product/congruences1.cc | 4 +-
.../congruencesproduct1.cc | 4 +-
tests/Partially_Reduced_Product/constraints1.cc | 4 +-
.../constraintsproduct1.cc | 4 +-
tests/Partially_Reduced_Product/contains1.cc | 4 +-
tests/Partially_Reduced_Product/difference1.cc | 4 +-
tests/Partially_Reduced_Product/dimension1.cc | 4 +-
tests/Partially_Reduced_Product/directproduct1.cc | 4 +-
tests/Partially_Reduced_Product/discrete1.cc | 4 +-
tests/Partially_Reduced_Product/disjoint1.cc | 4 +-
.../dropsomenonintegerpoints1.cc | 4 +-
tests/Partially_Reduced_Product/equals1.cc | 4 +-
tests/Partially_Reduced_Product/frombdshape1.cc | 4 +-
tests/Partially_Reduced_Product/frombox1.cc | 4 +-
tests/Partially_Reduced_Product/fromgrid1.cc | 4 +-
.../fromoctagonalshape1.cc | 4 +-
tests/Partially_Reduced_Product/frompolyhedron1.cc | 4 +-
tests/Partially_Reduced_Product/fromproduct1.cc | 4 +-
.../generalizedaffineimage1.cc | 4 +-
tests/Partially_Reduced_Product/intersection1.cc | 4 +-
tests/Partially_Reduced_Product/isempty1.cc | 4 +-
tests/Partially_Reduced_Product/isuniverse1.cc | 4 +-
tests/Partially_Reduced_Product/maxmin1.cc | 4 +-
.../partially_reduced_product_test.hh | 4 +-
.../refinewithcongruences1.cc | 4 +-
.../refinewithconstraints1.cc | 4 +-
tests/Partially_Reduced_Product/relations1.cc | 4 +-
.../shapepreservingproduct1.cc | 4 +-
tests/Partially_Reduced_Product/smashproduct1.cc | 4 +-
tests/Partially_Reduced_Product/spacedims1.cc | 4 +-
tests/Partially_Reduced_Product/timeelapse1.cc | 4 +-
tests/Partially_Reduced_Product/topclosed1.cc | 4 +-
tests/Partially_Reduced_Product/topclosure1.cc | 4 +-
tests/Partially_Reduced_Product/upperbound1.cc | 4 +-
tests/Polyhedron/Makefile.am | 76 +-
tests/Polyhedron/Makefile.in | 1475 +-
tests/Polyhedron/addcongruence1.cc | 4 +-
tests/Polyhedron/addcongruences1.cc | 4 +-
tests/Polyhedron/addconstraint1.cc | 4 +-
tests/Polyhedron/addconstraints1.cc | 4 +-
tests/Polyhedron/addconstraints2.cc | 4 +-
tests/Polyhedron/addgenerator1.cc | 4 +-
tests/Polyhedron/addgenerator2.cc | 4 +-
tests/Polyhedron/addgenerators1.cc | 4 +-
tests/Polyhedron/addgenerators2.cc | 4 +-
tests/Polyhedron/addspacedims1.cc | 4 +-
tests/Polyhedron/addspacedims2.cc | 4 +-
tests/Polyhedron/affineimage1.cc | 4 +-
tests/Polyhedron/affineimage2.cc | 6 +-
tests/Polyhedron/affinepreimage1.cc | 4 +-
tests/Polyhedron/affinetrans.cc | 4 +-
tests/Polyhedron/append1.cc | 4 +-
tests/Polyhedron/append2.cc | 4 +-
tests/Polyhedron/ascii_dump_load1.cc | 4 +-
tests/Polyhedron/ascii_dump_load2.cc | 4 +-
tests/Polyhedron/ascii_dump_load3.cc | 4 +-
tests/Polyhedron/bgp99extrapolation1.cc | 8 +-
tests/Polyhedron/bgp99extrapolation2.cc | 4 +-
tests/Polyhedron/bhrz03widening1.cc | 4 +-
tests/Polyhedron/bhrz03widening2.cc | 4 +-
tests/Polyhedron/bhrz03widening3.cc | 4 +-
tests/Polyhedron/bhz03widening1.cc | 12 +-
tests/Polyhedron/bounded1.cc | 4 +-
tests/Polyhedron/boundedaffineimage1.cc | 4 +-
tests/Polyhedron/boundedaffinepreimage1.cc | 4 +-
tests/Polyhedron/boundedbhrz03extrapolation1.cc | 6 +-
tests/Polyhedron/boundedh79extrapolation1.cc | 10 +-
tests/Polyhedron/bounds1.cc | 4 +-
tests/Polyhedron/cnncconversion1.cc | 4 +-
tests/Polyhedron/concatenate1.cc | 4 +-
tests/Polyhedron/congruences1.cc | 4 +-
tests/Polyhedron/constrains1.cc | 4 +-
tests/Polyhedron/constraints1.cc | 4 +-
tests/Polyhedron/contains1.cc | 4 +-
tests/Polyhedron/contains2.cc | 4 +-
tests/Polyhedron/containsintegerpoint1.cc | 4 +-
tests/Polyhedron/disjoint1.cc | 4 +-
tests/Polyhedron/disjoint2.cc | 4 +-
tests/Polyhedron/dropsomenonintegerpoints1.cc | 4 +-
tests/Polyhedron/dropsomenonintegerpoints2.cc | 4 +-
tests/Polyhedron/dualhypercubes.cc | 4 +-
tests/Polyhedron/empty1.cc | 4 +-
tests/Polyhedron/equals1.cc | 4 +-
tests/Polyhedron/exceptions1.cc | 4 +-
tests/Polyhedron/exceptions2.cc | 6 +-
tests/Polyhedron/exceptions3.cc | 4 +-
tests/Polyhedron/expandspacedim1.cc | 4 +-
tests/Polyhedron/expandspacedim2.cc | 4 +-
tests/Polyhedron/foldspacedims1.cc | 4 +-
tests/Polyhedron/foldspacedims2.cc | 4 +-
tests/Polyhedron/frequency1.cc | 4 +-
tests/Polyhedron/frombdshape1.cc | 4 +-
tests/Polyhedron/frombox1.cc | 4 +-
tests/Polyhedron/frombox2.cc | 4 +-
tests/Polyhedron/fromgrid1.cc | 4 +-
tests/Polyhedron/fromoctagonalshape1.cc | 4 +-
tests/Polyhedron/generalizedaffineimage1.cc | 4 +-
tests/Polyhedron/generalizedaffineimage2.cc | 6 +-
tests/Polyhedron/generalizedaffinepreimage1.cc | 4 +-
tests/Polyhedron/generalizedaffinepreimage2.cc | 4 +-
tests/Polyhedron/generators1.cc | 4 +-
tests/Polyhedron/geomcovers1.cc | 4 +-
tests/Polyhedron/h79widening1.cc | 4 +-
tests/Polyhedron/h79widening2.cc | 4 +-
tests/Polyhedron/hybrid.cc | 4 +-
tests/Polyhedron/intersection1.cc | 4 +-
tests/Polyhedron/limitedbhrz03extrapolation1.cc | 4 +-
tests/Polyhedron/limitedh79extrapolation1.cc | 4 +-
tests/Polyhedron/linearexpression1.cc | 4 +-
tests/Polyhedron/linearpartition1.cc | 4 +-
tests/Polyhedron/linearsystem1.cc | 30 +-
tests/Polyhedron/mapspacedims1.cc | 4 +-
tests/Polyhedron/matrix1.cc | 261 +-
tests/Polyhedron/max_min1.cc | 4 +-
tests/Polyhedron/maxspacedim1.cc | 4 +-
tests/Polyhedron/mc91.cc | 4 +-
tests/Polyhedron/membytes1.cc | 4 +-
tests/Polyhedron/memory1.cc | 4 +-
tests/Polyhedron/memory2.cc | 6 +-
tests/Polyhedron/minconstraints1.cc | 4 +-
tests/Polyhedron/minconstraints2.cc | 4 +-
tests/Polyhedron/mingenerators1.cc | 4 +-
tests/Polyhedron/mingenerators2.cc | 4 +-
tests/Polyhedron/nncminimize1.cc | 4 +-
tests/Polyhedron/nncminimize2.cc | 4 +-
tests/Polyhedron/numberinput1.cc | 4 +-
tests/Polyhedron/onepoint.cc | 4 +-
tests/Polyhedron/permute.cc | 4 +-
tests/Polyhedron/polydifference1.cc | 4 +-
tests/Polyhedron/polydifference2.cc | 4 +-
tests/Polyhedron/polyhull1.cc | 4 +-
tests/Polyhedron/polyhull2.cc | 4 +-
tests/Polyhedron/polyhullifexact1.cc | 4 +-
tests/Polyhedron/polyhullifexact2.cc | 4 +-
tests/Polyhedron/randphull1.cc | 5 +-
tests/Polyhedron/refinewithcongruence1.cc | 4 +-
tests/Polyhedron/refinewithcongruences1.cc | 4 +-
tests/Polyhedron/refinewithconstraint1.cc | 4 +-
tests/Polyhedron/refinewithconstraints1.cc | 4 +-
tests/Polyhedron/relations1.cc | 4 +-
tests/Polyhedron/relations2.cc | 4 +-
tests/Polyhedron/relations3.cc | 4 +-
tests/Polyhedron/removespacedims1.cc | 4 +-
tests/Polyhedron/removespacedims2.cc | 36 +-
tests/Polyhedron/simplifyusingcontext1.cc | 4 +-
tests/Polyhedron/smm1.cc | 4 +-
tests/Polyhedron/sparserow1.cc | 626 +
tests/Polyhedron/termination1.cc | 4 +-
tests/Polyhedron/termination2.cc | 4 +-
tests/Polyhedron/timeelapse1.cc | 4 +-
tests/Polyhedron/timeelapse2.cc | 4 +-
tests/Polyhedron/topclosed1.cc | 4 +-
tests/Polyhedron/topclosure1.cc | 4 +-
tests/Polyhedron/unconstrain1.cc | 4 +-
tests/Polyhedron/universe1.cc | 4 +-
tests/Polyhedron/universe2.cc | 4 +-
tests/Polyhedron/variablesset1.cc | 4 +-
tests/Polyhedron/watchdog1.cc | 22 +-
tests/Polyhedron/weightwatch1.cc | 9 +-
tests/Polyhedron/wrap1.cc | 4 +-
tests/Polyhedron/wrap2.cc | 4 +-
tests/Polyhedron/writeconsys1.cc | 4 +-
tests/Polyhedron/writegensys1.cc | 4 +-
tests/Polyhedron/writepolyhedron1.cc | 4 +-
tests/Polyhedron/writepolyhedron2.cc | 4 +-
tests/Polyhedron/writerelation1.cc | 4 +-
tests/Polyhedron/writevariable1.cc | 6 +-
tests/Powerset/Makefile.am | 10 +-
tests/Powerset/Makefile.in | 186 +-
tests/Powerset/addcongruences1.cc | 4 +-
tests/Powerset/addconstraints1.cc | 4 +-
tests/Powerset/affinedimension1.cc | 4 +-
tests/Powerset/affineimage1.cc | 4 +-
tests/Powerset/affinepreimage1.cc | 4 +-
tests/Powerset/bounded1.cc | 4 +-
tests/Powerset/bounds1.cc | 4 +-
tests/Powerset/closed1.cc | 4 +-
tests/Powerset/closure1.cc | 4 +-
tests/Powerset/collapse1.cc | 4 +-
tests/Powerset/concatenate1.cc | 4 +-
tests/Powerset/contains1.cc | 4 +-
tests/Powerset/containsintegerpoint1.cc | 4 +-
tests/Powerset/difference1.cc | 4 +-
tests/Powerset/discrete1.cc | 4 +-
tests/Powerset/disjoint1.cc | 4 +-
tests/Powerset/disjunct1.cc | 4 +-
tests/Powerset/empty1.cc | 8 +-
tests/Powerset/entails1.cc | 4 +-
tests/Powerset/equals1.cc | 4 +-
tests/Powerset/frombdshape1.cc | 4 +-
tests/Powerset/frombox1.cc | 4 +-
tests/Powerset/fromcongruences1.cc | 4 +-
tests/Powerset/fromconstraints1.cc | 4 +-
tests/Powerset/fromgrid1.cc | 4 +-
tests/Powerset/fromoctagonalshape1.cc | 4 +-
tests/Powerset/frompolyhedron1.cc | 4 +-
tests/Powerset/fromspacedimension1.cc | 4 +-
tests/Powerset/intersection1.cc | 4 +-
tests/Powerset/maxmin1.cc | 4 +-
tests/Powerset/meet1.cc | 4 +-
tests/Powerset/membytes1.cc | 4 +-
tests/Powerset/powerset1.cc | 8 +-
tests/Powerset/reduce1.cc | 4 +-
tests/Powerset/refinewith1.cc | 4 +-
tests/Powerset/relationwith1.cc | 4 +-
tests/Powerset/simplifyusingcontext1.cc | 6 +-
tests/Powerset/size1.cc | 4 +-
tests/Powerset/spacedims1.cc | 4 +-
tests/Powerset/universe1.cc | 4 +-
tests/Powerset/upperbound1.cc | 4 +-
tests/README | 21 +-
tests/Random_Number_Generator.defs.hh | 4 +-
tests/Random_Number_Generator.inlines.hh | 7 +-
tests/Random_Number_Generator.types.hh | 2 +-
tests/Watchdog/Makefile.am | 70 +
tests/Watchdog/Makefile.in | 744 +
tests/Watchdog/watchdog1.cc | 78 +
tests/files.cc | 4 +-
tests/files.hh | 4 +-
tests/ppl_test.cc | 6 +-
tests/ppl_test.hh | 58 +-
utils/Makefile.am | 4 +-
utils/Makefile.in | 99 +-
utils/build_header.in | 4 +-
utils/cm_cleaner.sh | 4 +-
utils/cm_splitter.sh | 4 +-
utils/text2cxxarray.in | 40 +-
utils/timings.cc | 45 +-
utils/timings.hh | 4 +-
1573 files changed, 389947 insertions(+), 322986 deletions(-)
diff --cc debian/changelog
index f846f6e,0000000..61eb935
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,359 -1,0 +1,365 @@@
++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 (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 70dc9d0,0000000..7a048fd
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,151 -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
- Build-Depends: debhelper (>= 6.0.7~), libgmp-dev, autoconf, libtool, autotools-dev, swi-prolog [!hurd-i386 !mips], chrpath,
++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: libppl9
++Package: libppl12
+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.11-dev
++Package: libppl0.12-dev
+Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Section: libdevel
- Depends: libppl9 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
++Depends: libppl12 (= ${binary:Version}), libppl-c4 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
+Provides: libppl-c-dev, libppl-dev
+Recommends: libgmp3-dev (>= 4.1.3)
+Replaces: libppl6, libppl7 (<< 0.10~pre27-4), libppl9
- Conflicts: libppl0.10-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.11-dev (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
- Replaces: libppl0.11-dev (<< 0.11.2-8~)
++Depends: libppl0.12-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: libppl9 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
++Depends: libppl12 (= ${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: libpwl5
- Architecture: any
- Multi-Arch: same
- Pre-Depends: ${misc:Pre-Depends}
- Depends: ${shlibs:Depends}, ${misc:Depends}
- Provides: libppl-pwl
- Description: Parma Watchdog Library (Watchdog timers - runtime library)
- The Parma Watchdog Library (PWL) provides support for multiple,
- concurrent watchdog timers on systems providing setitimer(2). The
- PWL is currently distributed with the Parma Polyhedra Library (PPL),
- but is totally independent from it.
-
- Package: libpwl-dev
- Architecture: any
- Multi-Arch: same
- Pre-Depends: ${misc:Pre-Depends}
- Section: libdevel
- Depends: libpwl5 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}
- Provides: libppl-pwl-dev
- Replaces: libpwl3, libpwl4
- Description: Parma Watchdog Library (Watchdog timers - development)
- The Parma Watchdog Library (PWL) provides support for multiple,
- concurrent watchdog timers on systems providing setitimer(2). The
- PWL is currently distributed with the Parma Polyhedra Library (PPL),
- but is totally independent from it.
- .
- This package provides the header files and static libraries.
-
+Package: libppl-doc
+Architecture: all
+Section: doc
- Depends: ${misc:Depends}
++Depends: ${misc:Depends}, libjs-query
+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: alpha amd64 armel hppa i386 ia64 kfreebsd-amd64 kfreebsd-i386 mipsel powerpc s390 sparc
++Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
- Depends: libppl9 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends}, swi-prolog
++Depends: libppl12 (= ${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/copyright
index 89ad9e3,0000000..ae63f00
mode 100644,000000..100644
--- a/debian/copyright
+++ b/debian/copyright
@@@ -1,124 -1,0 +1,124 @@@
+This is Debian GNU's prepackaged version of the Parma Polyhedra Library (PPL):
+a C++ library for the manipulation of numerical abstractions.
+
+This package has seen its final preparation for Debian by Michael Tautschnig
+<mt at debian.org> using the sources obtained from
+ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz
+
+Program Copyright (C) 2001-2006 Roberto Bagnara <bagnara at cs.unipr.it>
+Modifications for Debian Copyright (C) 2008 Michael Tautschnig <mt at debian.org>
+and Arthur Loiret <arthur.loiret at gmail.com>.
+
+Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
+for the complete list of authors.
+
+License:
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+
+On Debian systems, the complete text of the GNU General
+Public License can be found in `/usr/share/common-licenses/GPL-3'
+
+This is the Debian GNU/Linux prepackaged version of the Parma
+Polyhedra Library (PPL): a C++ library for the manipulation of
+numerical abstractions.
+
+For the most up-to-date information see the Parma Polyhedra Library
+site: http://www.cs.unipr.it/ppl/
+
+The documentation of the PPL is licensed under the GNU Free Documentation
+License (v1.2).
+
+On Debian systems, the complete text of the GNU Free Documentation
+License, version 1.2, can be found in /usr/share/common-licenses/GFDL-1.2.
+
+To some files (listed below), a license as follows applies:
+
+Copyright (C) 2001-2006 Roberto Bagnara <bagnara at cs.unipr.it>
+
+This file is free software; as a special exception the author gives
+unlimited permission to copy and/or distribute it, with or without
+modifications, as long as this notice is preserved.
+
+This program is distributed in the hope that it will be useful, but
+WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
+implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+PURPOSE.
+
+This license applies to:
+
+src/Linear_Expression.types.hh
+src/Coefficient_traits_template.hh
+src/Poly_Gen_Relation.types.hh
+src/C_Polyhedron.types.hh
+src/GMP_Integer.types.hh
+src/Ptr_Iterator.types.hh
+src/Variable.types.hh
+src/Linear_System.types.hh
+src/Constraint_System.types.hh
+src/Linear_Row.types.hh
+src/Grid_Certificate.types.hh
+src/DB_Row.types.hh
+src/BHRZ03_Certificate.types.hh
+src/Polyhedron.types.hh
+src/fpu.types.hh
+src/Determinate.types.hh
+src/Coefficient.types.hh
+src/Grid_Generator.types.hh
+src/Congruence_System.types.hh
+src/globals.types.hh
+src/Grid_Generator_System.types.hh
+src/Interval.types.hh
+src/Scalar_Products.types.hh
+src/Generator_System.types.hh
+src/Powerset.types.hh
+src/Congruence.types.hh
+src/Checked_Number.types.hh
+src/Constraint.types.hh
+src/NNC_Polyhedron.types.hh
+src/Topology.hh
+src/Init.types.hh
+src/Widening_Function.types.hh
+src/Matrix.types.hh
+src/H79_Certificate.types.hh
+src/Generator.types.hh
+src/DB_Matrix.types.hh
+src/BD_Shape.types.hh
+src/Row.types.hh
+src/Grid.types.hh
+src/Poly_Con_Relation.types.hh
+tests/Partial_Function.types.hh
+tests/Random_Number_Generator.types.hh
- Watchdog/src/Pending_Element.types.hh
- Watchdog/src/EList_Iterator.types.hh
- Watchdog/src/EList.types.hh
- Watchdog/src/Handler.types.hh
- Watchdog/src/Time.types.hh
- Watchdog/src/Doubly_Linked_Object.types.hh
- Watchdog/src/Watchdog.types.hh
- Watchdog/src/Pending_List.types.hh
++src/Pending_Element.types.hh
++src/EList_Iterator.types.hh
++src/EList.types.hh
++src/Handler.types.hh
++src/Time.types.hh
++src/Doubly_Linked_Object.types.hh
++src/Watchdog.types.hh
++src/Pending_List.types.hh
+src/OR_Matrix.types.hh
+src/Interval_Info.types.hh
+src/Bit_Row.types.hh
+src/Pointset_Powerset.types.hh
+src/iterator_to_const.types.hh
+src/MIP_Problem.types.hh
+src/stdiobuf.types.hh
+src/Partially_Reduced_Product.types.hh
+src/distances.types.hh
+src/Octagonal_Shape.types.hh
+src/Box.types.hh
+src/Bit_Matrix.types.hh
+src/Variables_Set.types.hh
+
diff --cc debian/libppl-c4.links
index 60c7b5a,0000000..88a8ccd
mode 100644,000000..100644
--- a/debian/libppl-c4.links
+++ b/debian/libppl-c4.links
@@@ -1,1 -1,0 +1,1 @@@
- usr/share/doc/libppl9 usr/share/doc/libppl-c4
++usr/share/doc/libppl12 usr/share/doc/libppl-c4
diff --cc debian/libppl-swi.install
index 4c9ed6f,0000000..f2215ee
mode 100644,000000..100644
--- a/debian/libppl-swi.install
+++ b/debian/libppl-swi.install
@@@ -1,3 -1,0 +1,3 @@@
+usr/lib/*/ppl/libppl_swiprolog.so
+usr/lib/*/ppl/libppl_swiprolog.a
- usr/lib/*/ppl/ppl_swiprolog.*
++usr/share/ppl/ppl_swiprolog.*
diff --cc debian/libppl-swi.links
index 0b42e87,0000000..24ed755
mode 100644,000000..100644
--- a/debian/libppl-swi.links
+++ b/debian/libppl-swi.links
@@@ -1,1 -1,0 +1,1 @@@
- usr/share/doc/libppl9 usr/share/doc/libppl-swi
++usr/share/doc/libppl12 usr/share/doc/libppl-swi
diff --cc debian/libppl0.12-dev.dirs
index 4141450,0000000..4141450
mode 100644,000000..100644
--- a/debian/libppl0.12-dev.dirs
+++ b/debian/libppl0.12-dev.dirs
diff --cc debian/libppl0.12-dev.docs
index 0363680,0000000..0363680
mode 100644,000000..100644
--- a/debian/libppl0.12-dev.docs
+++ b/debian/libppl0.12-dev.docs
diff --cc debian/libppl0.12-dev.install
index 03685cf,0000000..03685cf
mode 100644,000000..100644
--- a/debian/libppl0.12-dev.install
+++ b/debian/libppl0.12-dev.install
diff --cc debian/libppl12.dirs
index 6845771,0000000..6845771
mode 100644,000000..100644
--- a/debian/libppl12.dirs
+++ b/debian/libppl12.dirs
diff --cc debian/libppl12.docs
index cf38778,0000000..cf38778
mode 100644,000000..100644
--- a/debian/libppl12.docs
+++ b/debian/libppl12.docs
diff --cc debian/libppl12.install
index a6f0863,0000000..a6f0863
mode 100644,000000..100644
--- a/debian/libppl12.install
+++ b/debian/libppl12.install
diff --cc debian/libpwl-dev/usr/share/doc/libpwl-dev/changelog.Debian
index 0000000,0000000..4bcd67e
new file mode 100644
--- /dev/null
+++ b/debian/libpwl-dev/usr/share/doc/libpwl-dev/changelog.Debian
@@@ -1,0 -1,0 +1,365 @@@
++ppl (1.0-1) experimental; urgency=low
++
++ * New upstream version.
++
++ -- Matthias Klose <doko at debian.org> Sun, 27 Jan 2013 23:15:02 +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/libpwl5/usr/share/doc/libpwl5/changelog.Debian
index 0000000,0000000..4bcd67e
new file mode 100644
--- /dev/null
+++ b/debian/libpwl5/usr/share/doc/libpwl5/changelog.Debian
@@@ -1,0 -1,0 +1,365 @@@
++ppl (1.0-1) experimental; urgency=low
++
++ * New upstream version.
++
++ -- Matthias Klose <doko at debian.org> Sun, 27 Jan 2013 23:15:02 +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/patches/local_changes.diff
index 48bf0a9,0000000..650dd40
mode 100644,000000..100644
--- a/debian/patches/local_changes.diff
+++ b/debian/patches/local_changes.diff
@@@ -1,297 -1,0 +1,48 @@@
- Description: <short summary of the patch>
- TODO: Put a short summary on the line above and replace this paragraph
- with a longer explanation of this change. Complete the meta-information
- with other relevant fields (see below for details). To make it easier, the
- information below has been extracted from the changelog. Adjust it or drop
- it.
- .
- 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.
- Author: Matthias Klose <doko at debian.org>
- Bug-Debian: http://bugs.debian.org/643253
-
- ---
- The information above should follow the Patch Tagging Guidelines, please
- checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
- are templates for supplementary fields that you might want to add:
-
- Origin: <vendor|upstream|other>, <url of original patch>
- Bug: <url in upstream bugtracker>
- Bug-Debian: http://bugs.debian.org/<bugnumber>
- Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
- Forwarded: <no|not-needed|url proving that it has been forwarded>
- Reviewed-By: <name and email of someone who approved the patch>
- Last-Update: <YYYY-MM-DD>
-
- --- ppl-0.11.2.orig/Watchdog/tests/pwl_test.hh
- +++ ppl-0.11.2/Watchdog/tests/pwl_test.hh
- @@ -118,12 +118,16 @@ catch (const std::exception& e) { \
- #define DO_TEST(test) \
- ANNOUNCE_TEST(test); \
- RUN_TEST(test); \
- + /* dummy use to make gcc happy */ \
- + overflow = overflow; \
- if (!succeeded) \
- failed_tests.push_back(#test);
-
- #define DO_TEST_F(test) \
- ANNOUNCE_TEST(test); \
- RUN_TEST(test); \
- + /* dummy use to make gcc happy */ \
- + overflow = overflow; \
- if (succeeded) \
- failed_tests.push_back(#test);
-
- --- ppl-0.11.2.orig/src/wrap_assign.hh
- +++ ppl-0.11.2/src/wrap_assign.hh
- @@ -123,8 +123,8 @@ wrap_assign_col(PSET& dest,
- PSET p(src);
- if (pcs != 0)
- p.refine_with_constraints(*pcs);
- - for (Variables_Set::const_iterator i = vars.begin(),
- - vars_end = vars.end(); i != vars.end(); ++i) {
- + for (Variables_Set::const_iterator i = vars.begin();
- + i != vars.end(); ++i) {
- const Variable x = Variable(*i);
- p.refine_with_constraint(min_value <= x);
- p.refine_with_constraint(x <= max_value);
- --- ppl-0.11.2.orig/src/Interval.templates.hh
- +++ ppl-0.11.2/src/Interval.templates.hh
- @@ -33,7 +33,7 @@ template <typename C>
- typename Enable_If<Is_Same_Or_Derived<I_Constraint_Base, C>::value, I_Result>::type
- Interval<Boundary, Info>::lower_extend(const C& c) {
- PPL_ASSERT(OK());
- - bool open;
- + bool open = false;
- switch (c.rel()) {
- case V_LGE:
- return lower_extend();
- @@ -59,7 +59,7 @@ template <typename C>
- typename Enable_If<Is_Same_Or_Derived<I_Constraint_Base, C>::value, I_Result>::type
- Interval<Boundary, Info>::upper_extend(const C& c) {
- PPL_ASSERT(OK());
- - bool open;
- + bool open = false;
- switch (c.rel()) {
- case V_LGE:
- return lower_extend();
- --- ppl-0.11.2.orig/src/Interval.inlines.hh
- +++ ppl-0.11.2/src/Interval.inlines.hh
- @@ -342,9 +342,8 @@ Interval<To_Boundary, To_Info>::intersec
- PPL_ASSERT(f_OK(x));
- if (!intersect_restriction(info(), *this, x))
- return assign(EMPTY);
- - Result rl, ru;
- - rl = max_assign(LOWER, lower(), info(), LOWER, f_lower(x), f_info(x));
- - ru = min_assign(UPPER, upper(), info(), UPPER, f_upper(x), f_info(x));
- + max_assign(LOWER, lower(), info(), LOWER, f_lower(x), f_info(x));
- + min_assign(UPPER, upper(), info(), UPPER, f_upper(x), f_info(x));
- PPL_ASSERT(OK());
- return I_ANY;
- }
- --- ppl-0.11.2.orig/src/Grid_public.cc
- +++ ppl-0.11.2/src/Grid_public.cc
- @@ -2734,8 +2734,8 @@ PPL::Grid::wrap_assign(const Variables_S
- PPL_DIRTY_TEMP_COEFFICIENT(f_d);
- PPL_DIRTY_TEMP_COEFFICIENT(v_n);
- PPL_DIRTY_TEMP_COEFFICIENT(v_d);
- - for (Variables_Set::const_iterator i = vars.begin(),
- - vars_end = vars.end(); i != vars.end(); ++i) {
- + for (Variables_Set::const_iterator i = vars.begin();
- + i != vars.end(); ++i) {
- const Variable x = Variable(*i);
- // Find the frequency and a value for `x' in `gr'.
- if (!gr.frequency_no_check(x, f_n, f_d, v_n, v_d))
- @@ -2816,8 +2816,8 @@ PPL::Grid::wrap_assign(const Variables_S
- const Coefficient& div = point.divisor();
- max_value *= div;
- min_value *= div;
- - for (Variables_Set::const_iterator i = vars.begin(),
- - vars_end = vars.end(); i != vars.end(); ++i) {
- + for (Variables_Set::const_iterator i = vars.begin();
- + i != vars.end(); ++i) {
- const Variable x = Variable(*i);
- if (!gr.bounds_no_check(x)) {
- // `x' is not a constant in `gr'.
- @@ -2885,8 +2885,8 @@ PPL::Grid::drop_some_non_integer_points(
- // those points that have integer coordinates for all the dimensions
- // in vars. All points in \p *this with non-integral coordinates for
- // the dimensions in vars are removed.
- - for (Variables_Set::const_iterator i = vars.begin(),
- - vars_end = vars.end(); i != vars.end(); ++i)
- + for (Variables_Set::const_iterator i = vars.begin();
- + i != vars.end(); ++i)
- add_congruence(Variable(*i) %= 0);
-
- PPL_ASSERT(OK());
- --- ppl-0.11.2.orig/src/Interval.defs.hh
- +++ ppl-0.11.2/src/Interval.defs.hh
- @@ -649,7 +649,7 @@ public:
- return true;
- }
-
- - Interval() {
- + Interval() : lower_(1), upper_(0) {
- }
-
- template <typename T>
- --- ppl-0.11.2.orig/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
- +++ ppl-0.11.2/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
- @@ -808,24 +808,24 @@ ppl_ at CLASS@_bounds_from_ at ABOVEBELOW@_2_t
- TEST_DATA \= test05,
- (
- ppl_ at TOPOLOGY@@CLASS at _build_test_object(TEST_DATA, PS, Space_Dim),
- - ((
- - class_ at DISJUNCT@ \= class_Grid,
- - ppl_bounds_test_data(TEST_DATA, @CONSTRAINER at s, LE,
- - @ABOVEBELOW@, true))
- - ->
- - ppl_ at CLASS@_bounds_from_ at ABOVEBELOW@(PS, LE)
- - ;
- - true
- - ),
- - ((
- - class_ at DISJUNCT@ \= class_Grid,
- - ppl_bounds_test_data(TEST_DATA, @CONSTRAINER at s, LE1,
- - @ABOVEBELOW@, false))
- - ->
- - \+ ppl_ at CLASS@_bounds_from_ at ABOVEBELOW@(PS, LE1)
- - ;
- - true
- - ),
- +dnl ((
- +dnl class_ at DISJUNCT@ \= class_Grid,
- +dnl ppl_bounds_test_data(TEST_DATA, @CONSTRAINER at s, LE,
- +dnl @ABOVEBELOW@, true))
- +dnl ->
- +dnl ppl_ at CLASS@_bounds_from_ at ABOVEBELOW@(PS, LE)
- +dnl ;
- +dnl true
- +dnl ),
- +dnl ((
- +dnl class_ at DISJUNCT@ \= class_Grid,
- +dnl ppl_bounds_test_data(TEST_DATA, @CONSTRAINER at s, LE1,
- +dnl @ABOVEBELOW@, false))
- +dnl ->
- +dnl \+ ppl_ at CLASS@_bounds_from_ at ABOVEBELOW@(PS, LE1)
- +dnl ;
- +dnl true
- +dnl ),
- ppl_ at CLASS@_OK(PS),
- ppl_delete_ at CLASS@(PS)
- ->
- --- ppl-0.11.2.orig/tests/ppl_test.hh
- +++ ppl-0.11.2/tests/ppl_test.hh
- @@ -129,12 +129,16 @@ catch (const std::exception& e) { \
- #define DO_TEST(test) \
- ANNOUNCE_TEST(test); \
- RUN_TEST(test); \
- + /* dummy use to make gcc happy */ \
- + overflow = overflow; \
- if (!succeeded) \
- failed_tests.push_back(#test);
-
- #define DO_TEST_F(test) \
- ANNOUNCE_TEST(test); \
- RUN_TEST(test); \
- + /* dummy use to make gcc happy */ \
- + overflow = overflow; \
- if (succeeded) \
- unexpectedly_succeeded_tests.push_back(#test);
-
- --- ppl-0.11.2.orig/tests/Octagonal_Shape/relatwithgen1.cc
- +++ ppl-0.11.2/tests/Octagonal_Shape/relatwithgen1.cc
- @@ -271,7 +271,7 @@ test12() {
- // Octagon::relation_with(g):
- // it is illegal to use a generator that is
- // dimensional incompatible with the OS.
- - Poly_Gen_Relation rel = oc.relation_with(ray(C));
- + oc.relation_with(ray(C));
- }
- catch (std::invalid_argument& e) {
- nout << "std::invalid_argument: " << e.what() << endl;
- --- ppl-0.11.2.orig/tests/Octagonal_Shape/relatwithcons2.cc
- +++ ppl-0.11.2/tests/Octagonal_Shape/relatwithcons2.cc
- @@ -305,7 +305,7 @@ test14() {
- // Octagon::relation_with(c):
- // it is illegal to use a constraint that is not dimension-compatible
- // with the octagon.
- - Poly_Con_Relation rel = oc.relation_with(-C - B <= 2);
- + oc.relation_with(-C - B <= 2);
- }
- catch (std::invalid_argument& e) {
- nout << "std::invalid_argument: " << e.what() << endl;
- --- ppl-0.11.2.orig/tests/Box/relations4.cc
- +++ ppl-0.11.2/tests/Box/relations4.cc
- @@ -431,7 +431,7 @@ test19() {
-
- try {
- // This tests the space dimension exception..
- - Poly_Con_Relation rel = box.relation_with((A + B %= 1) / 9);
- + box.relation_with((A + B %= 1) / 9);
- }
- catch (std::invalid_argument& e) {
- nout << "std::invalid_argument: " << endl;
- --- ppl-0.11.2.orig/tests/BD_Shape/relations3.cc
- +++ ppl-0.11.2/tests/BD_Shape/relations3.cc
- @@ -39,7 +39,7 @@ test01() {
- // BD_Shape::relation_with(c):
- // it is illegal to use a constraint that is
- // dimensional incompatible with the BDS.
- - Poly_Con_Relation rel = bds.relation_with(C - B <= 2);
- + bds.relation_with(C - B <= 2);
- }
- catch (std::invalid_argument& e) {
- nout << "std::invalid_argument: " << endl;
- @@ -80,7 +80,7 @@ test03() {
- // BD_Shape::relation_with(c):
- // it is illegal to use a generator that is
- // dimensional incompatible with the BDS.
- - Poly_Gen_Relation rel = bds.relation_with(ray(C));
- + bds.relation_with(ray(C));
- }
- catch (std::invalid_argument& e) {
- nout << "std::invalid_argument: " << endl;
- --- ppl-0.11.2.orig/doc/user-language-interface.tex
- +++ ppl-0.11.2/doc/user-language-interface.tex
- @@ -53,6 +53,7 @@
++Index: b/doc/user-language-interface.tex
++===================================================================
++--- a/doc/user-language-interface.tex
+++++ b/doc/user-language-interface.tex
++@@ -58,6 +58,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ <PPL_SED_USEPACKAGE_OCAMLDOC>
+ \usepackage{ppl}
- --- ppl-0.11.2.orig/doc/devref.tex
- +++ ppl-0.11.2/doc/devref.tex
- @@ -53,6 +53,7 @@
++Index: b/doc/devref.tex
++===================================================================
++--- a/doc/devref.tex
+++++ b/doc/devref.tex
++@@ -58,6 +58,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ \usepackage{ppl}
+ \makeindex
- --- ppl-0.11.2.orig/doc/user.tex
- +++ ppl-0.11.2/doc/user.tex
- @@ -53,6 +53,7 @@
++Index: b/doc/user.tex
++===================================================================
++--- a/doc/user.tex
+++++ b/doc/user.tex
++@@ -58,6 +58,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ \usepackage{ppl}
+ \makeindex
- --- ppl-0.11.2.orig/doc/devref-language-interface.tex
- +++ ppl-0.11.2/doc/devref-language-interface.tex
- @@ -53,6 +53,7 @@
++Index: b/doc/devref-language-interface.tex
++===================================================================
++--- a/doc/devref-language-interface.tex
+++++ b/doc/devref-language-interface.tex
++@@ -58,6 +58,7 @@
+ \usepackage{pspicture}
+ \fi
+ \usepackage[utf8]{inputenc}
++\usepackage[table]{xcolor}
+ \usepackage{doxygen}
+ <PPL_SED_USEPACKAGE_OCAMLDOC>
+ \usepackage{ppl}
diff --cc debian/patches/series
index a846982,0000000..9d53034
mode 100644,000000..100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@@ -1,2 -1,0 +1,1 @@@
+local_changes.diff
- avoid_obsolete_installdox.patch
diff --cc debian/rules
index e249003,0000000..e1c8dd9
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,200 -1,0 +1,200 @@@
+#!/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 CFLAGS) -Wall -g
++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
+ifeq ($(DEB_STAGE),stage1)
+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
+
+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/")
+
- ifeq (powerpc-linux-gnu,$(DEB_HOST_GNU_TYPE))
++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.sub Watchdog/config.sub
+ cp -f /usr/share/misc/config.guess config.guess
- cp -f /usr/share/misc/config.guess Watchdog/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)
+ ifeq (,$(filter-out alpha-linux-gnu arm-linux-gnueabi,$(DEB_HOST_GNU_TYPE)))
+ # 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 Watchdog/config.sub
- rm -f config.guess Watchdog/config.guess
++ 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)/
- $(MAKE) -C Watchdog install DESTDIR=$(CURDIR)/debian/tmp
+ -chrpath -d \
- debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl.so.9.0.0 \
++ debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libppl.so.12.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 -Nlibpwl-dev -Nlibpwl5 ChangeLog
- dh_installchangelogs -plibpwl-dev -plibpwl5 Watchdog/ChangeLog
++ 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 \
++ /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
diff --cc debian/watch
index 1e462c0,0000000..d0f2f17
mode 100644,000000..100644
--- a/debian/watch
+++ b/debian/watch
@@@ -1,6 -1,0 +1,3 @@@
+version=3
-
- # opts="uversionmangle=s/pre/~pre/" \
- # http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-(.*)\.tar\.gz
- http://www.cs.unipr.it/ppl/Download/ftp/releases/(.*\..*)/ppl-(\d.*)\.tar\.bz2
++http://bugseng.com/products/ppl/download .*/ppl-(\d.*)\.(?:tgz|tbz2|txz|tar\.(?:gz|bz2|xz))
+
--
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