[ppl] 07/68: Imported Debian patch 0.10~pre27-1
Andreas Tille
tille at debian.org
Sat Nov 12 08:40:07 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 8b65e4e4041d1e935865d2c054fb32be13102e5d
Merge: 4bde0e2 fbaf9c5
Author: Michael Tautschnig <mt at debian.org>
Date: Wed Sep 10 21:56:34 2008 +0000
Imported Debian patch 0.10~pre27-1
COPYING | 912 +-
CREDITS | 81 +-
ChangeLog | 38158 ++++++-
INSTALL | 69 +-
Makefile.am | 25 +-
Makefile.in | 315 +-
NEWS | 190 +-
README | 20 +-
README.configure | 85 +-
STANDARDS | 115 +-
TODO | 140 +-
Watchdog/COPYING | 912 +-
Watchdog/ChangeLog | 804 +-
Watchdog/INSTALL | 69 +-
Watchdog/Makefile.am | 16 +-
Watchdog/Makefile.in | 210 +-
Watchdog/NEWS | 11 +
Watchdog/README | 8 +-
Watchdog/aclocal.m4 | 6567 +-
Watchdog/compile | 2 +-
Watchdog/config.guess | 76 +-
Watchdog/config.h.in | 16 +-
Watchdog/config.sub | 128 +-
Watchdog/configure | 31671 +++---
Watchdog/configure.ac | 67 +-
Watchdog/depcomp | 95 +-
Watchdog/doc/Makefile.am | 297 +
Watchdog/doc/Makefile.in | 632 +
Watchdog/doc/README.doc | 139 +
Watchdog/doc/devref.doxyconf-html | 273 +
Watchdog/doc/devref.doxyconf-html.in | 273 +
Watchdog/doc/devref.doxyconf-latex | 273 +
Watchdog/doc/devref.doxyconf-latex.in | 273 +
Watchdog/doc/devref.tex | 120 +
Watchdog/doc/fdl.dox | 407 +
Watchdog/doc/fdl.pdf | Bin 0 -> 59059 bytes
Watchdog/doc/fdl.ps.gz | Bin 0 -> 67863 bytes
Watchdog/doc/fdl.tex | 454 +
Watchdog/doc/fdl.txt | 397 +
Watchdog/doc/gpl.dox | 686 +
Watchdog/doc/gpl.pdf | Bin 0 -> 71114 bytes
Watchdog/doc/gpl.ps.gz | Bin 0 -> 80395 bytes
Watchdog/doc/gpl.tex | 728 +
Watchdog/doc/gpl.txt | 674 +
Watchdog/doc/pwl-user-0.6-html.tar.gz | Bin 0 -> 150576 bytes
Watchdog/doc/pwl-user-0.6.pdf | Bin 0 -> 414587 bytes
Watchdog/doc/pwl-user-0.6.ps.gz | Bin 0 -> 215036 bytes
Watchdog/doc/pwl.sty | 178 +
Watchdog/doc/user.doxyconf-html | 244 +
Watchdog/doc/user.doxyconf-html.in | 244 +
Watchdog/doc/user.doxyconf-latex | 244 +
Watchdog/doc/user.doxyconf-latex.in | 244 +
Watchdog/doc/user.tex | 120 +
Watchdog/install-sh | 480 +-
Watchdog/ltmain.sh | 13217 ++-
Watchdog/m4/Makefile.am | 31 +
Watchdog/m4/Makefile.in | 396 +
Watchdog/m4/ax_prefix_config_h.m4 | 223 +
Watchdog/m4/libtool.m4 | 7357 ++
Watchdog/m4/ltoptions.m4 | 368 +
Watchdog/m4/ltsugar.m4 | 123 +
Watchdog/m4/ltversion.m4 | 23 +
Watchdog/m4/lt~obsolete.m4 | 92 +
Watchdog/missing | 66 +-
Watchdog/mkinstalldirs | 5 +-
Watchdog/src/Doubly_Linked_Object.defs.hh | 4 +-
Watchdog/src/Doubly_Linked_Object.inlines.hh | 4 +-
Watchdog/src/Doubly_Linked_Object.types.hh | 2 +-
Watchdog/src/EList.defs.hh | 6 +-
Watchdog/src/EList.inlines.hh | 4 +-
Watchdog/src/EList.types.hh | 2 +-
Watchdog/src/EList_Iterator.defs.hh | 4 +-
Watchdog/src/EList_Iterator.inlines.hh | 4 +-
Watchdog/src/EList_Iterator.types.hh | 2 +-
Watchdog/src/Handler.defs.hh | 6 +-
Watchdog/src/Handler.inlines.hh | 4 +-
Watchdog/src/Handler.types.hh | 2 +-
Watchdog/src/Makefile.am | 16 +-
Watchdog/src/Makefile.in | 216 +-
Watchdog/src/Pending_Element.cc | 6 +-
Watchdog/src/Pending_Element.defs.hh | 6 +-
Watchdog/src/Pending_Element.inlines.hh | 4 +-
Watchdog/src/Pending_Element.types.hh | 2 +-
Watchdog/src/Pending_List.cc | 6 +-
Watchdog/src/Pending_List.defs.hh | 4 +-
Watchdog/src/Pending_List.inlines.hh | 4 +-
Watchdog/src/Pending_List.types.hh | 2 +-
Watchdog/src/Time.cc | 6 +-
Watchdog/src/Time.defs.hh | 4 +-
Watchdog/src/Time.inlines.hh | 4 +-
Watchdog/src/Time.types.hh | 2 +-
Watchdog/src/Watchdog.cc | 18 +-
Watchdog/src/Watchdog.defs.hh | 12 +-
Watchdog/src/Watchdog.inlines.hh | 4 +-
Watchdog/src/Watchdog.types.hh | 2 +-
Watchdog/src/pwl.hh.dist | 227 +-
Watchdog/src/pwl_header.hh | 22 +-
Watchdog/utils/Makefile.am | 6 +-
Watchdog/utils/Makefile.in | 128 +-
Watchdog/utils/build_header.in | 4 +-
aclocal.m4 | 6574 +-
compile | 2 +-
config.guess | 76 +-
config.h.in | 150 +-
config.rpath | 271 +-
config.sub | 128 +-
configure | 44599 ++++----
configure.ac | 576 +-
debian/Makefile.am | 4 +-
debian/Makefile.in | 214 +-
debian/README | 35 -
debian/README.source | 35 -
debian/changelog | 16 +
debian/compat | 2 +-
debian/control | 41 +-
debian/copyright | 38 +-
debian/libppl-c.install | 1 -
debian/libppl-c.links | 1 -
debian/libppl-c0.links | 2 +-
debian/libppl-dev.doc-base | 0
debian/libppl-dev.doc-base.user | 0
debian/libppl-dev.docs | 0
debian/libppl-dev.install | 18 +-
debian/libppl-dev.links | 2 +-
debian/libppl-doc.lintian-overrides | 38 +
debian/libppl-pwl.copyright.in | 6 +-
debian/libppl-pwl.docs | 5 -
debian/libppl.copyright.in | 6 +-
debian/libppl.docs | 5 -
debian/{libppl6.dirs => libppl7.dirs} | 0
debian/{libppl6.docs => libppl7.docs} | 0
debian/{libppl6.install => libppl7.install} | 0
debian/libpwl-dev.install | 2 +
debian/libpwl-dev.links | 1 +
debian/libpwl3.dirs | 1 -
debian/libpwl3.install | 4 -
debian/{libppl-c.dirs => libpwl4.dirs} | 0
debian/{libpwl3.docs => libpwl4.docs} | 0
debian/libpwl4.install | 1 +
debian/rules | 51 +-
debian/shlibs.local | 1 -
debian/watch | 3 +-
demos/Makefile.am | 4 +-
demos/Makefile.in | 259 +-
demos/ppl_lcdd/Makefile.am | 4 +-
demos/ppl_lcdd/Makefile.in | 299 +-
demos/ppl_lcdd/examples/Makefile.am | 4 +-
demos/ppl_lcdd/examples/Makefile.in | 214 +-
demos/ppl_lcdd/ppl_lcdd.cc | 54 +-
demos/ppl_lpsol/Makefile.am | 148 +-
demos/ppl_lpsol/Makefile.in | 471 +-
demos/ppl_lpsol/examples/Makefile.am | 17 +-
demos/ppl_lpsol/examples/Makefile.in | 227 +-
demos/ppl_lpsol/examples/README | 10 +-
demos/ppl_lpsol/examples/egout.mps | 403 +
demos/ppl_lpsol/examples/ex12.mps | 25 +
demos/ppl_lpsol/examples/lseu.mps | 371 +
demos/ppl_lpsol/examples/markshare1.mps | 236 +
demos/ppl_lpsol/examples/markshare2.mps | 341 +
demos/ppl_lpsol/examples/mas74.mps | 1131 +
demos/ppl_lpsol/examples/mas76.mps | 1134 +
demos/ppl_lpsol/examples/modglob.mps | 1192 +
demos/ppl_lpsol/examples/noswot.mps | 729 +
demos/ppl_lpsol/examples/opt1217.mps | 1643 +
demos/ppl_lpsol/examples/p0033.mps | 152 +
demos/ppl_lpsol/examples/pk1.mps | 603 +
demos/ppl_lpsol/examples/rout.mps | 2038 +
demos/ppl_lpsol/expected_int16 | 1006 +-
demos/ppl_lpsol/expected_int16_a | 216 +-
demos/ppl_lpsol/expected_int32 | 1001 +-
demos/ppl_lpsol/expected_int32_a | 211 +-
demos/ppl_lpsol/expected_int64 | 1997 +-
demos/ppl_lpsol/expected_int64_a | 437 +-
demos/ppl_lpsol/expected_int8 | 208 +-
demos/ppl_lpsol/expected_int8_a | 188 +-
demos/ppl_lpsol/expected_mpz | 5819 +-
demos/ppl_lpsol/expected_mpz_a | 4168 +-
demos/ppl_lpsol/ppl_lpsol.c | 623 +-
depcomp | 95 +-
doc/Makefile.am | 563 +-
doc/Makefile.in | 868 +-
doc/README.doc | 6 +-
doc/definitions.dox | 693 +-
doc/devref-c-interface.doxyconf-html | 248 +
doc/devref-c-interface.doxyconf-html.in | 248 +
doc/devref-c-interface.doxyconf-latex | 247 +
doc/devref-c-interface.doxyconf-latex.in | 247 +
doc/devref-c-interface.tex | 130 +
doc/devref-java-interface.doxyconf-html.in | 285 +
doc/devref-java-interface.doxyconf-latex | 284 +
doc/devref-java-interface.doxyconf-latex.in | 284 +
doc/devref-java-interface.tex | 130 +
doc/devref-ocaml-interface.doxyconf-html.in | 247 +
doc/devref-ocaml-interface.doxyconf-latex | 246 +
doc/devref-ocaml-interface.doxyconf-latex.in | 246 +
doc/devref-ocaml-interface.tex | 146 +
doc/devref-prolog-interface.doxyconf-html | 251 +
doc/devref-prolog-interface.doxyconf-html.in | 251 +
doc/devref-prolog-interface.doxyconf-latex | 250 +
doc/devref-prolog-interface.doxyconf-latex.in | 250 +
doc/devref-prolog-interface.tex | 130 +
doc/devref.doxyconf-html | 1571 +-
doc/devref.doxyconf-html.in | 1225 +-
doc/devref.doxyconf-latex | 1569 +-
doc/devref.doxyconf-latex.in | 1229 +-
doc/devref.tex | 35 +-
doc/fdl.dox | 9 +-
doc/fdl.pdf | Bin 59059 -> 59057 bytes
doc/fdl.ps.gz | Bin 67885 -> 67866 bytes
doc/gpl.dox | 1130 +-
doc/gpl.pdf | Bin 71909 -> 71114 bytes
doc/gpl.ps.gz | Bin 78865 -> 80387 bytes
doc/gpl.tex | 1034 +-
doc/gpl.txt | 912 +-
doc/libppl.3 | 77 +
doc/ppl-config.1 | 5 +-
doc/ppl-user-0.10pre27-html.tar.gz | Bin 0 -> 1044606 bytes
doc/ppl-user-0.10pre27.pdf | 92038 ++++++++++++++++
doc/ppl-user-0.10pre27.ps.gz | Bin 0 -> 1596667 bytes
doc/ppl-user-0.9-html.tar.gz | Bin 583785 -> 0 bytes
doc/ppl-user-0.9.pdf | Bin 2839226 -> 0 bytes
doc/ppl-user-0.9.ps.gz | Bin 1163250 -> 0 bytes
doc/ppl.sty | 4 +-
doc/ppl_lcdd.1 | 11 +-
doc/ppl_lpsol.1 | 37 +-
doc/user-c-interface.doxyconf-html | 249 +
doc/user-c-interface.doxyconf-html.in | 249 +
doc/user-c-interface.doxyconf-latex | 249 +
doc/user-c-interface.doxyconf-latex.in | 249 +
doc/user-c-interface.tex | 130 +
doc/user-java-interface.doxyconf-html.in | 284 +
doc/user-java-interface.doxyconf-latex | 284 +
doc/user-java-interface.doxyconf-latex.in | 284 +
doc/user-java-interface.tex | 130 +
doc/user-ocaml-interface.doxyconf-html.in | 247 +
doc/user-ocaml-interface.doxyconf-latex | 247 +
doc/user-ocaml-interface.doxyconf-latex.in | 247 +
doc/user-ocaml-interface.tex | 146 +
doc/user-prolog-interface.doxyconf-html | 247 +
doc/user-prolog-interface.doxyconf-html.in | 247 +
doc/user-prolog-interface.doxyconf-latex | 247 +
doc/user-prolog-interface.doxyconf-latex.in | 247 +
doc/user-prolog-interface.tex | 130 +
doc/user.doxyconf-html | 1084 +-
doc/user.doxyconf-html.in | 1074 +-
doc/user.doxyconf-latex | 1080 +-
doc/user.doxyconf-latex.in | 1070 +-
doc/user.tex | 35 +-
fedora/Makefile.am | 27 +
fedora/Makefile.in | 428 +
fedora/ppl.hh | 43 +
fedora/ppl.spec | 527 +
fedora/ppl_c.h | 43 +
fedora/pwl.hh | 43 +
install-sh | 480 +-
instchk.hh | 285 +-
interfaces/C/C_interface.dox | 1359 +
interfaces/C/Makefile.am | 62 +-
interfaces/C/Makefile.in | 389 +-
interfaces/C/ppl_c.cc | 2524 -
interfaces/C/ppl_c.h | 2695 -
interfaces/C/ppl_c.h.in | 2695 -
interfaces/C/ppl_c_version.h.in | 62 +
interfaces/C/ppl_interface_generator_c_cc.m4 | 88 +
interfaces/C/ppl_interface_generator_c_cc_code.m4 | 922 +
interfaces/C/ppl_interface_generator_c_cc_preamble | 2215 +
interfaces/C/ppl_interface_generator_c_h.m4 | 79 +
interfaces/C/ppl_interface_generator_c_h_code.m4 | 536 +
interfaces/C/ppl_interface_generator_c_h_preamble | 2079 +
...l_interface_generator_c_procedure_generators.m4 | 58 +
interfaces/Java/Java_interface.dox | 2044 +
interfaces/Java/Makefile.am | 42 +
interfaces/Java/Makefile.in | 625 +
interfaces/Java/jni/Makefile.am | 75 +
interfaces/Java/jni/Makefile.in | 627 +
...interface_generator_java_ppl_java_classes_cc.m4 | 59 +
...face_generator_java_ppl_java_classes_cc_code.m4 | 1008 +
interfaces/Java/jni/ppl_java_common.cc | 1109 +
interfaces/Java/jni/ppl_java_common.hh | 451 +
interfaces/Java/jni/ppl_java_globals.cc | 485 +
...nterface_generator_java_procedure_generators.m4 | 52 +
interfaces/Java/ppl_java/By_Reference.java | 53 +
interfaces/Java/ppl_java/Coefficient.java | 75 +
interfaces/Java/ppl_java/Congruence.java | 62 +
interfaces/Java/ppl_java/Congruence_System.java | 36 +
interfaces/Java/ppl_java/Constraint.java | 71 +
interfaces/Java/ppl_java/Constraint_System.java | 38 +
interfaces/Java/ppl_java/Degenerate_Element.java | 32 +
.../Java/ppl_java/Domain_Error_Exception.java | 30 +
interfaces/Java/ppl_java/Generator.java | 137 +
interfaces/Java/ppl_java/Generator_System.java | 39 +
interfaces/Java/ppl_java/Generator_Type.java | 37 +
interfaces/Java/ppl_java/Grid_Generator.java | 98 +
.../Java/ppl_java/Grid_Generator_System.java | 38 +
interfaces/Java/ppl_java/Grid_Generator_Type.java | 35 +
.../Java/ppl_java/Invalid_Argument_Exception.java | 30 +
.../Java/ppl_java/Length_Error_Exception.java | 30 +
interfaces/Java/ppl_java/Linear_Expression.java | 57 +
.../ppl_java/Linear_Expression_Coefficient.java | 49 +
.../ppl_java/Linear_Expression_Difference.java | 61 +
.../Java/ppl_java/Linear_Expression_Sum.java | 58 +
.../Java/ppl_java/Linear_Expression_Times.java | 59 +
.../ppl_java/Linear_Expression_Unary_Minus.java | 49 +
.../Java/ppl_java/Linear_Expression_Variable.java | 48 +
.../Java/ppl_java/Logic_Error_Exception.java | 31 +
interfaces/Java/ppl_java/MIP_Problem.java | 267 +
interfaces/Java/ppl_java/MIP_Problem_Status.java | 34 +
interfaces/Java/ppl_java/Makefile.am | 166 +
interfaces/Java/ppl_java/Makefile.in | 581 +
interfaces/Java/ppl_java/Optimization_Mode.java | 33 +
.../Java/ppl_java/Overflow_Error_Exception.java | 30 +
interfaces/Java/ppl_java/PPL_Object.java | 42 +
interfaces/Java/ppl_java/Pair.java | 46 +
.../Java/ppl_java/Parma_Polyhedra_Library.java | 43 +
interfaces/Java/ppl_java/Partial_Function.java | 31 +
interfaces/Java/ppl_java/Poly_Con_Relation.java | 87 +
interfaces/Java/ppl_java/Poly_Gen_Relation.java | 57 +
interfaces/Java/ppl_java/Relation_Symbol.java | 39 +
interfaces/Java/ppl_java/Variable.java | 69 +
interfaces/Java/ppl_java/Variables_Set.java | 31 +
.../ppl_interface_generator_java_classes_java.m4 | 115 +
...l_interface_generator_java_classes_java_code.m4 | 495 +
interfaces/Java/tests/C_Polyhedron_test1.java | 108 +
interfaces/Java/tests/Makefile.am | 81 +
interfaces/Java/tests/Makefile.in | 497 +
interfaces/Java/tests/NNC_Polyhedron_test1.java | 88 +
interfaces/Java/tests/Test_Executor.java | 61 +
interfaces/Java/tests/Test_Partial_Function.java | 61 +
.../ppl_interface_generator_java_test_java.m4 | 121 +
.../ppl_interface_generator_java_test_java_code.m4 | 280 +
interfaces/Java/tests/ppl_java_tests_common | 113 +
interfaces/Makefile.am | 31 +-
interfaces/Makefile.in | 303 +-
interfaces/OCaml/Makefile.am | 147 +
interfaces/OCaml/Makefile.in | 791 +
interfaces/OCaml/OCaml_interface.dox | 2044 +
.../OCaml/ppl_interface_generator_ocaml_cc.m4 | 65 +
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 1036 +
.../OCaml/ppl_interface_generator_ocaml_ml.m4 | 71 +
.../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 529 +
.../OCaml/ppl_interface_generator_ocaml_mli.m4 | 209 +
.../ppl_interface_generator_ocaml_mli_code.m4 | 436 +
...terface_generator_ocaml_procedure_generators.m4 | 50 +
interfaces/OCaml/ppl_ocaml_globals.cc | 1007 +
interfaces/OCaml/ppl_ocaml_globals.ml | 107 +
interfaces/OCaml/ppl_ocaml_types.ml | 87 +
interfaces/OCaml/tests/Makefile.am | 97 +
interfaces/OCaml/tests/Makefile.in | 609 +
.../tests/ppl_interface_generator_ocaml_test_ml.m4 | 64 +
.../ppl_interface_generator_ocaml_test_ml_code.m4 | 802 +
interfaces/OCaml/tests/ppl_ocaml_tests_common | 235 +
interfaces/OCaml/tests/test1.ml | 301 +
interfaces/Prolog/Ciao/Makefile.am | 92 +-
interfaces/Prolog/Ciao/Makefile.in | 372 +-
interfaces/Prolog/Ciao/ciao_cfli.hh | 336 +
interfaces/Prolog/Ciao/ciao_clpq.pl | 4 +-
interfaces/Prolog/Ciao/ciao_clpq2.pl | 4 +-
interfaces/Prolog/Ciao/ciao_pl_check.pl | 50 +-
interfaces/Prolog/Ciao/ppl_ciao.cc | 346 +-
interfaces/Prolog/Ciao/ppl_ciao.pl | 1683 -
.../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 87 +
..._interface_generator_ciao_predicate_check_pl.m4 | 65 +
interfaces/Prolog/GNU/Makefile.am | 107 +-
interfaces/Prolog/GNU/Makefile.in | 537 +-
interfaces/Prolog/GNU/README | 32 -
interfaces/Prolog/GNU/README.gprolog | 36 +
interfaces/Prolog/GNU/gnu_pl_check.pl | 4 +-
interfaces/Prolog/GNU/gp_clpq.pl | 4 +-
interfaces/Prolog/GNU/gprolog_cfli.hh | 425 +
interfaces/Prolog/GNU/gprolog_efli.cc | 73 +
interfaces/Prolog/GNU/gprolog_efli.hh | 80 +
interfaces/Prolog/GNU/ppl_gprolog.pl | 182 -
interfaces/Prolog/GNU/ppl_gprolog_sd.cc | 438 -
.../GNU/ppl_interface_generator_gprolog_pl.m4 | 46 +
interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 23 +
interfaces/Prolog/Makefile.am | 82 +-
interfaces/Prolog/Makefile.in | 354 +-
interfaces/Prolog/Prolog_interface.dox | 1866 +-
interfaces/Prolog/SICStus/Makefile.am | 157 +-
interfaces/Prolog/SICStus/Makefile.in | 574 +-
.../ppl_interface_generator_sicstus_sd_cc.m4 | 192 +
interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 23 +
interfaces/Prolog/SICStus/ppl_sicstus.pl | 4 +-
interfaces/Prolog/SICStus/ppl_sicstus_sd.cc | 474 -
interfaces/Prolog/SICStus/sicstus_cfli.cc | 4 +-
interfaces/Prolog/SICStus/sicstus_cfli.h | 18 +-
interfaces/Prolog/SICStus/sicstus_cfli.ic | 12 +-
interfaces/Prolog/SICStus/sicstus_efli.cc | 97 +
interfaces/Prolog/SICStus/sicstus_efli.hh | 83 +
interfaces/Prolog/SICStus/sp_clpq.pl | 26 +-
interfaces/Prolog/SICStus/sp_pl_check.pl | 38 +-
interfaces/Prolog/SICStus/sp_predicate_check.pl | 48 +
interfaces/Prolog/SWI/Makefile.am | 162 +-
interfaces/Prolog/SWI/Makefile.in | 591 +-
interfaces/Prolog/SWI/README.swiprolog | 33 +
interfaces/Prolog/SWI/pl_clpq.cc | 9 +-
interfaces/Prolog/SWI/pl_clpq.pl | 4 +-
.../SWI/ppl_interface_generator_swiprolog_cc.m4 | 71 +
interfaces/Prolog/SWI/ppl_pl.cc | 9 +-
interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 23 +
interfaces/Prolog/SWI/ppl_swiprolog.cc | 524 -
interfaces/Prolog/SWI/ppl_swiprolog.pl | 4 +-
interfaces/Prolog/SWI/swi_cfli.hh | 327 +
interfaces/Prolog/SWI/swi_efli.cc | 70 +
interfaces/Prolog/SWI/swi_efli.hh | 83 +
interfaces/Prolog/SWI/swi_pl_check.pl | 6 +-
interfaces/Prolog/SWI/swi_predicate_check.pl | 38 +
interfaces/Prolog/XSB/Makefile.am | 175 +-
interfaces/Prolog/XSB/Makefile.in | 640 +-
interfaces/Prolog/XSB/expected_clpq2_int16 | 102 -
interfaces/Prolog/XSB/expected_clpq2_int16_a | 103 -
interfaces/Prolog/XSB/expected_clpq2_int32 | 109 -
interfaces/Prolog/XSB/expected_clpq2_int32_a | 102 -
interfaces/Prolog/XSB/expected_clpq2_int64 | 109 -
interfaces/Prolog/XSB/expected_clpq2_int64_a | 109 -
interfaces/Prolog/XSB/expected_clpq2_int8 | 101 -
interfaces/Prolog/XSB/expected_clpq2_int8_a | 101 -
interfaces/Prolog/XSB/expected_clpq2_mpz | 109 -
interfaces/Prolog/XSB/expected_clpq2_mpz_a | 109 -
interfaces/Prolog/XSB/expected_clpq_int16 | 35 -
interfaces/Prolog/XSB/expected_clpq_int16_a | 35 -
interfaces/Prolog/XSB/expected_clpq_int32 | 35 -
interfaces/Prolog/XSB/expected_clpq_int32_a | 35 -
interfaces/Prolog/XSB/expected_clpq_int64 | 35 -
interfaces/Prolog/XSB/expected_clpq_int64_a | 35 -
interfaces/Prolog/XSB/expected_clpq_int8 | 29 -
interfaces/Prolog/XSB/expected_clpq_int8_a | 29 -
interfaces/Prolog/XSB/expected_clpq_mpz | 35 -
interfaces/Prolog/XSB/expected_clpq_mpz_a | 35 -
interfaces/Prolog/XSB/expected_pchk_int16 | 3 -
interfaces/Prolog/XSB/expected_pchk_int16_a | 3 -
interfaces/Prolog/XSB/expected_pchk_int32 | 3 -
interfaces/Prolog/XSB/expected_pchk_int32_a | 3 -
interfaces/Prolog/XSB/expected_pchk_int64 | 1 -
interfaces/Prolog/XSB/expected_pchk_int64_a | 3 -
interfaces/Prolog/XSB/expected_pchk_int8 | 9 -
interfaces/Prolog/XSB/expected_pchk_int8_a | 9 -
interfaces/Prolog/XSB/expected_pchk_mpz | 1 -
interfaces/Prolog/XSB/expected_pchk_mpz_a | 1 -
.../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 45 +
.../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 118 +
.../Prolog/XSB/ppl_interface_generator_xsb_hh.m4 | 38 +
...pl_interface_generator_xsb_predicate_check_P.m4 | 86 +
interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 24 +
interfaces/Prolog/XSB/ppl_xsb.H | 143 -
interfaces/Prolog/XSB/ppl_xsb.cc | 834 -
interfaces/Prolog/XSB/xsb_cfli.hh | 350 +
interfaces/Prolog/XSB/xsb_clpq.P | 4 +-
interfaces/Prolog/XSB/xsb_clpq2.P | 4 +-
interfaces/Prolog/XSB/xsb_efli.cc | 72 +
interfaces/Prolog/XSB/xsb_efli.hh | 80 +
interfaces/Prolog/XSB/xsb_pl_check.P | 53 +-
interfaces/Prolog/YAP/Makefile.am | 98 +-
interfaces/Prolog/YAP/Makefile.in | 510 +-
interfaces/Prolog/YAP/README.yap | 11 +
.../Prolog/YAP/ppl_interface_generator_yap_cc.m4 | 137 +
interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 23 +
interfaces/Prolog/YAP/ppl_yap.cc | 725 -
interfaces/Prolog/YAP/ppl_yap.pl | 4 +-
interfaces/Prolog/YAP/yap_cfli.hh | 348 +
interfaces/Prolog/YAP/yap_clpq.pl | 4 +-
interfaces/Prolog/YAP/yap_clpq2.pl | 4 +-
interfaces/Prolog/YAP/yap_efli.cc | 86 +
interfaces/Prolog/YAP/yap_efli.hh | 82 +
interfaces/Prolog/YAP/yap_pl_check.pl | 4 +-
interfaces/Prolog/exceptions.hh | 174 -
.../ppl_interface_generator_prolog_cc_code.m4 | 1797 +
.../ppl_interface_generator_prolog_cc_files.m4 | 76 +
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 72 +
.../ppl_interface_generator_prolog_dox_code.m4 | 336 +
.../ppl_interface_generator_prolog_hh_code.m4 | 542 +
.../ppl_interface_generator_prolog_hh_files.m4 | 63 +
...erface_generator_prolog_procedure_generators.m4 | 79 +
.../ppl_interface_generator_prolog_systems.m4 | 78 +
interfaces/Prolog/ppl_prolog.icc | 3483 -
interfaces/Prolog/ppl_prolog_common.cc | 2005 +
interfaces/Prolog/ppl_prolog_common.defs.hh | 926 +
interfaces/Prolog/ppl_prolog_common.inlines.hh | 26 +
interfaces/Prolog/ppl_prolog_sysdep_dox | 212 +
interfaces/Prolog/ppl_prolog_sysindep_dox | 1554 +
interfaces/Prolog/tests/Makefile.am | 47 +-
interfaces/Prolog/tests/Makefile.in | 271 +-
interfaces/Prolog/tests/clpq.pl | 6 +-
interfaces/Prolog/tests/clpq2.pl | 14 +-
interfaces/Prolog/tests/expected_clpq2_int16 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int16_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int32 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int32_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int64 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int64_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_int8 | 2 +-
interfaces/Prolog/tests/expected_clpq2_int8_a | 2 +-
interfaces/Prolog/tests/expected_clpq2_mpz | 2 +-
interfaces/Prolog/tests/expected_clpq2_mpz_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int16 | 2 +-
interfaces/Prolog/tests/expected_clpq_int16_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int32 | 2 +-
interfaces/Prolog/tests/expected_clpq_int32_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int64 | 2 +-
interfaces/Prolog/tests/expected_clpq_int64_a | 2 +-
interfaces/Prolog/tests/expected_clpq_int8 | 2 +-
interfaces/Prolog/tests/expected_clpq_int8_a | 2 +-
interfaces/Prolog/tests/expected_clpq_mpz | 2 +-
interfaces/Prolog/tests/expected_clpq_mpz_a | 2 +-
interfaces/Prolog/tests/expected_pchk_int8 | 2 -
interfaces/Prolog/tests/expected_pchk_int8_a | 2 -
interfaces/Prolog/tests/pl_check.pl | 568 +-
interfaces/Prolog/tests/pl_grid_check.pl | 2301 +
...ppl_interface_generator_predicate_check_code.m4 | 1903 +
.../ppl_interface_generator_predicate_check_pl.m4 | 359 +
.../Prolog/tests/ppl_predicate_check_common.pl | 613 +
interfaces/Prolog/track_allocation.hh | 116 -
interfaces/interfaced_boxes.hh | 115 +
interfaces/marked_pointers.hh | 64 +
interfaces/ppl_interface_generator_common.m4 | 621 +
interfaces/ppl_interface_generator_common_dat.m4 | 1112 +
...erface_generator_common_procedure_generators.m4 | 143 +
interfaces/ppl_interface_generator_copyright | 20 +
ltmain.sh | 13217 ++-
m4/Makefile.am | 15 +-
m4/Makefile.in | 225 +-
m4/ac_check_ciao.m4 | 92 +
m4/ac_check_classpath.m4 | 63 +
m4/ac_check_fpu_control.m4 | 8 +-
m4/ac_check_gmp.m4 | 6 +-
m4/ac_check_sicstus_prolog.m4 | 8 +-
m4/ac_check_swi_prolog.m4 | 13 +-
m4/ac_check_xsb_prolog.m4 | 6 +-
m4/ac_cxx_attribute_weak.m4 | 6 +-
m4/ac_cxx_double_binary_format.m4 | 12 +-
m4/ac_cxx_flexible_arrays.m4 | 6 +-
m4/ac_cxx_float_binary_format.m4 | 11 +-
m4/ac_cxx_long_double_binary_format.m4 | 20 +-
m4/ac_cxx_proper_long_double.m4 | 62 +
m4/ac_cxx_remainder_bug.m4 | 71 +
m4/ac_prog_jar.m4 | 53 +
m4/ac_prog_java.m4 | 267 +
m4/ac_prog_javac.m4 | 143 +
m4/ac_prog_javah.m4 | 50 +
m4/ac_text_md5sum.m4 | 6 +-
m4/ax_prefix_config_h.m4 | 219 +
m4/lib-link.m4 | 260 +-
m4/lib-prefix.m4 | 40 +-
m4/libtool.m4 | 7357 ++
m4/ltoptions.m4 | 368 +
m4/ltsugar.m4 | 123 +
m4/ltversion.m4 | 23 +
m4/lt~obsolete.m4 | 92 +
m4/ppl.m4 | 59 +-
m4/ppl_c.m4 | 285 +
missing | 66 +-
mkinstalldirs | 5 +-
ppl.spec.in | 185 -
src/Any_Pointset.defs.hh | 1382 +
src/Any_Pointset.inlines.hh | 38 +
src/Any_Pointset.types.hh | 21 +
src/BDS_Status.idefs.hh | 18 +-
src/BDS_Status.inlines.hh | 17 +-
src/BD_Shape.cc | 15 +-
src/BD_Shape.defs.hh | 1088 +-
src/BD_Shape.inlines.hh | 442 +-
src/BD_Shape.templates.hh | 4626 +-
src/BD_Shape.types.hh | 2 +-
src/BHRZ03_Certificate.cc | 6 +-
src/BHRZ03_Certificate.defs.hh | 8 +-
src/BHRZ03_Certificate.inlines.hh | 4 +-
src/BHRZ03_Certificate.types.hh | 2 +-
src/Bit_Matrix.cc | 243 +
src/Bit_Matrix.defs.hh | 179 +
src/Bit_Matrix.inlines.hh | 151 +
src/Bit_Matrix.types.hh | 21 +
src/Bit_Row.cc | 347 +
src/Bit_Row.defs.hh | 222 +
src/Bit_Row.inlines.hh | 150 +
src/Bit_Row.types.hh | 21 +
src/Boundary.defs.hh | 745 +
src/Bounding_Box.cc | 158 -
src/Bounding_Box.defs.hh | 207 -
src/Bounding_Box.inlines.hh | 137 -
src/Bounding_Box.types.hh | 21 -
src/Box.cc | 76 +
src/Box.defs.hh | 1998 +
src/Box.inlines.hh | 605 +
src/Box.templates.hh | 3700 +
src/Box.types.hh | 22 +
src/Box_Status.idefs.hh | 114 +
src/Box_Status.inlines.hh | 227 +
src/COPYING.cc.dist | 912 +-
src/CREDITS.cc.dist | 81 +-
src/C_Integer.hh | 175 +
src/C_Polyhedron.cc | 27 +-
src/C_Polyhedron.defs.hh | 122 +-
src/C_Polyhedron.inlines.hh | 66 +-
src/C_Polyhedron.types.hh | 2 +-
src/Checked_Number.cc | 10 +-
src/Checked_Number.defs.hh | 661 +-
src/Checked_Number.inlines.hh | 511 +-
src/Checked_Number.templates.hh | 147 +
src/Checked_Number.types.hh | 2 +-
src/Coefficient.cc | 45 +-
src/Coefficient.defs.hh | 21 +-
src/Coefficient.inlines.hh | 31 +-
src/Coefficient.types.hh | 20 +-
src/Coefficient_traits_template.hh | 4 +-
src/Congruence.cc | 105 +-
src/Congruence.defs.hh | 117 +-
src/Congruence.inlines.hh | 105 +-
src/Congruence.types.hh | 2 +-
src/Congruence_System.cc | 162 +-
src/Congruence_System.defs.hh | 91 +-
src/Congruence_System.inlines.hh | 58 +-
src/Congruence_System.types.hh | 2 +-
src/Constraint.cc | 118 +-
src/Constraint.defs.hh | 146 +-
src/Constraint.inlines.hh | 58 +-
src/Constraint.types.hh | 2 +-
src/Constraint_System.cc | 42 +-
src/Constraint_System.defs.hh | 42 +-
src/Constraint_System.inlines.hh | 13 +-
src/Constraint_System.types.hh | 2 +-
src/DB_Matrix.defs.hh | 45 +-
src/DB_Matrix.inlines.hh | 380 +-
src/DB_Matrix.templates.hh | 317 +
src/DB_Matrix.types.hh | 2 +-
src/DB_Row.defs.hh | 81 +-
src/DB_Row.inlines.hh | 237 +-
src/DB_Row.templates.hh | 212 +
src/DB_Row.types.hh | 6 +-
src/Determinate.defs.hh | 59 +-
src/Determinate.inlines.hh | 176 +-
src/Determinate.types.hh | 4 +-
src/Float.cc | 6 +-
src/Float.defs.hh | 47 +-
src/Float.inlines.hh | 44 +-
src/GMP_Integer.defs.hh | 36 +-
src/GMP_Integer.inlines.hh | 41 +-
src/GMP_Integer.types.hh | 5 +-
src/Generator.cc | 49 +-
src/Generator.defs.hh | 229 +-
src/Generator.inlines.hh | 186 +-
src/Generator.types.hh | 2 +-
src/Generator_System.cc | 51 +-
src/Generator_System.defs.hh | 36 +-
src/Generator_System.inlines.hh | 13 +-
src/Generator_System.types.hh | 2 +-
src/Grid.defs.hh | 975 +-
src/Grid.inlines.hh | 182 +-
src/Grid.templates.hh | 364 +-
src/Grid.types.hh | 2 +-
src/Grid_Certificate.cc | 18 +-
src/Grid_Certificate.defs.hh | 8 +-
src/Grid_Certificate.inlines.hh | 4 +-
src/Grid_Certificate.types.hh | 2 +-
src/Grid_Generator.cc | 133 +-
src/Grid_Generator.defs.hh | 221 +-
src/Grid_Generator.inlines.hh | 114 +-
src/Grid_Generator.types.hh | 2 +-
src/Grid_Generator_System.cc | 192 +-
src/Grid_Generator_System.defs.hh | 201 +-
src/Grid_Generator_System.inlines.hh | 130 +-
src/Grid_Generator_System.types.hh | 2 +-
src/Grid_Status.cc | 12 +-
src/Grid_Status.idefs.hh | 18 +-
src/Grid_Status.inlines.hh | 4 +-
src/Grid_chdims.cc | 131 +-
src/Grid_conversion.cc | 257 +-
src/Grid_nonpublic.cc | 245 +-
src/Grid_public.cc | 1196 +-
src/Grid_simplify.cc | 485 +-
src/Grid_widenings.cc | 322 +-
src/H79_Certificate.cc | 6 +-
src/H79_Certificate.defs.hh | 4 +-
src/H79_Certificate.inlines.hh | 4 +-
src/H79_Certificate.types.hh | 2 +-
src/Has_Assign_Or_Swap.hh | 53 +
src/Init.cc | 60 +-
src/Init.defs.hh | 47 +-
src/Init.inlines.hh | 47 +
src/Init.types.hh | 2 +-
src/Interval.cc | 55 -
src/Interval.defs.hh | 975 +-
src/Interval.inlines.hh | 1256 +-
src/Interval.templates.hh | 208 +
src/Interval.types.hh | 6 +-
src/Interval_Info.defs.hh | 300 +
src/Interval_Info.inlines.hh | 121 +
src/Interval_Info.types.hh | 25 +
src/Interval_Restriction.defs.hh | 867 +
src/LP_Problem.cc | 1035 -
src/LP_Problem.defs.hh | 394 -
src/LP_Problem.inlines.hh | 267 -
src/LP_Problem.types.hh | 32 -
src/Limits.hh | 95 -
src/Linear_Expression.cc | 46 +-
src/Linear_Expression.defs.hh | 123 +-
src/Linear_Expression.inlines.hh | 39 +-
src/Linear_Expression.types.hh | 2 +-
src/Linear_Row.cc | 39 +-
src/Linear_Row.defs.hh | 40 +-
src/Linear_Row.inlines.hh | 4 +-
src/Linear_Row.types.hh | 2 +-
src/Linear_System.cc | 66 +-
src/Linear_System.defs.hh | 97 +-
src/Linear_System.inlines.hh | 106 +-
src/Linear_System.types.hh | 2 +-
src/MIP_Problem.cc | 2122 +
src/MIP_Problem.defs.hh | 749 +
src/MIP_Problem.inlines.hh | 175 +
src/MIP_Problem.templates.hh | 156 +
src/MIP_Problem.types.hh | 32 +
src/Makefile.am | 130 +-
src/Makefile.in | 572 +-
src/Matrix.cc | 10 +-
src/Matrix.defs.hh | 41 +-
src/Matrix.inlines.hh | 9 +-
src/Matrix.types.hh | 2 +-
src/NNC_Polyhedron.cc | 29 +-
src/NNC_Polyhedron.defs.hh | 112 +-
src/NNC_Polyhedron.inlines.hh | 62 +-
src/NNC_Polyhedron.types.hh | 2 +-
src/Numeric_Format.defs.hh | 4 +-
src/OR_Matrix.defs.hh | 589 +
src/OR_Matrix.inlines.hh | 716 +
src/OR_Matrix.templates.hh | 124 +
src/OR_Matrix.types.hh | 22 +
src/Octagonal_Shape.cc | 100 +
src/Octagonal_Shape.defs.hh | 1980 +
src/Octagonal_Shape.inlines.hh | 774 +
src/Octagonal_Shape.templates.hh | 6417 ++
src/Octagonal_Shape.types.hh | 22 +
src/Og_Status.idefs.hh | 110 +
src/Og_Status.inlines.hh | 225 +
src/Partially_Reduced_Product.defs.hh | 1535 +
src/Partially_Reduced_Product.inlines.hh | 762 +
src/Partially_Reduced_Product.templates.hh | 462 +
src/Partially_Reduced_Product.types.hh | 31 +
src/Ph_Status.cc | 10 +-
src/Ph_Status.idefs.hh | 18 +-
src/Ph_Status.inlines.hh | 4 +-
src/Pointset_Powerset.cc | 326 +
src/Pointset_Powerset.defs.hh | 1449 +
src/Pointset_Powerset.inlines.hh | 337 +
src/Pointset_Powerset.templates.hh | 1556 +
src/Pointset_Powerset.types.hh | 22 +
src/Poly_Con_Relation.cc | 8 +-
src/Poly_Con_Relation.defs.hh | 19 +-
src/Poly_Con_Relation.inlines.hh | 4 +-
src/Poly_Con_Relation.types.hh | 2 +-
src/Poly_Gen_Relation.cc | 8 +-
src/Poly_Gen_Relation.defs.hh | 19 +-
src/Poly_Gen_Relation.inlines.hh | 4 +-
src/Poly_Gen_Relation.types.hh | 2 +-
src/Polyhedra_Powerset.cc | 143 -
src/Polyhedra_Powerset.defs.hh | 553 -
src/Polyhedra_Powerset.inlines.hh | 268 -
src/Polyhedra_Powerset.templates.hh | 684 -
src/Polyhedra_Powerset.types.hh | 22 -
src/Polyhedron.defs.hh | 591 +-
src/Polyhedron.inlines.hh | 126 +-
src/Polyhedron.templates.hh | 360 +-
src/Polyhedron.types.hh | 2 +-
src/Polyhedron_chdims.cc | 64 +-
src/Polyhedron_nonpublic.cc | 116 +-
src/Polyhedron_public.cc | 1368 +-
src/Polyhedron_widenings.cc | 135 +-
src/Powerset.defs.hh | 243 +-
src/Powerset.inlines.hh | 196 +-
src/Powerset.templates.hh | 20 +-
src/Powerset.types.hh | 2 +-
src/Ptr_Iterator.defs.hh | 8 +-
src/Ptr_Iterator.inlines.hh | 4 +-
src/Ptr_Iterator.types.hh | 2 +-
src/Rational_Box.hh | 38 +
src/Rational_Interval.hh | 56 +
src/Result.defs.hh | 16 +-
src/Result.inlines.hh | 26 +-
src/Rounding_Dir.defs.hh | 31 +-
src/Rounding_Dir.inlines.hh | 70 +-
src/Row.cc | 110 +-
src/Row.defs.hh | 58 +-
src/Row.inlines.hh | 30 +-
src/Row.types.hh | 2 +-
src/Saturation_Matrix.cc | 227 -
src/Saturation_Matrix.defs.hh | 177 -
src/Saturation_Matrix.inlines.hh | 145 -
src/Saturation_Matrix.types.hh | 21 -
src/Saturation_Row.cc | 347 -
src/Saturation_Row.defs.hh | 239 -
src/Saturation_Row.inlines.hh | 136 -
src/Saturation_Row.types.hh | 21 -
src/Scalar_Products.cc | 45 +-
src/Scalar_Products.defs.hh | 23 +-
src/Scalar_Products.inlines.hh | 19 +-
src/Scalar_Products.types.hh | 2 +-
src/Slow_Copy.hh | 60 +
src/Temp.defs.hh | 160 +
src/Temp.inlines.hh | 115 +
src/Temp.templates.hh | 33 +
src/Topology.hh | 4 +-
src/Variable.cc | 8 +-
src/Variable.defs.hh | 14 +-
src/Variable.inlines.hh | 4 +-
src/Variable.types.hh | 2 +-
src/Variables_Set.cc | 90 +
src/Variables_Set.defs.hh | 108 +
src/Variables_Set.inlines.hh | 74 +
src/Variables_Set.types.hh | 21 +
src/Widening_Function.defs.hh | 12 +-
src/Widening_Function.inlines.hh | 8 +-
src/Widening_Function.types.hh | 2 +-
src/algorithms.hh | 16 +-
src/assign_or_swap.hh | 69 +
src/checked.cc | 11 +-
src/checked.defs.hh | 319 +-
src/checked.inlines.hh | 447 +-
src/checked_ext.inlines.hh | 422 +-
src/checked_float.inlines.hh | 782 +-
src/checked_int.inlines.hh | 1517 +-
src/checked_mpq.inlines.hh | 310 +-
src/checked_mpz.inlines.hh | 386 +-
src/checked_numeric_limits.hh | 65 +-
src/compiler.hh | 26 +-
src/conversion.cc | 41 +-
src/distances.defs.hh | 53 +
src/distances.inlines.hh | 112 +
src/distances.types.hh | 28 +
src/fpu-c99.inlines.hh | 23 +-
src/fpu-ia32.cc | 67 +
src/fpu-ia32.inlines.hh | 126 +-
src/fpu-none.inlines.hh | 16 +-
src/fpu-sparc.inlines.hh | 22 +-
src/fpu.defs.hh | 16 +-
src/fpu.types.hh | 8 +-
src/globals.cc | 9 +-
src/globals.defs.hh | 294 +-
src/globals.inlines.hh | 56 +-
src/globals.types.hh | 10 +-
src/initializer.hh | 35 +-
src/iterator_to_const.defs.hh | 221 +
src/iterator_to_const.inlines.hh | 201 +
src/iterator_to_const.types.hh | 25 +
src/math_utilities.defs.hh | 110 +
src/math_utilities.inlines.hh | 120 +
src/max_space_dimension.hh | 48 +-
src/meta_programming.hh | 338 +
src/minimize.cc | 22 +-
src/mp_numeric_limits.hh | 157 -
src/mp_std_bits.cc | 72 +
src/mp_std_bits.defs.hh | 169 +
src/mp_std_bits.inlines.hh | 38 +
src/namespaces.hh | 10 +-
src/ppl-config.cc | 24 +-
src/ppl-config.cc.in | 16 +-
src/ppl.hh.dist | 100030 ++++++++++++------
src/ppl_header.hh | 38 +-
src/simplify.cc | 25 +-
src/swapping_sort.icc | 8 +-
src/version.cc | 14 +-
src/version.hh.in | 4 +-
tests/BBox.cc | 188 -
tests/BBox.hh | 129 -
tests/BD_Shape/Makefile.am | 166 +-
tests/BD_Shape/Makefile.in | 766 +-
tests/BD_Shape/addconstraints1.cc | 142 +-
tests/BD_Shape/addspacedims1.cc | 200 +-
tests/BD_Shape/affinedimension1.cc | 270 +-
tests/BD_Shape/affineimage1.cc | 297 +-
tests/BD_Shape/affineimage2.cc | 190 +-
tests/BD_Shape/affinepreimage1.cc | 373 +-
tests/BD_Shape/affinepreimage2.cc | 253 -
tests/BD_Shape/ascii_dump_load1.cc | 82 +-
tests/BD_Shape/bdsdifference1.cc | 216 +-
tests/BD_Shape/bdshull1.cc | 226 +-
tests/BD_Shape/bgp99extrapolation1.cc | 8 +-
tests/BD_Shape/bhmz05widening1.cc | 244 +-
tests/BD_Shape/bhz03widening1.cc | 8 +-
tests/BD_Shape/bounded1.cc | 96 +
tests/BD_Shape/boundedaffineimage1.cc | 487 +
tests/BD_Shape/boundedaffinepreimage1.cc | 359 +
tests/BD_Shape/bounds1.cc | 272 +
tests/BD_Shape/cc76extrapolation1.cc | 428 +-
tests/BD_Shape/cc76narrowing1.cc | 148 +-
tests/BD_Shape/closure1.cc | 214 +-
tests/BD_Shape/concatenate1.cc | 114 +-
tests/BD_Shape/congruences1.cc | 223 +
tests/BD_Shape/constrains1.cc | 228 +
tests/BD_Shape/constraints1.cc | 152 +-
tests/BD_Shape/contains1.cc | 125 +-
tests/BD_Shape/containsintegerpoint1.cc | 134 +
tests/BD_Shape/discrete1.cc | 214 +
tests/BD_Shape/disjoint1.cc | 192 +
tests/BD_Shape/empty1.cc | 162 +-
tests/BD_Shape/equality1.cc | 78 +-
tests/BD_Shape/expandspacedim1.cc | 245 +
tests/BD_Shape/foldspacedims1.cc | 337 +
tests/BD_Shape/frombdshape1.cc | 132 +
tests/BD_Shape/frombox1.cc | 357 +
tests/BD_Shape/fromgensys1.cc | 44 +-
tests/BD_Shape/fromgrid1.cc | 201 +
tests/BD_Shape/fromoctagonalshape1.cc | 55 +
tests/BD_Shape/frompolyhedron1.cc | 64 +
tests/BD_Shape/fromspacedim1.cc | 122 +
tests/BD_Shape/generalizedaffineimage1.cc | 385 +-
tests/BD_Shape/generalizedaffineimage2.cc | 315 +-
tests/BD_Shape/generalizedaffinepreimage1.cc | 299 +-
tests/BD_Shape/generalizedaffinepreimage2.cc | 559 +-
tests/BD_Shape/generalizedaffinepreimage3.cc | 173 +
tests/BD_Shape/geomcovers1.cc | 20 +-
tests/BD_Shape/h79widening1.cc | 32 +-
tests/BD_Shape/intersection1.cc | 282 +-
tests/BD_Shape/limitedbhmz05extrapolation1.cc | 252 +-
tests/BD_Shape/limitedcc76extrapolation1.cc | 361 +-
tests/BD_Shape/limitedh79extrapolation1.cc | 18 +-
tests/BD_Shape/mapspacedims1.cc | 101 +-
tests/BD_Shape/max_min1.cc | 780 +
tests/BD_Shape/max_min2.cc | 439 +
tests/BD_Shape/maxspacedim.cc | 92 -
tests/BD_Shape/maxspacedim1.cc | 85 +
tests/BD_Shape/membytes1.cc | 246 +
tests/BD_Shape/minconstraints1.cc | 52 +-
tests/BD_Shape/pointsetpowerset1.cc | 565 +
tests/BD_Shape/relations1.cc | 248 +-
tests/BD_Shape/relations2.cc | 221 +-
tests/BD_Shape/relations3.cc | 421 +-
tests/BD_Shape/relations4.cc | 435 +
tests/BD_Shape/removespacedims1.cc | 250 +-
tests/BD_Shape/run_tests | 22 +
tests/BD_Shape/timeelapse1.cc | 196 +-
tests/BD_Shape/unconstrain1.cc | 228 +
tests/BD_Shape/universe1.cc | 62 +-
tests/BD_Shape/writebdshape1.cc | 98 +-
tests/Box/Makefile.am | 304 +
tests/Box/Makefile.in | 1598 +
tests/Box/addconstraints1.cc | 288 +
tests/Box/addspacedims1.cc | 333 +
tests/Box/affinedimension1.cc | 291 +
tests/Box/affineimage1.cc | 437 +
tests/Box/affinepreimage1.cc | 181 +
tests/Box/ascii_dump_load1.cc | 252 +
tests/Box/bgp99extrapolation1.cc | 94 +
tests/Box/bhz03widening1.cc | 78 +
tests/Box/bounded1.cc | 96 +
tests/Box/boundedaffineimage1.cc | 515 +
tests/Box/boundedaffinepreimage1.cc | 518 +
tests/Box/boxdifference1.cc | 457 +
tests/Box/boxhull1.cc | 265 +
tests/Box/cc76narrowing1.cc | 208 +
tests/Box/cc76widening.cc | 86 +
tests/Box/concatenate1.cc | 237 +
tests/Box/congruences1.cc | 537 +
tests/Box/constrains1.cc | 187 +
tests/Box/constraints1.cc | 165 +
tests/Box/contains1.cc | 179 +
tests/Box/containsintegerpoint1.cc | 219 +
tests/Box/discrete1.cc | 205 +
tests/Box/disjoint1.cc | 191 +
tests/Box/empty1.cc | 225 +
tests/Box/equality1.cc | 130 +
tests/Box/expandspacedim1.cc | 244 +
tests/Box/foldspacedims1.cc | 276 +
tests/Box/frombdshape1.cc | 87 +
tests/Box/frombox1.cc | 158 +
tests/Box/fromgensys1.cc | 181 +
tests/Box/fromgrid1.cc | 486 +
tests/Box/frompartiallyreducedproduct1.cc | 136 +
tests/Box/frompolyhedron1.cc | 526 +
tests/Box/frompolyhedron2.cc | 141 +
tests/Box/fromspacedim1.cc | 110 +
tests/Box/generalizedaffineimage1.cc | 632 +
tests/Box/generalizedaffineimage2.cc | 608 +
tests/Box/generalizedaffinepreimage1.cc | 474 +
tests/Box/geomcovers1.cc | 71 +
tests/Box/intersection1.cc | 462 +
tests/Box/mapspacedims1.cc | 288 +
tests/Box/max_min1.cc | 773 +
tests/Box/maxspacedim1.cc | 58 +
tests/Box/membytes1.cc | 111 +
tests/Box/minconstraints1.cc | 94 +
tests/Box/pointsetpowerset1.cc | 544 +
tests/Box/pointsetpowerset2.cc | 478 +
tests/Box/refinewithcongruences1.cc | 403 +
tests/Box/refinewithconstraint1.cc | 127 +
tests/Box/refinewithconstraint2.cc | 80 +
tests/Box/refinewithconstraints1.cc | 611 +
tests/Box/refinewithconstraints2.cc | 444 +
tests/Box/relations1.cc | 470 +
tests/Box/relations2.cc | 442 +
tests/Box/relations3.cc | 401 +
tests/Box/relations4.cc | 485 +
tests/Box/removespacedims1.cc | 367 +
tests/Box/run_tests | 52 +
tests/Box/timeelapse1.cc | 207 +
tests/Box/topclosed1.cc | 205 +
tests/Box/unconstrain1.cc | 229 +
tests/Box/universe1.cc | 89 +
tests/Box/writebox1.cc | 78 +
tests/FCAIBVP.cc | 47 +
tests/FCAIBVP.defs.hh | 94 +
tests/FCAIBVP.inlines.hh | 129 +
tests/FCAIBVP.types.hh | 21 +
tests/Grid/Makefile.am | 145 +-
tests/Grid/Makefile.in | 1061 +-
tests/Grid/addcongruence1.cc | 46 +-
tests/Grid/addcongruences1.cc | 79 +-
tests/Grid/addconstraint1.cc | 17 +-
tests/Grid/addconstraints1.cc | 78 +-
tests/Grid/addgenerator1.cc | 110 +-
tests/Grid/addgenerators1.cc | 165 +-
tests/Grid/addspacedims1.cc | 89 +-
tests/Grid/affinedim1.cc | 104 +-
tests/Grid/affineimage1.cc | 127 +-
tests/Grid/affineimage2.cc | 144 +-
tests/Grid/affinepreimage1.cc | 159 +-
tests/Grid/affinepreimage2.cc | 64 +-
tests/Grid/asciidumpload1.cc | 466 +-
tests/Grid/asciidumpload2.cc | 494 +
tests/Grid/asciidumpload3.cc | 123 +
tests/Grid/asciidumpload4.cc | 144 +
tests/Grid/asciidumpload5.cc | 154 +
tests/Grid/asciidumpload6.cc | 144 +
tests/Grid/asciidumpload7.cc | 239 +
tests/Grid/bhz03widening1.cc | 11 +-
tests/Grid/bounded1.cc | 132 +-
tests/Grid/boundedaffineimage1.cc | 184 +
tests/Grid/boundedaffinepreimage1.cc | 184 +
tests/Grid/boundingbox1.cc | 274 +-
tests/Grid/boundingbox2.cc | 520 -
tests/Grid/bounds1.cc | 120 +-
tests/Grid/certificate1.cc | 30 +-
tests/Grid/concatenate1.cc | 17 +-
tests/Grid/congruence1.cc | 145 +-
tests/Grid/congruences1.cc | 197 +-
tests/Grid/congruences2.cc | 336 +
tests/Grid/congruencesystem1.cc | 419 -
tests/Grid/constraints1.cc | 353 +
tests/Grid/contains1.cc | 22 +-
tests/Grid/containsintegerpoint1.cc | 289 +
tests/Grid/copyconstruct1.cc | 70 -
tests/Grid/coveringbox1.cc | 137 +-
tests/Grid/coveringbox2.cc | 445 +-
tests/Grid/discrete1.cc | 107 +-
tests/Grid/disjoint1.cc | 54 +-
tests/Grid/equals1.cc | 80 +-
tests/Grid/expandspacedim1.cc | 28 +-
tests/Grid/foldspacedims1.cc | 28 +-
tests/Grid/frombdshape1.cc | 53 +
tests/Grid/fromgrid1.cc | 101 +
tests/Grid/fromoctagonalshape1.cc | 53 +
tests/Grid/frompolyhedron1.cc | 342 +
tests/Grid/generalizedaffineimage1.cc | 144 +-
tests/Grid/generalizedaffineimage2.cc | 173 +-
tests/Grid/generalizedaffineimage3.cc | 376 +
tests/Grid/generalizedaffinepreimage1.cc | 197 +-
tests/Grid/generalizedaffinepreimage2.cc | 129 +-
tests/Grid/generalizedaffinepreimage3.cc | 461 +
tests/Grid/generator1.cc | 304 +-
tests/Grid/generators1.cc | 225 +-
tests/Grid/generators2.cc | 55 +
tests/Grid/grid1.cc | 362 +-
tests/Grid/grid2.cc | 107 +-
tests/Grid/grid3.cc | 356 +-
tests/Grid/griddifference1.cc | 38 +-
tests/Grid/intersection1.cc | 34 +-
tests/Grid/isempty1.cc | 6 +-
tests/Grid/isuniverse1.cc | 4 +-
tests/Grid/join1.cc | 98 +-
tests/Grid/join2.cc | 88 +-
tests/Grid/limitedextrapolation1.cc | 112 +-
tests/Grid/limitedextrapolation2.cc | 498 +
tests/Grid/limitedextrapolation3.cc | 498 +
tests/Grid/mapspacedims1.cc | 26 +-
tests/Grid/maxmin1.cc | 176 +-
tests/Grid/membytes1.cc | 28 +-
tests/Grid/mincongruences1.cc | 13 +-
tests/Grid/mingenerators1.cc | 38 +-
tests/Grid/outputoperator1.cc | 33 +-
tests/Grid/outputoperator2.cc | 99 +
tests/Grid/outputoperator3.cc | 90 +
tests/Grid/partition1.cc | 108 +
tests/Grid/pointsetpowerset1.cc | 481 +
tests/Grid/powersetdifference1.cc | 314 +
tests/Grid/powersetgeometricallycovers1.cc | 180 +
tests/Grid/powersetgeometricallyequals1.cc | 113 +
tests/Grid/refinewithcongruences1.cc | 135 +
tests/Grid/refinewithconstraints1.cc | 132 +
tests/Grid/relations1.cc | 208 +-
tests/Grid/relations2.cc | 183 +-
tests/Grid/relations3.cc | 462 +
tests/Grid/removespacedims1.cc | 269 +-
tests/Grid/removespacedims2.cc | 334 +
tests/Grid/timeelapse1.cc | 40 +-
tests/Grid/topclosed1.cc | 128 +-
tests/Grid/topclosure1.cc | 4 +-
tests/Grid/unconstrain1.cc | 229 +
tests/Grid/widening1.cc | 131 +-
tests/Grid/widening2.cc | 485 +
tests/Grid/widening3.cc | 314 +
tests/Grid/writecongruencesystem.cc | 7 +-
tests/MIP_Problem/Makefile.am | 85 +
tests/MIP_Problem/Makefile.in | 717 +
tests/MIP_Problem/ascii_dump_load1.cc | 417 +
tests/MIP_Problem/exceptions1.cc | 507 +
tests/MIP_Problem/mipproblem1.cc | 1699 +
tests/MIP_Problem/mipproblem2.cc | 157 +
tests/MIP_Problem/mipproblem3.cc | 894 +
tests/Makefile.am | 22 +-
tests/Makefile.in | 320 +-
tests/Octagonal_Shape/Makefile.am | 277 +
tests/Octagonal_Shape/Makefile.in | 1509 +
tests/Octagonal_Shape/addspacedims1.cc | 234 +
tests/Octagonal_Shape/affinedimension1.cc | 305 +
tests/Octagonal_Shape/affineimage1.cc | 459 +
tests/Octagonal_Shape/affineimage2.cc | 553 +
tests/Octagonal_Shape/affinepreimage1.cc | 293 +
tests/Octagonal_Shape/affinepreimage2.cc | 425 +
tests/Octagonal_Shape/ascii_dump_load1.cc | 330 +
tests/Octagonal_Shape/bhmz05widening1.cc | 708 +
tests/Octagonal_Shape/bhz03widening1.cc | 76 +
tests/Octagonal_Shape/bounded1.cc | 130 +
tests/Octagonal_Shape/boundedaffineimage1.cc | 601 +
tests/Octagonal_Shape/boundedaffinepreimage1.cc | 572 +
tests/Octagonal_Shape/bounds1.cc | 311 +
tests/Octagonal_Shape/cc76extrapolation1.cc | 516 +
tests/Octagonal_Shape/cc76narrowing1.cc | 264 +
tests/Octagonal_Shape/chinainit.cc | 75 +
tests/Octagonal_Shape/concatenate1.cc | 282 +
tests/Octagonal_Shape/congruences1.cc | 228 +
tests/Octagonal_Shape/constrains1.cc | 231 +
tests/Octagonal_Shape/constraints1.cc | 375 +
tests/Octagonal_Shape/contains1.cc | 349 +
tests/Octagonal_Shape/containsintegerpoint1.cc | 195 +
tests/Octagonal_Shape/discrete1.cc | 212 +
tests/Octagonal_Shape/disjoint1.cc | 189 +
tests/Octagonal_Shape/empty1.cc | 130 +
tests/Octagonal_Shape/expandspacedim1.cc | 294 +
tests/Octagonal_Shape/foldspacedims1.cc | 441 +
tests/Octagonal_Shape/frombdshape1.cc | 54 +
tests/Octagonal_Shape/frombox1.cc | 357 +
tests/Octagonal_Shape/fromgensys1.cc | 270 +
tests/Octagonal_Shape/fromgrid1.cc | 201 +
tests/Octagonal_Shape/fromoctagonalshape1.cc | 132 +
tests/Octagonal_Shape/frompolyhedron1.cc | 244 +
tests/Octagonal_Shape/fromspacedim1.cc | 122 +
tests/Octagonal_Shape/generalizedaffineimage1.cc | 603 +
tests/Octagonal_Shape/generalizedaffineimage2.cc | 356 +
tests/Octagonal_Shape/generalizedaffineimage3.cc | 592 +
tests/Octagonal_Shape/generalizedaffineimage4.cc | 380 +
tests/Octagonal_Shape/generalizedaffineimage5.cc | 343 +
.../Octagonal_Shape/generalizedaffinepreimage1.cc | 617 +
.../Octagonal_Shape/generalizedaffinepreimage2.cc | 619 +
.../Octagonal_Shape/generalizedaffinepreimage3.cc | 617 +
.../Octagonal_Shape/generalizedaffinepreimage4.cc | 637 +
tests/Octagonal_Shape/intersection1.cc | 376 +
.../Octagonal_Shape/limitedbhmz05extrapolation1.cc | 339 +
tests/Octagonal_Shape/limitedcc76extrapolation1.cc | 660 +
tests/Octagonal_Shape/mapspacedims1.cc | 262 +
tests/Octagonal_Shape/max_min1.cc | 691 +
tests/Octagonal_Shape/max_min2.cc | 310 +
tests/Octagonal_Shape/maxspacedim1.cc | 86 +
tests/Octagonal_Shape/membytes1.cc | 233 +
tests/Octagonal_Shape/minconstraints1.cc | 134 +
tests/Octagonal_Shape/octdifference1.cc | 257 +
tests/Octagonal_Shape/octhull1.cc | 392 +
tests/Octagonal_Shape/pointsetpowerset1.cc | 488 +
tests/Octagonal_Shape/relatwithcons1.cc | 595 +
tests/Octagonal_Shape/relatwithcons2.cc | 475 +
tests/Octagonal_Shape/relatwithcons3.cc | 508 +
tests/Octagonal_Shape/relatwithgen1.cc | 495 +
tests/Octagonal_Shape/removespacedims1.cc | 374 +
tests/Octagonal_Shape/run_tests | 52 +
tests/Octagonal_Shape/timeelapse1.cc | 371 +
tests/Octagonal_Shape/unconstrain1.cc | 228 +
tests/Octagonal_Shape/universe1.cc | 111 +
tests/Octagonal_Shape/writeoctagon1.cc | 210 +
tests/Partial_Function.cc | 5 +-
tests/Partial_Function.defs.hh | 4 +-
tests/Partial_Function.inlines.hh | 4 +-
tests/Partial_Function.types.hh | 2 +-
tests/Partially_Reduced_Product/Makefile.am | 68 +
tests/Partially_Reduced_Product/Makefile.in | 769 +
tests/Partially_Reduced_Product/directproduct1.cc | 606 +
tests/Partially_Reduced_Product/directproduct2.cc | 505 +
tests/Partially_Reduced_Product/directproduct3.cc | 793 +
tests/Partially_Reduced_Product/directproduct4.cc | 358 +
tests/Partially_Reduced_Product/directproduct5.cc | 601 +
tests/Partially_Reduced_Product/directproduct6.cc | 640 +
.../partiallyreducedproduct1.cc | 835 +
.../partiallyreducedproduct2.cc | 893 +
.../partiallyreducedproduct3.cc | 755 +
.../partiallyreducedproduct4.cc | 278 +
tests/Polyhedron/Makefile.am | 440 +-
tests/Polyhedron/Makefile.in | 2550 +-
tests/Polyhedron/README | 6 +-
tests/Polyhedron/addcongruence1.cc | 111 +-
tests/Polyhedron/addcongruences1.cc | 106 +-
tests/Polyhedron/addconstraint1.cc | 8 +-
tests/Polyhedron/addconstraints1.cc | 28 +-
tests/Polyhedron/addconstraints2.cc | 6 +-
tests/Polyhedron/addgenerator1.cc | 6 +-
tests/Polyhedron/addgenerator2.cc | 8 +-
tests/Polyhedron/addgenerators1.cc | 28 +-
tests/Polyhedron/addgenerators2.cc | 6 +-
tests/Polyhedron/addspacedims1.cc | 18 +-
tests/Polyhedron/addspacedims2.cc | 16 +-
tests/Polyhedron/affineimage1.cc | 34 +-
tests/Polyhedron/affineimage2.cc | 4 +-
tests/Polyhedron/affinepreimage1.cc | 54 +-
tests/Polyhedron/affinetrans.cc | 4 +-
tests/Polyhedron/append1.cc | 21 +-
tests/Polyhedron/append2.cc | 21 +-
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 | 20 +-
tests/Polyhedron/bhrz03widening1.cc | 42 +-
tests/Polyhedron/bhrz03widening2.cc | 18 +-
tests/Polyhedron/bhrz03widening3.cc | 57 +-
tests/Polyhedron/bhz03widening1.cc | 74 +-
tests/Polyhedron/bounded1.cc | 4 +-
tests/Polyhedron/boundedaffineimage1.cc | 133 +-
tests/Polyhedron/boundedaffinepreimage1.cc | 18 +-
tests/Polyhedron/boundedbhrz03extrapolation1.cc | 6 +-
tests/Polyhedron/boundedh79extrapolation1.cc | 6 +-
tests/Polyhedron/boundingbox1.cc | 594 -
tests/Polyhedron/boundingbox2.cc | 50 -
tests/Polyhedron/boundingbox3.cc | 218 -
tests/Polyhedron/bounds1.cc | 4 +-
tests/Polyhedron/bug2.cc | 62 -
tests/Polyhedron/cnncconversion1.cc | 54 +-
tests/Polyhedron/concatenate1.cc | 26 +-
tests/Polyhedron/congruences1.cc | 323 +-
tests/Polyhedron/constrains1.cc | 232 +
tests/Polyhedron/constraints1.cc | 6 +-
tests/Polyhedron/contains1.cc | 4 +-
tests/Polyhedron/contains2.cc | 4 +-
tests/Polyhedron/containsintegerpoint1.cc | 127 +
tests/Polyhedron/disjoint1.cc | 4 +-
tests/Polyhedron/disjoint2.cc | 4 +-
tests/Polyhedron/dualhypercubes.cc | 271 +-
tests/Polyhedron/empty1.cc | 4 +-
tests/Polyhedron/equals1.cc | 4 +-
tests/Polyhedron/exceptions1.cc | 768 +-
tests/Polyhedron/exceptions2.cc | 545 +-
tests/Polyhedron/exceptions3.cc | 130 +-
tests/Polyhedron/expandspacedim1.cc | 20 +-
tests/Polyhedron/expandspacedim2.cc | 8 +-
tests/Polyhedron/foldspacedims1.cc | 22 +-
tests/Polyhedron/foldspacedims2.cc | 18 +-
tests/Polyhedron/frombdshape1.cc | 56 +
tests/Polyhedron/frombox1.cc | 258 +
tests/Polyhedron/frombox2.cc | 111 +
tests/Polyhedron/fromgrid1.cc | 201 +
tests/Polyhedron/fromoctagonalshape1.cc | 55 +
tests/Polyhedron/generalizedaffineimage1.cc | 74 +-
tests/Polyhedron/generalizedaffineimage2.cc | 118 +-
tests/Polyhedron/generalizedaffinepreimage1.cc | 28 +-
tests/Polyhedron/generalizedaffinepreimage2.cc | 10 +-
tests/Polyhedron/generators1.cc | 4 +-
tests/Polyhedron/geomcovers1.cc | 10 +-
tests/Polyhedron/h79widening1.cc | 81 +-
tests/Polyhedron/h79widening2.cc | 6 +-
tests/Polyhedron/hybrid.cc | 868 +
tests/Polyhedron/intersection1.cc | 35 +-
tests/Polyhedron/limitedbhrz03extrapolation1.cc | 21 +-
tests/Polyhedron/limitedh79extrapolation1.cc | 36 +-
tests/Polyhedron/linearpartition1.cc | 95 +-
tests/Polyhedron/linearsystem1.cc | 7 +-
tests/Polyhedron/linexpression1.cc | 4 +-
tests/Polyhedron/lpproblem1.cc | 764 -
tests/Polyhedron/mapspacedims1.cc | 64 +-
tests/Polyhedron/matrix1.cc | 35 +-
tests/Polyhedron/max_min1.cc | 47 +-
tests/Polyhedron/maxspacedim1.cc | 115 +-
tests/Polyhedron/mc91.cc | 14 +-
tests/Polyhedron/membytes1.cc | 89 +-
tests/Polyhedron/membytes2.cc | 92 -
tests/Polyhedron/memory1.cc | 56 +-
tests/Polyhedron/memory2.cc | 22 +-
tests/Polyhedron/minconstraints1.cc | 4 +-
tests/Polyhedron/minconstraints2.cc | 4 +-
tests/Polyhedron/mingenerators1.cc | 4 +-
tests/Polyhedron/mingenerators2.cc | 4 +-
tests/Polyhedron/nncminimize1.cc | 30 +-
tests/Polyhedron/nncminimize2.cc | 4 +-
tests/Polyhedron/numberinput1.cc | 38 +-
tests/Polyhedron/onepoint.cc | 4 +-
tests/Polyhedron/permute.cc | 6 +-
tests/Polyhedron/polydifference1.cc | 33 +-
tests/Polyhedron/polydifference2.cc | 35 +-
tests/Polyhedron/polyhull1.cc | 30 +-
tests/Polyhedron/polyhull2.cc | 4 +-
tests/Polyhedron/polypowerset1.cc | 382 -
tests/Polyhedron/powerset1.cc | 249 -
tests/Polyhedron/randphull1.cc | 160 +-
tests/Polyhedron/randphull2.cc | 131 -
tests/Polyhedron/refinewithcongruence1.cc | 105 +
tests/Polyhedron/refinewithcongruences1.cc | 336 +
tests/Polyhedron/refinewithconstraint1.cc | 108 +
tests/Polyhedron/refinewithconstraints1.cc | 322 +
tests/Polyhedron/relations1.cc | 56 +-
tests/Polyhedron/relations2.cc | 102 +-
tests/Polyhedron/relations3.cc | 26 +-
tests/Polyhedron/removespacedims1.cc | 16 +-
tests/Polyhedron/removespacedims2.cc | 8 +-
tests/Polyhedron/simplifyusingcontext1.cc | 644 +
tests/Polyhedron/smm1.cc | 90 +-
tests/Polyhedron/timeelapse1.cc | 46 +-
tests/Polyhedron/timeelapse2.cc | 22 +-
tests/Polyhedron/topclosed1.cc | 4 +-
tests/Polyhedron/topclosure1.cc | 18 +-
tests/Polyhedron/unconstrain1.cc | 228 +
tests/Polyhedron/universe1.cc | 16 +-
tests/Polyhedron/universe2.cc | 12 +-
tests/Polyhedron/variablesset1.cc | 159 +
tests/Polyhedron/watchdog1.cc | 4 +-
tests/Polyhedron/writeconsys1.cc | 60 +-
tests/Polyhedron/writegensys1.cc | 48 +-
tests/Polyhedron/writepolyhedron1.cc | 36 +-
tests/Polyhedron/writepolyhedron2.cc | 25 +-
tests/Polyhedron/writerelation1.cc | 105 +-
tests/Polyhedron/writevariable1.cc | 4 +-
tests/Powerset/Makefile.am | 70 +
tests/Powerset/Makefile.in | 739 +
tests/Powerset/pointsetpowerset1.cc | 508 +
tests/Powerset/pointsetpowerset2.cc | 504 +
tests/Powerset/pointsetpowerset3.cc | 381 +
tests/Powerset/pointsetpowerset4.cc | 686 +
tests/Powerset/pointsetpowerset5.cc | 629 +
tests/Powerset/pointsetpowerset6.cc | 372 +
tests/Powerset/powerset1.cc | 177 +
tests/Powerset/product1.cc | 72 +
tests/Powerset/simplifyusingcontext1.cc | 392 +
tests/Random_Number_Generator.defs.hh | 4 +-
tests/Random_Number_Generator.inlines.hh | 6 +-
tests/Random_Number_Generator.types.hh | 2 +-
tests/files.cc | 7 +-
tests/files.hh | 4 +-
tests/ppl_test.cc | 51 +-
tests/ppl_test.hh | 717 +-
tests/print.cc | 6 +-
tests/print.hh | 69 +-
utils/Makefile.am | 12 +-
utils/Makefile.in | 271 +-
utils/build_header.in | 4 +-
utils/cm_cleaner.sh | 37 +
utils/cm_splitter.sh | 43 +
utils/text2cxxarray.in | 4 +-
utils/timings.cc | 25 +-
utils/timings.hh | 4 +-
1349 files changed, 520774 insertions(+), 166567 deletions(-)
diff --cc debian/changelog
index c76ef84,0000000..33c6286
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,35 -1,0 +1,51 @@@
++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/compat
index b8626c4,0000000..7ed6ff8
mode 100644,000000..100644
--- a/debian/compat
+++ b/debian/compat
@@@ -1,1 -1,0 +1,1 @@@
- 4
++5
diff --cc debian/control
index d259a72,0000000..f6ebced
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,84 -1,0 +1,95 @@@
+Source: ppl
+Section: libs
+Priority: optional
- Maintainer: Michael Tautschnig <mt at debian.org>
++Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
++Uploaders: Michael Tautschnig <mt at debian.org>, Arthur Loiret <arthur.loiret at gmail.com>
+Standards-Version: 3.8.0
- Build-Depends: debhelper (>= 4), binutils, libgmp3-dev (>= 4.1.3), automake, libtool, doxygen, graphviz, glpk, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, xpdf-utils, ghostscript, texlive-extra-utils
- Build-Conflicts: automake1.4
++Build-Depends: debhelper (>= 6.0.7~), libgmp3-dev (>= 4.1.3), autoconf, automake, libtool, autotools-dev, doxygen, graphviz, glpk, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, xpdf-utils, ghostscript, texlive-extra-utils
+Homepage: http://www.cs.unipr.it/ppl/
+
- Package: libppl6
++Package: libppl7
+Architecture: any
+Depends: ${shlibs:Depends}
- Description: Parma Polyhedra Library: base package
++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: libppl-dev
+Architecture: any
+Section: libdevel
- Depends: libppl6 (= ${binary:Version}), graphviz
- Recommends: libgmp3-dev
++Depends: libppl7 (= ${binary:Version}), libppl-c0 (= ${binary:Version}), ${shlibs:Depends}
++Recommends: libgmp3-dev (>= 4.1.3), graphviz
+Suggests: libppl-doc, libgmp3-doc
- Description: Parma Polyhedra Library: C++ interface
++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 C++ header files, the static library and
- various formats of the developer documentation.
++ This package provides the header files and static libraries for the
++ C and C++ interfaces.
+
+Package: libppl-c0
+Architecture: any
- Depends: libppl6 (= ${binary:Version}), ${shlibs:Depends}
- Description: Parma Polyhedra Library: C interface
++Depends: libppl7 (= ${binary:Version}), ${shlibs: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: libpwl3
++Package: libpwl4
+Architecture: any
- Section: libs
+Depends: ${shlibs:Depends}
- Description: Parma Watchdog Library: C++ library for watchdog timers
++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
++Section: libdevel
++Depends: libpwl4 (= ${binary:Version}), ${shlibs:Depends}
++Provides: libppl-pwl-dev
++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.
+
+Package: libppl-doc
+Architecture: all
+Section: doc
+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.
diff --cc debian/copyright
index 215acc5,0000000..6385558
mode 100644,000000..100644
--- a/debian/copyright
+++ b/debian/copyright
@@@ -1,119 -1,0 +1,117 @@@
+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.
++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.
+
- The PPL 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 2 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.
+
- The PPL 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
+
- 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, Free Software Foundation, MA 02110-1301,
- USA.
-
- For the most up-to-date information see the Parma Polyhedra Library
- site: http://www.cs.unipr.it/ppl/ .
++On Debian systems, the complete text of the GNU General
++Public License can be found in `/usr/share/common-licenses/GPL'
+
+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/
+
- On Debian systems, the complete text of the GNU General Public
- License, version 2, can be found in /usr/share/common-licenses/GPL-2.
-
+The documentation of the PPL is licensed under the GNU Free Documentation
- License (v1.2), appended at the end of this file.
++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/LP_Problem.types.hh
+src/BHRZ03_Certificate.types.hh
+src/Polyhedron.types.hh
+src/fpu.types.hh
+src/Determinate.types.hh
+src/Saturation_Matrix.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/Saturation_Row.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
+src/Bounding_Box.types.hh
+src/Polyhedra_Powerset.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
+
+
diff --cc debian/libppl-c0.links
index 47dd048,0000000..f7a3321
mode 100644,000000..100644
--- a/debian/libppl-c0.links
+++ b/debian/libppl-c0.links
@@@ -1,1 -1,0 +1,1 @@@
- usr/share/doc/libppl6 usr/share/doc/libppl-c0
++usr/share/doc/libppl7 usr/share/doc/libppl-c0
diff --cc debian/libppl-dev.install
index 1be1444,0000000..fc2f4eb
mode 100644,000000..100644
--- a/debian/libppl-dev.install
+++ b/debian/libppl-dev.install
@@@ -1,6 -1,0 +1,14 @@@
- usr/lib/libppl.la
- usr/lib/libppl.a
++usr/include
++
+usr/lib/libppl.so
- usr/include/ppl_c.h
- usr/include/ppl.hh
- usr/include/pwl.hh
++usr/lib/libppl.a
++
++usr/lib/libppl_c.a
++usr/lib/libppl_c.so
++
++/usr/bin/ppl-config
++/usr/bin/ppl_lcdd
++
++usr/share/aclocal/ppl.m4
++usr/share/aclocal/ppl_c.m4
++
diff --cc debian/libppl-dev.links
index db5fa26,0000000..274381b
mode 100644,000000..100644
--- a/debian/libppl-dev.links
+++ b/debian/libppl-dev.links
@@@ -1,1 -1,0 +1,1 @@@
- usr/share/doc/libppl6 usr/share/doc/libppl-dev
++usr/share/doc/libppl7 usr/share/doc/libppl-dev
diff --cc debian/libppl-doc.lintian-overrides
index 0000000,0000000..5402ad0
new file mode 100644
--- /dev/null
+++ b/debian/libppl-doc.lintian-overrides
@@@ -1,0 -1,0 +1,38 @@@
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/checked__float_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/checked__int_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/checked__mpq_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/checked__mpz_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1Checked__Number__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1DB__Matrix_1_1const__iterator__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1DB__Row__Impl__Handler_1_1Impl__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1Determinate_1_1Binary__Operator__Assign__Lifter__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1Interval__Info__Bitset__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1Limited__Widening__Function__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1Matrix_1_1const__iterator__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1OR__Matrix_1_1Pseudo__Row__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/classParma__Polyhedra__Library_1_1Partially__Reduced__Product__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/C__Polyhedron_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Determinate_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/distances_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Float_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/globals_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/globals_8types_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Init_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Interval__Info_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/meta__programming_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/OR__Matrix_8templates_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Partially__Reduced__Product_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Powerset_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Powerset_8templates_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/structParma__Polyhedra__Library_1_1Checked_1_1Extended__Int__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/structParma__Polyhedra__Library_1_1Interval__NS_1_1Property__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/structParma__Polyhedra__Library_1_1TConstant__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Widening__Function_8inlines_8hh__incl.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/user-manual/classParma__Polyhedra__Library_1_1Congruence__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/user-manual/classParma__Polyhedra__Library_1_1Congruence__System__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/user-manual/classParma__Polyhedra__Library_1_1Constraint__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/user-manual/classParma__Polyhedra__Library_1_1Constraint__System__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/user-manual/classParma__Polyhedra__Library_1_1Generator__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/user-manual/classParma__Polyhedra__Library_1_1Generator__System__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/user-manual/classParma__Polyhedra__Library_1_1Linear__Expression__coll__graph.map
++libppl-doc binary: zero-byte-file-in-doc-directory usr/share/doc/libppl-doc/html/developer-reference/Bit__Matrix_8inlines_8hh__incl.map
diff --cc debian/libppl-pwl.copyright.in
index 16a6b17,0000000..4a80a5d
mode 100644,000000..100644
--- a/debian/libppl-pwl.copyright.in
+++ b/debian/libppl-pwl.copyright.in
@@@ -1,444 -1,0 +1,444 @@@
+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/
+
+
+Sources: this package was put together by the PPL developers
+<ppl-devel at cs.unipr.it>, with sources obtained from
+
+ ftp://ftp.cs.unipr.it/pub/ppl/releases/@VERSION@/ppl-@VERSION@.tar.gz
+
+or, for prereleases, from the anonymously accessible CVS repository
+
+ :pserver:anoncvs at cvs.cs.unipr.it:/cvs/ppl
+
+
+Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
+for the complete list of authors.
+
+
- Copyright: 2001-2006 Roberto Bagnara <bagnara at cs.unipr.it>
++Copyright: 2001-2008 Roberto Bagnara <bagnara at cs.unipr.it>
+
+ The PPL 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 2 of the License, or (at your
++ Free Software Foundation; either version 3 of the License, or (at your
+ option) any later version.
+
+ The PPL 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 Street, Fifth Floor, Boston, MA 02111-1307, USA.
+
+On Debian systems, the complete text of the GNU General Public
- License, version 2, can be found in /usr/share/common-licenses/GPL-2.
++License, version 3, can be found in /usr/share/common-licenses/GPL-3.
+
+The documentation of the PPL is licensed under the GNU Free Documentation
+License (v1.2), appended at the end of this file.
+
+
+==============================================================================
+
+ GNU Free Documentation License
+ Version 1.2, November 2002
+
+
+ Copyright (C) 2000,2001,2002 Free Software Foundation, Inc.
+ 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license document, but changing it is not allowed.
+
+
+0. PREAMBLE
+
+The purpose of this License is to make a manual, textbook, or other
+functional and useful document "free" in the sense of freedom: to
+assure everyone the effective freedom to copy and redistribute it,
+with or without modifying it, either commercially or noncommercially.
+Secondarily, this License preserves for the author and publisher a way
+to get credit for their work, while not being considered responsible
+for modifications made by others.
+
+This License is a kind of "copyleft", which means that derivative
+works of the document must themselves be free in the same sense. It
+complements the GNU General Public License, which is a copyleft
+license designed for free software.
+
+We have designed this License in order to use it for manuals for free
+software, because free software needs free documentation: a free
+program should come with manuals providing the same freedoms that the
+software does. But this License is not limited to software manuals;
+it can be used for any textual work, regardless of subject matter or
+whether it is published as a printed book. We recommend this License
+principally for works whose purpose is instruction or reference.
+
+
+1. APPLICABILITY AND DEFINITIONS
+
+This License applies to any manual or other work, in any medium, that
+contains a notice placed by the copyright holder saying it can be
+distributed under the terms of this License. Such a notice grants a
+world-wide, royalty-free license, unlimited in duration, to use that
+work under the conditions stated herein. The "Document", below,
+refers to any such manual or work. Any member of the public is a
+licensee, and is addressed as "you". You accept the license if you
+copy, modify or distribute the work in a way requiring permission
+under copyright law.
+
+A "Modified Version" of the Document means any work containing the
+Document or a portion of it, either copied verbatim, or with
+modifications and/or translated into another language.
+
+A "Secondary Section" is a named appendix or a front-matter section of
+the Document that deals exclusively with the relationship of the
+publishers or authors of the Document to the Document's overall subject
+(or to related matters) and contains nothing that could fall directly
+within that overall subject. (Thus, if the Document is in part a
+textbook of mathematics, a Secondary Section may not explain any
+mathematics.) The relationship could be a matter of historical
+connection with the subject or with related matters, or of legal,
+commercial, philosophical, ethical or political position regarding
+them.
+
+The "Invariant Sections" are certain Secondary Sections whose titles
+are designated, as being those of Invariant Sections, in the notice
+that says that the Document is released under this License. If a
+section does not fit the above definition of Secondary then it is not
+allowed to be designated as Invariant. The Document may contain zero
+Invariant Sections. If the Document does not identify any Invariant
+Sections then there are none.
+
+The "Cover Texts" are certain short passages of text that are listed,
+as Front-Cover Texts or Back-Cover Texts, in the notice that says that
+the Document is released under this License. A Front-Cover Text may
+be at most 5 words, and a Back-Cover Text may be at most 25 words.
+
+A "Transparent" copy of the Document means a machine-readable copy,
+represented in a format whose specification is available to the
+general public, that is suitable for revising the document
+straightforwardly with generic text editors or (for images composed of
+pixels) generic paint programs or (for drawings) some widely available
+drawing editor, and that is suitable for input to text formatters or
+for automatic translation to a variety of formats suitable for input
+to text formatters. A copy made in an otherwise Transparent file
+format whose markup, or absence of markup, has been arranged to thwart
+or discourage subsequent modification by readers is not Transparent.
+An image format is not Transparent if used for any substantial amount
+of text. A copy that is not "Transparent" is called "Opaque".
+
+Examples of suitable formats for Transparent copies include plain
+ASCII without markup, Texinfo input format, LaTeX input format, SGML
+or XML using a publicly available DTD, and standard-conforming simple
+HTML, PostScript or PDF designed for human modification. Examples of
+transparent image formats include PNG, XCF and JPG. Opaque formats
+include proprietary formats that can be read and edited only by
+proprietary word processors, SGML or XML for which the DTD and/or
+processing tools are not generally available, and the
+machine-generated HTML, PostScript or PDF produced by some word
+processors for output purposes only.
+
+The "Title Page" means, for a printed book, the title page itself,
+plus such following pages as are needed to hold, legibly, the material
+this License requires to appear in the title page. For works in
+formats which do not have any title page as such, "Title Page" means
+the text near the most prominent appearance of the work's title,
+preceding the beginning of the body of the text.
+
+A section "Entitled XYZ" means a named subunit of the Document whose
+title either is precisely XYZ or contains XYZ in parentheses following
+text that translates XYZ in another language. (Here XYZ stands for a
+specific section name mentioned below, such as "Acknowledgements",
+"Dedications", "Endorsements", or "History".) To "Preserve the Title"
+of such a section when you modify the Document means that it remains a
+section "Entitled XYZ" according to this definition.
+
+The Document may include Warranty Disclaimers next to the notice which
+states that this License applies to the Document. These Warranty
+Disclaimers are considered to be included by reference in this
+License, but only as regards disclaiming warranties: any other
+implication that these Warranty Disclaimers may have is void and has
+no effect on the meaning of this License.
+
+
+2. VERBATIM COPYING
+
+You may copy and distribute the Document in any medium, either
+commercially or noncommercially, provided that this License, the
+copyright notices, and the license notice saying this License applies
+to the Document are reproduced in all copies, and that you add no other
+conditions whatsoever to those of this License. You may not use
+technical measures to obstruct or control the reading or further
+copying of the copies you make or distribute. However, you may accept
+compensation in exchange for copies. If you distribute a large enough
+number of copies you must also follow the conditions in section 3.
+
+You may also lend copies, under the same conditions stated above, and
+you may publicly display copies.
+
+
+3. COPYING IN QUANTITY
+
+If you publish printed copies (or copies in media that commonly have
+printed covers) of the Document, numbering more than 100, and the
+Document's license notice requires Cover Texts, you must enclose the
+copies in covers that carry, clearly and legibly, all these Cover
+Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on
+the back cover. Both covers must also clearly and legibly identify
+you as the publisher of these copies. The front cover must present
+the full title with all words of the title equally prominent and
+visible. You may add other material on the covers in addition.
+Copying with changes limited to the covers, as long as they preserve
+the title of the Document and satisfy these conditions, can be treated
+as verbatim copying in other respects.
+
+If the required texts for either cover are too voluminous to fit
+legibly, you should put the first ones listed (as many as fit
+reasonably) on the actual cover, and continue the rest onto adjacent
+pages.
+
+If you publish or distribute Opaque copies of the Document numbering
+more than 100, you must either include a machine-readable Transparent
+copy along with each Opaque copy, or state in or with each Opaque copy
+a computer-network location from which the general network-using
+public has access to download using public-standard network protocols
+a complete Transparent copy of the Document, free of added material.
+If you use the latter option, you must take reasonably prudent steps,
+when you begin distribution of Opaque copies in quantity, to ensure
+that this Transparent copy will remain thus accessible at the stated
+location until at least one year after the last time you distribute an
+Opaque copy (directly or through your agents or retailers) of that
+edition to the public.
+
+It is requested, but not required, that you contact the authors of the
+Document well before redistributing any large number of copies, to give
+them a chance to provide you with an updated version of the Document.
+
+
+4. MODIFICATIONS
+
+You may copy and distribute a Modified Version of the Document under
+the conditions of sections 2 and 3 above, provided that you release
+the Modified Version under precisely this License, with the Modified
+Version filling the role of the Document, thus licensing distribution
+and modification of the Modified Version to whoever possesses a copy
+of it. In addition, you must do these things in the Modified Version:
+
+A. Use in the Title Page (and on the covers, if any) a title distinct
+ from that of the Document, and from those of previous versions
+ (which should, if there were any, be listed in the History section
+ of the Document). You may use the same title as a previous version
+ if the original publisher of that version gives permission.
+B. List on the Title Page, as authors, one or more persons or entities
+ responsible for authorship of the modifications in the Modified
+ Version, together with at least five of the principal authors of the
+ Document (all of its principal authors, if it has fewer than five),
+ unless they release you from this requirement.
+C. State on the Title page the name of the publisher of the
+ Modified Version, as the publisher.
+D. Preserve all the copyright notices of the Document.
+E. Add an appropriate copyright notice for your modifications
+ adjacent to the other copyright notices.
+F. Include, immediately after the copyright notices, a license notice
+ giving the public permission to use the Modified Version under the
+ terms of this License, in the form shown in the Addendum below.
+G. Preserve in that license notice the full lists of Invariant Sections
+ and required Cover Texts given in the Document's license notice.
+H. Include an unaltered copy of this License.
+I. Preserve the section Entitled "History", Preserve its Title, and add
+ to it an item stating at least the title, year, new authors, and
+ publisher of the Modified Version as given on the Title Page. If
+ there is no section Entitled "History" in the Document, create one
+ stating the title, year, authors, and publisher of the Document as
+ given on its Title Page, then add an item describing the Modified
+ Version as stated in the previous sentence.
+J. Preserve the network location, if any, given in the Document for
+ public access to a Transparent copy of the Document, and likewise
+ the network locations given in the Document for previous versions
+ it was based on. These may be placed in the "History" section.
+ You may omit a network location for a work that was published at
+ least four years before the Document itself, or if the original
+ publisher of the version it refers to gives permission.
+K. For any section Entitled "Acknowledgements" or "Dedications",
+ Preserve the Title of the section, and preserve in the section all
+ the substance and tone of each of the contributor acknowledgements
+ and/or dedications given therein.
+L. Preserve all the Invariant Sections of the Document,
+ unaltered in their text and in their titles. Section numbers
+ or the equivalent are not considered part of the section titles.
+M. Delete any section Entitled "Endorsements". Such a section
+ may not be included in the Modified Version.
+N. Do not retitle any existing section to be Entitled "Endorsements"
+ or to conflict in title with any Invariant Section.
+O. Preserve any Warranty Disclaimers.
+
+If the Modified Version includes new front-matter sections or
+appendices that qualify as Secondary Sections and contain no material
+copied from the Document, you may at your option designate some or all
+of these sections as invariant. To do this, add their titles to the
+list of Invariant Sections in the Modified Version's license notice.
+These titles must be distinct from any other section titles.
+
+You may add a section Entitled "Endorsements", provided it contains
+nothing but endorsements of your Modified Version by various
+parties--for example, statements of peer review or that the text has
+been approved by an organization as the authoritative definition of a
+standard.
+
+You may add a passage of up to five words as a Front-Cover Text, and a
+passage of up to 25 words as a Back-Cover Text, to the end of the list
+of Cover Texts in the Modified Version. Only one passage of
+Front-Cover Text and one of Back-Cover Text may be added by (or
+through arrangements made by) any one entity. If the Document already
+includes a cover text for the same cover, previously added by you or
+by arrangement made by the same entity you are acting on behalf of,
+you may not add another; but you may replace the old one, on explicit
+permission from the previous publisher that added the old one.
+
+The author(s) and publisher(s) of the Document do not by this License
+give permission to use their names for publicity for or to assert or
+imply endorsement of any Modified Version.
+
+
+5. COMBINING DOCUMENTS
+
+You may combine the Document with other documents released under this
+License, under the terms defined in section 4 above for modified
+versions, provided that you include in the combination all of the
+Invariant Sections of all of the original documents, unmodified, and
+list them all as Invariant Sections of your combined work in its
+license notice, and that you preserve all their Warranty Disclaimers.
+
+The combined work need only contain one copy of this License, and
+multiple identical Invariant Sections may be replaced with a single
+copy. If there are multiple Invariant Sections with the same name but
+different contents, make the title of each such section unique by
+adding at the end of it, in parentheses, the name of the original
+author or publisher of that section if known, or else a unique number.
+Make the same adjustment to the section titles in the list of
+Invariant Sections in the license notice of the combined work.
+
+In the combination, you must combine any sections Entitled "History"
+in the various original documents, forming one section Entitled
+"History"; likewise combine any sections Entitled "Acknowledgements",
+and any sections Entitled "Dedications". You must delete all sections
+Entitled "Endorsements".
+
+
+6. COLLECTIONS OF DOCUMENTS
+
+You may make a collection consisting of the Document and other documents
+released under this License, and replace the individual copies of this
+License in the various documents with a single copy that is included in
+the collection, provided that you follow the rules of this License for
+verbatim copying of each of the documents in all other respects.
+
+You may extract a single document from such a collection, and distribute
+it individually under this License, provided you insert a copy of this
+License into the extracted document, and follow this License in all
+other respects regarding verbatim copying of that document.
+
+
+7. AGGREGATION WITH INDEPENDENT WORKS
+
+A compilation of the Document or its derivatives with other separate
+and independent documents or works, in or on a volume of a storage or
+distribution medium, is called an "aggregate" if the copyright
+resulting from the compilation is not used to limit the legal rights
+of the compilation's users beyond what the individual works permit.
+When the Document is included in an aggregate, this License does not
+apply to the other works in the aggregate which are not themselves
+derivative works of the Document.
+
+If the Cover Text requirement of section 3 is applicable to these
+copies of the Document, then if the Document is less than one half of
+the entire aggregate, the Document's Cover Texts may be placed on
+covers that bracket the Document within the aggregate, or the
+electronic equivalent of covers if the Document is in electronic form.
+Otherwise they must appear on printed covers that bracket the whole
+aggregate.
+
+
+8. TRANSLATION
+
+Translation is considered a kind of modification, so you may
+distribute translations of the Document under the terms of section 4.
+Replacing Invariant Sections with translations requires special
+permission from their copyright holders, but you may include
+translations of some or all Invariant Sections in addition to the
+original versions of these Invariant Sections. You may include a
+translation of this License, and all the license notices in the
+Document, and any Warranty Disclaimers, provided that you also include
+the original English version of this License and the original versions
+of those notices and disclaimers. In case of a disagreement between
+the translation and the original version of this License or a notice
+or disclaimer, the original version will prevail.
+
+If a section in the Document is Entitled "Acknowledgements",
+"Dedications", or "History", the requirement (section 4) to Preserve
+its Title (section 1) will typically require changing the actual
+title.
+
+
+9. TERMINATION
+
+You may not copy, modify, sublicense, or distribute the Document except
+as expressly provided for under this License. Any other attempt to
+copy, modify, sublicense or distribute the Document is void, and will
+automatically terminate your rights under this License. However,
+parties who have received copies, or rights, from you under this
+License will not have their licenses terminated so long as such
+parties remain in full compliance.
+
+
+10. FUTURE REVISIONS OF THIS LICENSE
+
+The Free Software Foundation may publish new, revised versions
+of the GNU Free Documentation License from time to time. Such new
+versions will be similar in spirit to the present version, but may
+differ in detail to address new problems or concerns. See
+http://www.gnu.org/copyleft/.
+
+Each version of the License is given a distinguishing version number.
+If the Document specifies that a particular numbered version of this
+License "or any later version" applies to it, you have the option of
+following the terms and conditions either of that specified version or
+of any later version that has been published (not as a draft) by the
+Free Software Foundation. If the Document does not specify a version
+number of this License, you may choose any version ever published (not
+as a draft) by the Free Software Foundation.
+
+
+ADDENDUM: How to use this License for your documents
+
+To use this License in a document you have written, include a copy of
+the License in the document and put the following copyright and
+license notices just after the title page:
+
+ Copyright (c) YEAR YOUR NAME.
+ Permission is granted to copy, distribute and/or modify this document
+ under the terms of the GNU Free Documentation License, Version 1.2
+ or any later version published by the Free Software Foundation;
+ with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+ A copy of the license is included in the section entitled "GNU
+ Free Documentation License".
+
+If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,
+replace the "with...Texts." line with this:
+
+ with the Invariant Sections being LIST THEIR TITLES, with the
+ Front-Cover Texts being LIST, and with the Back-Cover Texts being LIST.
+
+If you have Invariant Sections without Cover Texts, or some other
+combination of the three, merge those two alternatives to suit the
+situation.
+
+If your document contains nontrivial examples of program code, we
+recommend releasing these examples in parallel under your choice of
+free software license, such as the GNU General Public License,
+to permit their use in free software.
diff --cc debian/libppl.copyright.in
index 16a6b17,0000000..4a80a5d
mode 100644,000000..100644
--- a/debian/libppl.copyright.in
+++ b/debian/libppl.copyright.in
@@@ -1,444 -1,0 +1,444 @@@
+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/
+
+
+Sources: this package was put together by the PPL developers
+<ppl-devel at cs.unipr.it>, with sources obtained from
+
+ ftp://ftp.cs.unipr.it/pub/ppl/releases/@VERSION@/ppl-@VERSION@.tar.gz
+
+or, for prereleases, from the anonymously accessible CVS repository
+
+ :pserver:anoncvs at cvs.cs.unipr.it:/cvs/ppl
+
+
+Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
+for the complete list of authors.
+
+
- Copyright: 2001-2006 Roberto Bagnara <bagnara at cs.unipr.it>
++Copyright: 2001-2008 Roberto Bagnara <bagnara at cs.unipr.it>
+
+ The PPL 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 2 of the License, or (at your
++ Free Software Foundation; either version 3 of the License, or (at your
+ option) any later version.
+
+ The PPL 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 Street, Fifth Floor, Boston, MA 02111-1307, USA.
+
+On Debian systems, the complete text of the GNU General Public
- License, version 2, can be found in /usr/share/common-licenses/GPL-2.
++License, version 3, can be found in /usr/share/common-licenses/GPL-3.
+
+The documentation of the PPL is licensed under the GNU Free Documentation
+License (v1.2), appended at the end of this file.
+
+
+==============================================================================
+
+ GNU Free Documentation License
+ Version 1.2, November 2002
+
+
+ Copyright (C) 2000,2001,2002 Free Software Foundation, Inc.
+ 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license document, but changing it is not allowed.
+
+
+0. PREAMBLE
+
+The purpose of this License is to make a manual, textbook, or other
+functional and useful document "free" in the sense of freedom: to
+assure everyone the effective freedom to copy and redistribute it,
+with or without modifying it, either commercially or noncommercially.
+Secondarily, this License preserves for the author and publisher a way
+to get credit for their work, while not being considered responsible
+for modifications made by others.
+
+This License is a kind of "copyleft", which means that derivative
+works of the document must themselves be free in the same sense. It
+complements the GNU General Public License, which is a copyleft
+license designed for free software.
+
+We have designed this License in order to use it for manuals for free
+software, because free software needs free documentation: a free
+program should come with manuals providing the same freedoms that the
+software does. But this License is not limited to software manuals;
+it can be used for any textual work, regardless of subject matter or
+whether it is published as a printed book. We recommend this License
+principally for works whose purpose is instruction or reference.
+
+
+1. APPLICABILITY AND DEFINITIONS
+
+This License applies to any manual or other work, in any medium, that
+contains a notice placed by the copyright holder saying it can be
+distributed under the terms of this License. Such a notice grants a
+world-wide, royalty-free license, unlimited in duration, to use that
+work under the conditions stated herein. The "Document", below,
+refers to any such manual or work. Any member of the public is a
+licensee, and is addressed as "you". You accept the license if you
+copy, modify or distribute the work in a way requiring permission
+under copyright law.
+
+A "Modified Version" of the Document means any work containing the
+Document or a portion of it, either copied verbatim, or with
+modifications and/or translated into another language.
+
+A "Secondary Section" is a named appendix or a front-matter section of
+the Document that deals exclusively with the relationship of the
+publishers or authors of the Document to the Document's overall subject
+(or to related matters) and contains nothing that could fall directly
+within that overall subject. (Thus, if the Document is in part a
+textbook of mathematics, a Secondary Section may not explain any
+mathematics.) The relationship could be a matter of historical
+connection with the subject or with related matters, or of legal,
+commercial, philosophical, ethical or political position regarding
+them.
+
+The "Invariant Sections" are certain Secondary Sections whose titles
+are designated, as being those of Invariant Sections, in the notice
+that says that the Document is released under this License. If a
+section does not fit the above definition of Secondary then it is not
+allowed to be designated as Invariant. The Document may contain zero
+Invariant Sections. If the Document does not identify any Invariant
+Sections then there are none.
+
+The "Cover Texts" are certain short passages of text that are listed,
+as Front-Cover Texts or Back-Cover Texts, in the notice that says that
+the Document is released under this License. A Front-Cover Text may
+be at most 5 words, and a Back-Cover Text may be at most 25 words.
+
+A "Transparent" copy of the Document means a machine-readable copy,
+represented in a format whose specification is available to the
+general public, that is suitable for revising the document
+straightforwardly with generic text editors or (for images composed of
+pixels) generic paint programs or (for drawings) some widely available
+drawing editor, and that is suitable for input to text formatters or
+for automatic translation to a variety of formats suitable for input
+to text formatters. A copy made in an otherwise Transparent file
+format whose markup, or absence of markup, has been arranged to thwart
+or discourage subsequent modification by readers is not Transparent.
+An image format is not Transparent if used for any substantial amount
+of text. A copy that is not "Transparent" is called "Opaque".
+
+Examples of suitable formats for Transparent copies include plain
+ASCII without markup, Texinfo input format, LaTeX input format, SGML
+or XML using a publicly available DTD, and standard-conforming simple
+HTML, PostScript or PDF designed for human modification. Examples of
+transparent image formats include PNG, XCF and JPG. Opaque formats
+include proprietary formats that can be read and edited only by
+proprietary word processors, SGML or XML for which the DTD and/or
+processing tools are not generally available, and the
+machine-generated HTML, PostScript or PDF produced by some word
+processors for output purposes only.
+
+The "Title Page" means, for a printed book, the title page itself,
+plus such following pages as are needed to hold, legibly, the material
+this License requires to appear in the title page. For works in
+formats which do not have any title page as such, "Title Page" means
+the text near the most prominent appearance of the work's title,
+preceding the beginning of the body of the text.
+
+A section "Entitled XYZ" means a named subunit of the Document whose
+title either is precisely XYZ or contains XYZ in parentheses following
+text that translates XYZ in another language. (Here XYZ stands for a
+specific section name mentioned below, such as "Acknowledgements",
+"Dedications", "Endorsements", or "History".) To "Preserve the Title"
+of such a section when you modify the Document means that it remains a
+section "Entitled XYZ" according to this definition.
+
+The Document may include Warranty Disclaimers next to the notice which
+states that this License applies to the Document. These Warranty
+Disclaimers are considered to be included by reference in this
+License, but only as regards disclaiming warranties: any other
+implication that these Warranty Disclaimers may have is void and has
+no effect on the meaning of this License.
+
+
+2. VERBATIM COPYING
+
+You may copy and distribute the Document in any medium, either
+commercially or noncommercially, provided that this License, the
+copyright notices, and the license notice saying this License applies
+to the Document are reproduced in all copies, and that you add no other
+conditions whatsoever to those of this License. You may not use
+technical measures to obstruct or control the reading or further
+copying of the copies you make or distribute. However, you may accept
+compensation in exchange for copies. If you distribute a large enough
+number of copies you must also follow the conditions in section 3.
+
+You may also lend copies, under the same conditions stated above, and
+you may publicly display copies.
+
+
+3. COPYING IN QUANTITY
+
+If you publish printed copies (or copies in media that commonly have
+printed covers) of the Document, numbering more than 100, and the
+Document's license notice requires Cover Texts, you must enclose the
+copies in covers that carry, clearly and legibly, all these Cover
+Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on
+the back cover. Both covers must also clearly and legibly identify
+you as the publisher of these copies. The front cover must present
+the full title with all words of the title equally prominent and
+visible. You may add other material on the covers in addition.
+Copying with changes limited to the covers, as long as they preserve
+the title of the Document and satisfy these conditions, can be treated
+as verbatim copying in other respects.
+
+If the required texts for either cover are too voluminous to fit
+legibly, you should put the first ones listed (as many as fit
+reasonably) on the actual cover, and continue the rest onto adjacent
+pages.
+
+If you publish or distribute Opaque copies of the Document numbering
+more than 100, you must either include a machine-readable Transparent
+copy along with each Opaque copy, or state in or with each Opaque copy
+a computer-network location from which the general network-using
+public has access to download using public-standard network protocols
+a complete Transparent copy of the Document, free of added material.
+If you use the latter option, you must take reasonably prudent steps,
+when you begin distribution of Opaque copies in quantity, to ensure
+that this Transparent copy will remain thus accessible at the stated
+location until at least one year after the last time you distribute an
+Opaque copy (directly or through your agents or retailers) of that
+edition to the public.
+
+It is requested, but not required, that you contact the authors of the
+Document well before redistributing any large number of copies, to give
+them a chance to provide you with an updated version of the Document.
+
+
+4. MODIFICATIONS
+
+You may copy and distribute a Modified Version of the Document under
+the conditions of sections 2 and 3 above, provided that you release
+the Modified Version under precisely this License, with the Modified
+Version filling the role of the Document, thus licensing distribution
+and modification of the Modified Version to whoever possesses a copy
+of it. In addition, you must do these things in the Modified Version:
+
+A. Use in the Title Page (and on the covers, if any) a title distinct
+ from that of the Document, and from those of previous versions
+ (which should, if there were any, be listed in the History section
+ of the Document). You may use the same title as a previous version
+ if the original publisher of that version gives permission.
+B. List on the Title Page, as authors, one or more persons or entities
+ responsible for authorship of the modifications in the Modified
+ Version, together with at least five of the principal authors of the
+ Document (all of its principal authors, if it has fewer than five),
+ unless they release you from this requirement.
+C. State on the Title page the name of the publisher of the
+ Modified Version, as the publisher.
+D. Preserve all the copyright notices of the Document.
+E. Add an appropriate copyright notice for your modifications
+ adjacent to the other copyright notices.
+F. Include, immediately after the copyright notices, a license notice
+ giving the public permission to use the Modified Version under the
+ terms of this License, in the form shown in the Addendum below.
+G. Preserve in that license notice the full lists of Invariant Sections
+ and required Cover Texts given in the Document's license notice.
+H. Include an unaltered copy of this License.
+I. Preserve the section Entitled "History", Preserve its Title, and add
+ to it an item stating at least the title, year, new authors, and
+ publisher of the Modified Version as given on the Title Page. If
+ there is no section Entitled "History" in the Document, create one
+ stating the title, year, authors, and publisher of the Document as
+ given on its Title Page, then add an item describing the Modified
+ Version as stated in the previous sentence.
+J. Preserve the network location, if any, given in the Document for
+ public access to a Transparent copy of the Document, and likewise
+ the network locations given in the Document for previous versions
+ it was based on. These may be placed in the "History" section.
+ You may omit a network location for a work that was published at
+ least four years before the Document itself, or if the original
+ publisher of the version it refers to gives permission.
+K. For any section Entitled "Acknowledgements" or "Dedications",
+ Preserve the Title of the section, and preserve in the section all
+ the substance and tone of each of the contributor acknowledgements
+ and/or dedications given therein.
+L. Preserve all the Invariant Sections of the Document,
+ unaltered in their text and in their titles. Section numbers
+ or the equivalent are not considered part of the section titles.
+M. Delete any section Entitled "Endorsements". Such a section
+ may not be included in the Modified Version.
+N. Do not retitle any existing section to be Entitled "Endorsements"
+ or to conflict in title with any Invariant Section.
+O. Preserve any Warranty Disclaimers.
+
+If the Modified Version includes new front-matter sections or
+appendices that qualify as Secondary Sections and contain no material
+copied from the Document, you may at your option designate some or all
+of these sections as invariant. To do this, add their titles to the
+list of Invariant Sections in the Modified Version's license notice.
+These titles must be distinct from any other section titles.
+
+You may add a section Entitled "Endorsements", provided it contains
+nothing but endorsements of your Modified Version by various
+parties--for example, statements of peer review or that the text has
+been approved by an organization as the authoritative definition of a
+standard.
+
+You may add a passage of up to five words as a Front-Cover Text, and a
+passage of up to 25 words as a Back-Cover Text, to the end of the list
+of Cover Texts in the Modified Version. Only one passage of
+Front-Cover Text and one of Back-Cover Text may be added by (or
+through arrangements made by) any one entity. If the Document already
+includes a cover text for the same cover, previously added by you or
+by arrangement made by the same entity you are acting on behalf of,
+you may not add another; but you may replace the old one, on explicit
+permission from the previous publisher that added the old one.
+
+The author(s) and publisher(s) of the Document do not by this License
+give permission to use their names for publicity for or to assert or
+imply endorsement of any Modified Version.
+
+
+5. COMBINING DOCUMENTS
+
+You may combine the Document with other documents released under this
+License, under the terms defined in section 4 above for modified
+versions, provided that you include in the combination all of the
+Invariant Sections of all of the original documents, unmodified, and
+list them all as Invariant Sections of your combined work in its
+license notice, and that you preserve all their Warranty Disclaimers.
+
+The combined work need only contain one copy of this License, and
+multiple identical Invariant Sections may be replaced with a single
+copy. If there are multiple Invariant Sections with the same name but
+different contents, make the title of each such section unique by
+adding at the end of it, in parentheses, the name of the original
+author or publisher of that section if known, or else a unique number.
+Make the same adjustment to the section titles in the list of
+Invariant Sections in the license notice of the combined work.
+
+In the combination, you must combine any sections Entitled "History"
+in the various original documents, forming one section Entitled
+"History"; likewise combine any sections Entitled "Acknowledgements",
+and any sections Entitled "Dedications". You must delete all sections
+Entitled "Endorsements".
+
+
+6. COLLECTIONS OF DOCUMENTS
+
+You may make a collection consisting of the Document and other documents
+released under this License, and replace the individual copies of this
+License in the various documents with a single copy that is included in
+the collection, provided that you follow the rules of this License for
+verbatim copying of each of the documents in all other respects.
+
+You may extract a single document from such a collection, and distribute
+it individually under this License, provided you insert a copy of this
+License into the extracted document, and follow this License in all
+other respects regarding verbatim copying of that document.
+
+
+7. AGGREGATION WITH INDEPENDENT WORKS
+
+A compilation of the Document or its derivatives with other separate
+and independent documents or works, in or on a volume of a storage or
+distribution medium, is called an "aggregate" if the copyright
+resulting from the compilation is not used to limit the legal rights
+of the compilation's users beyond what the individual works permit.
+When the Document is included in an aggregate, this License does not
+apply to the other works in the aggregate which are not themselves
+derivative works of the Document.
+
+If the Cover Text requirement of section 3 is applicable to these
+copies of the Document, then if the Document is less than one half of
+the entire aggregate, the Document's Cover Texts may be placed on
+covers that bracket the Document within the aggregate, or the
+electronic equivalent of covers if the Document is in electronic form.
+Otherwise they must appear on printed covers that bracket the whole
+aggregate.
+
+
+8. TRANSLATION
+
+Translation is considered a kind of modification, so you may
+distribute translations of the Document under the terms of section 4.
+Replacing Invariant Sections with translations requires special
+permission from their copyright holders, but you may include
+translations of some or all Invariant Sections in addition to the
+original versions of these Invariant Sections. You may include a
+translation of this License, and all the license notices in the
+Document, and any Warranty Disclaimers, provided that you also include
+the original English version of this License and the original versions
+of those notices and disclaimers. In case of a disagreement between
+the translation and the original version of this License or a notice
+or disclaimer, the original version will prevail.
+
+If a section in the Document is Entitled "Acknowledgements",
+"Dedications", or "History", the requirement (section 4) to Preserve
+its Title (section 1) will typically require changing the actual
+title.
+
+
+9. TERMINATION
+
+You may not copy, modify, sublicense, or distribute the Document except
+as expressly provided for under this License. Any other attempt to
+copy, modify, sublicense or distribute the Document is void, and will
+automatically terminate your rights under this License. However,
+parties who have received copies, or rights, from you under this
+License will not have their licenses terminated so long as such
+parties remain in full compliance.
+
+
+10. FUTURE REVISIONS OF THIS LICENSE
+
+The Free Software Foundation may publish new, revised versions
+of the GNU Free Documentation License from time to time. Such new
+versions will be similar in spirit to the present version, but may
+differ in detail to address new problems or concerns. See
+http://www.gnu.org/copyleft/.
+
+Each version of the License is given a distinguishing version number.
+If the Document specifies that a particular numbered version of this
+License "or any later version" applies to it, you have the option of
+following the terms and conditions either of that specified version or
+of any later version that has been published (not as a draft) by the
+Free Software Foundation. If the Document does not specify a version
+number of this License, you may choose any version ever published (not
+as a draft) by the Free Software Foundation.
+
+
+ADDENDUM: How to use this License for your documents
+
+To use this License in a document you have written, include a copy of
+the License in the document and put the following copyright and
+license notices just after the title page:
+
+ Copyright (c) YEAR YOUR NAME.
+ Permission is granted to copy, distribute and/or modify this document
+ under the terms of the GNU Free Documentation License, Version 1.2
+ or any later version published by the Free Software Foundation;
+ with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+ A copy of the license is included in the section entitled "GNU
+ Free Documentation License".
+
+If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,
+replace the "with...Texts." line with this:
+
+ with the Invariant Sections being LIST THEIR TITLES, with the
+ Front-Cover Texts being LIST, and with the Back-Cover Texts being LIST.
+
+If you have Invariant Sections without Cover Texts, or some other
+combination of the three, merge those two alternatives to suit the
+situation.
+
+If your document contains nontrivial examples of program code, we
+recommend releasing these examples in parallel under your choice of
+free software license, such as the GNU General Public License,
+to permit their use in free software.
diff --cc debian/libppl7.dirs
index d96c6d6,0000000..d96c6d6
mode 100644,000000..100644
--- a/debian/libppl7.dirs
+++ b/debian/libppl7.dirs
diff --cc debian/libppl7.docs
index 0363680,0000000..0363680
mode 100644,000000..100644
--- a/debian/libppl7.docs
+++ b/debian/libppl7.docs
diff --cc debian/libppl7.install
index 3df791b,0000000..3df791b
mode 100644,000000..100644
--- a/debian/libppl7.install
+++ b/debian/libppl7.install
diff --cc debian/libpwl-dev.install
index 0000000,0000000..5916be0
new file mode 100644
--- /dev/null
+++ b/debian/libpwl-dev.install
@@@ -1,0 -1,0 +1,2 @@@
++usr/lib/libpwl.a
++usr/lib/libpwl.so
diff --cc debian/libpwl-dev.links
index 0000000,0000000..2686321
new file mode 100644
--- /dev/null
+++ b/debian/libpwl-dev.links
@@@ -1,0 -1,0 +1,1 @@@
++usr/share/doc/libpwl4 usr/share/doc/libpwl-dev
diff --cc debian/libpwl4.dirs
index 6845771,0000000..6845771
mode 100644,000000..100644
--- a/debian/libpwl4.dirs
+++ b/debian/libpwl4.dirs
diff --cc debian/libpwl4.docs
index 0363680,0000000..0363680
mode 100644,000000..100644
--- a/debian/libpwl4.docs
+++ b/debian/libpwl4.docs
diff --cc debian/libpwl4.install
index 0000000,0000000..d3c6bc3
new file mode 100644
--- /dev/null
+++ b/debian/libpwl4.install
@@@ -1,0 -1,0 +1,1 @@@
++usr/lib/libpwl.so.*
diff --cc debian/rules
index 166d7b3,0000000..754e003
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,192 -1,0 +1,237 @@@
+#!/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_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+CFLAGS = -Wall -g
+
+ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
+ CFLAGS += -O0
+else
+ CFLAGS += -O2
+endif
+
+# FOR AUTOCONF 2.52 AND NEWER ONLY
+ifeq ($(DEB_BUILD_GNU_TYPE), $(DEB_HOST_GNU_TYPE))
+ confflags += --build $(DEB_HOST_GNU_TYPE)
+else
+ confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE)
+endif
+
++ifneq (,$(findstring noopt,$(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/")
+
+config.status:
+ dh_testdir
+# Add here commands to configure the package.
+# /usr/share/doc/autotools-dev/README.Debian.gz:
+# - Call the autoconf suite using simple names ("autoconf", "autoheader", etc.)
+# - Call the automake suite using *versioned* names ("automake-1.9", etc),
+ifneq "$(wildcard /usr/share/misc/config.sub)" ""
+ cp -f /usr/share/misc/config.sub config.sub
++ cp -f /usr/share/misc/config.sub Watchdog/config.sub
+endif
+ifneq "$(wildcard /usr/share/misc/config.guess)" ""
+ cp -f /usr/share/misc/config.guess config.guess
++ cp -f /usr/share/misc/config.guess Watchdog/config.guess
+endif
+ ./configure $(confflags) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)"
+
+## Architecture
+build: build-arch build-indep
+
+build-arch: build-arch-stamp
+build-arch-stamp: config.status
+
+# Add here commands to compile the arch part of the package.
- $(MAKE)
++ $(MAKE) $(NJOBS)
+ touch build-arch-stamp
+
++check:
++ dh_testdir
++ifeq ($(with_check),yes)
++ -$(MAKE) $(NJOBS) check
++# -$(MAKE) $(NJOBS) -C Watchdog check
++else
++ @echo "Testsuite not run: $(with_check)."
++endif
++
+build-indep: build-indep-stamp
+build-indep-stamp: config.status
+
+# Add here commands to compile the indep part of the package.
+# FIX this depends on build-arch to install the doc to debian/tmp
+# $(MAKE) doc
+ touch build-indep-stamp
+
+clean:
+ dh_testdir
+ dh_testroot
+ rm -f build-arch-stamp build-indep-stamp #CONFIGURE-STAMP#
+
+# Add here commands to clean up after the build process.
+ [ ! -e Makefile ] || $(MAKE) distclean
- rm -f config.sub config.guess
++ifneq "$(wildcard /usr/share/misc/config.sub)" ""
++ rm -f config.sub Watchdog/config.sub
++endif
++ifneq "$(wildcard /usr/share/misc/config.guess)" ""
++ rm -f config.guess Watchdog/config.guess
++endif
+ dh_clean
+
+install: install-indep install-arch
+install: install-arch
+
+install-indep:
+# dh_testdir
+# dh_testroot
+# dh_clean -k -i
+# dh_installdirs -i
+
+## Add here commands to install the indep part of the package into
+## debian/<package>-doc.
+
+# dh_install -i
+
+# Destination directory for user manual.
+DOC_DIR=debian/libppl-doc/usr/share/doc/libppl-doc
+# Destination directory for developer reference.
+DEV_DOC_DIR=debian/libppl-doc/usr/share/doc/libppl-doc
+#SRC_DOC_DIR=$(CURDIR)/debian/tmp/usr/share/doc/ppl/
+SRC_DOC_DIR=$(CURDIR)/doc
+install-arch:
+ dh_testdir
+ dh_testroot
+ dh_clean -k -s
+ dh_installdirs -s
+
+# Add here commands to install the arch part of the package into
+# debian/tmp.
+
+ $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
+ $(MAKE) -C Watchdog install DESTDIR=$(CURDIR)/debian/tmp
+
+# Install the PPL programs.
+# FIXME: Consider installing the ppl_lcdd and ppl_lpsol examples
+# (what about copyrights?).
+ cp -a $(CURDIR)/src/ppl-config $(CURDIR)/debian/tmp/usr/bin/
+ cp -a $(CURDIR)/demos/ppl_lcdd/ppl_lcdd $(CURDIR)/debian/tmp/usr/bin/
+ cp -a $(CURDIR)/demos/ppl_lpsol/ppl_lpsol $(CURDIR)/debian/tmp/usr/bin/
+
+# Build all the documentation, then move it into debian/tmp
+# directories which have fixed names.
+ mkdir -p $(DOC_DIR)/html || exit 1
+ mkdir -p $(DEV_DOC_DIR)/html || exit 1
+ $(MAKE) -C doc world
+ cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
+ cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf
+ cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz
+ cp -a $(SRC_DOC_DIR)/ppl-devref-$(PPL_VERSION)-html $(DEV_DOC_DIR)/html/developer-reference
+ cp -a $(SRC_DOC_DIR)/ppl-devref-$(PPL_VERSION).pdf $(DEV_DOC_DIR)/ppl-devref-browse.pdf
+ cp -a $(SRC_DOC_DIR)/ppl-devref-$(PPL_VERSION).ps.gz $(DEV_DOC_DIR)/ppl-devref-print.ps.gz
+
+
+# Must not depend on anything. This is to be called by
+# binary-arch/binary-indep
+# in another 'make' thread.
+binary-arch: install-arch
+ dh_testdir
+ dh_testroot
+
+ dh_installchangelogs ChangeLog
+ dh_installdocs
+ dh_install -s --sourcedir=debian/tmp
+# dh_installexamples
+# dh_installmenu
+# dh_installdebconf
+# dh_installlogrotate
+# dh_installinit
+# dh_installcron
+# dh_installinfo
+# dh_installman
+# These directories will be symlinks instead. The [^p] is to keep
+# the directory for libppl-pwl.
+ for f in copyright changelog.Debian changelog ; do \
+ rm debian/libppl-c0/usr/share/doc/libppl-c0/$$f ; done
+ for f in copyright changelog.Debian changelog ; do \
+ rm debian/libppl-dev/usr/share/doc/libppl-dev/$$f ; done
++ for f in copyright changelog.Debian changelog ; do \
++ rm debian/libpwl-dev/usr/share/doc/libpwl-dev/$$f ; done
+ rmdir debian/libppl-c0/usr/share/doc/libppl-c0
+ rmdir debian/libppl-dev/usr/share/doc/libppl-dev
++ rmdir debian/libpwl-dev/usr/share/doc/libpwl-dev
+ dh_link
+ dh_strip
+ dh_compress
+ dh_fixperms
+# dh_perl
+# dh_python
+ dh_makeshlibs
+ dh_installdeb
+ dh_shlibdeps
+ dh_gencontrol
+ dh_md5sums
+ dh_builddeb
+
+## Build architecture independant packages using the common target.
+binary-indep: binary-arch
+ dh_testdir
+ dh_testroot
+
+ dh_installchangelogs ChangeLog
+ dh_installdocs
+ dh_link
+ dh_strip
+ dh_compress
+ dh_fixperms
++ dh_lintian
+ dh_makeshlibs
+ dh_installdeb
+ dh_gencontrol
+ dh_md5sums
+ dh_builddeb
+
+binary: binary-arch binary-indep
- .PHONY: build clean binary-indep binary-arch binary install install-indep install-arch
++
++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 | sed 's/^ppl-//' | sed 's/.tar.gz$$//'` ; \
++ debvers=`echo $$vers | sed 's/pre/~pre/'` ; \
++ tar xzf ppl-$$vers.tar.gz ; rm ppl-$$vers/debian/[^M]* ; \
++ rm ppl-$$vers.tar.gz ; mv ppl-$$vers ppl-$$debvers ; \
++ tar czf ppl_$$debvers.orig.tar.gz ppl-$$debvers ; \
++ rm -r ppl-$$debvers
++
++.PHONY: build clean binary-indep binary-arch binary install install-indep install-arch get-orig-source
diff --cc debian/watch
index 933f3b5,0000000..63a70c9
mode 100644,000000..100644
--- a/debian/watch
+++ b/debian/watch
@@@ -1,22 -1,0 +1,23 @@@
+# Example watch control file for uscan
+# Rename this file to "watch" and then you can run the "uscan" command
+# to check for upstream updates and more.
+# See uscan(1) for format
+
+# Compulsory line, this is a version 3 file
+version=3
+
+# Uncomment to examine a Webpage
+# <Webpage URL> <string match>
+#http://www.example.com/downloads.php minisat2-(.*)\.tar\.gz
+
+# Uncomment to examine a Webserver directory
- http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/ppl-(.*)\.tar\.gz
++opts="uversionmangle=s/pre/~pre/" \
++ http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-(.*)\.tar\.gz
+
+# Uncommment to examine a FTP server
+#ftp://ftp.example.com/pub/minisat2-(.*)\.tar\.gz debian uupdate
+
+# Uncomment to find new files on sourceforge, for debscripts >= 2.9
+# http://sf.net/minisat2/minisat2-(.*)\.tar\.gz
+
+
--
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