[ppl] 12/68: Imported Debian patch 0.10~pre34-1
Andreas Tille
tille at debian.org
Sat Nov 12 08:40:17 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 ebc1eb0b0374b09c792a27685c773eb47e4421ec
Merge: cacbd9c ba8dc29
Author: Michael Tautschnig <mt at debian.org>
Date: Tue Oct 7 22:36:39 2008 +0000
Imported Debian patch 0.10~pre34-1
CREDITS | 84 +-
ChangeLog | 6459 +-
INSTALL | 94 +-
Makefile.am | 4 +-
Makefile.in | 25 +-
NEWS | 17 +-
README | 895 +-
README.configure | 82 +-
STANDARDS | 39 +
TODO | 52 +-
Watchdog/ChangeLog | 51 +
Watchdog/INSTALL | 94 +-
Watchdog/Makefile.am | 10 +-
Watchdog/Makefile.in | 10 +-
Watchdog/NEWS | 2 +-
Watchdog/README | 2 +-
Watchdog/aclocal.m4 | 4 +-
Watchdog/config.guess | 7 +-
Watchdog/config.h.in | 7 +
Watchdog/config.sub | 10 +-
Watchdog/configure | 5100 +-
Watchdog/configure.ac | 59 +-
Watchdog/doc/Makefile.in | 2 +
Watchdog/doc/devref.doxyconf-html | 23 +-
Watchdog/doc/devref.doxyconf-html.in | 23 +-
Watchdog/doc/devref.doxyconf-latex | 23 +-
Watchdog/doc/devref.doxyconf-latex.in | 23 +-
Watchdog/doc/fdl.pdf | Bin 59059 -> 59060 bytes
Watchdog/doc/fdl.ps.gz | Bin 67863 -> 67862 bytes
Watchdog/doc/gpl.pdf | Bin 71114 -> 71113 bytes
Watchdog/doc/gpl.ps.gz | Bin 80395 -> 80391 bytes
Watchdog/doc/pwl-user-0.6-html.tar.gz | Bin 150576 -> 150619 bytes
Watchdog/doc/pwl-user-0.6.pdf | Bin 414587 -> 414588 bytes
Watchdog/doc/pwl-user-0.6.ps.gz | Bin 215036 -> 215053 bytes
Watchdog/doc/user.doxyconf-html | 23 +-
Watchdog/doc/user.doxyconf-html.in | 23 +-
Watchdog/doc/user.doxyconf-latex | 23 +-
Watchdog/doc/user.doxyconf-latex.in | 23 +-
Watchdog/m4/Makefile.am | 4 +-
Watchdog/m4/Makefile.in | 6 +-
Watchdog/m4/ax_prefix_config_h.m4 | 224 +-
Watchdog/src/Doubly_Linked_Object.defs.hh | 4 +-
Watchdog/src/Doubly_Linked_Object.inlines.hh | 4 +-
Watchdog/src/EList.defs.hh | 4 +-
Watchdog/src/EList.inlines.hh | 4 +-
Watchdog/src/EList_Iterator.defs.hh | 4 +-
Watchdog/src/EList_Iterator.inlines.hh | 4 +-
Watchdog/src/Handler.defs.hh | 4 +-
Watchdog/src/Handler.inlines.hh | 4 +-
Watchdog/src/Makefile.am | 8 +-
Watchdog/src/Makefile.in | 86 +-
Watchdog/src/Pending_Element.cc | 4 +-
Watchdog/src/Pending_Element.defs.hh | 4 +-
Watchdog/src/Pending_Element.inlines.hh | 4 +-
Watchdog/src/Pending_List.cc | 4 +-
Watchdog/src/Pending_List.defs.hh | 4 +-
Watchdog/src/Pending_List.inlines.hh | 4 +-
Watchdog/src/Time.cc | 4 +-
Watchdog/src/Time.defs.hh | 4 +-
Watchdog/src/Time.inlines.hh | 4 +-
Watchdog/src/Watchdog.cc | 4 +-
Watchdog/src/Watchdog.defs.hh | 4 +-
Watchdog/src/Watchdog.inlines.hh | 4 +-
Watchdog/src/pwl.hh.dist | 17 +-
Watchdog/src/pwl_header.hh | 4 +-
Watchdog/{ => tests}/Makefile.am | 60 +-
{utils => Watchdog/tests}/Makefile.in | 331 +-
tests/ppl_test.cc => Watchdog/tests/pwl_test.cc | 43 +-
Watchdog/tests/pwl_test.hh | 201 +
Watchdog/tests/simple1.cc | 71 +
Watchdog/tests/valgrind_suppressions | 18 +
Watchdog/utils/Makefile.am | 6 +-
Watchdog/utils/Makefile.in | 8 +-
aclocal.m4 | 26 +-
config.guess | 7 +-
config.h.in | 69 +-
config.sub | 10 +-
configure | 12681 +--
configure.ac | 303 +-
debian/Makefile.in | 22 +-
debian/changelog | 18 +
debian/control | 6 +-
debian/libppl-c0.links | 1 -
debian/{libppl-c0.dirs => libppl-c2.dirs} | 0
debian/{libppl-c0.install => libppl-c2.install} | 0
debian/libppl-c2.links | 1 +
debian/libppl-dev.links | 2 +-
debian/libppl-dev.preinst | 10 +
debian/libppl7.dirs | 2 -
debian/libpwl-dev.preinst | 10 +
debian/rules | 63 +-
demos/Makefile.in | 21 +-
demos/ppl_lcdd/Makefile.in | 21 +-
demos/ppl_lcdd/examples/Makefile.in | 21 +-
demos/ppl_lpsol/Makefile.am | 79 +-
demos/ppl_lpsol/Makefile.in | 96 +-
demos/ppl_lpsol/examples/Makefile.in | 21 +-
demos/ppl_lpsol/expected_int16 | 208 +-
demos/ppl_lpsol/expected_int16_a | 190 +-
demos/ppl_lpsol/expected_int32 | 182 +-
demos/ppl_lpsol/expected_int32_a | 166 +-
demos/ppl_lpsol/expected_int64 | 1410 +-
demos/ppl_lpsol/expected_int64_a | 404 +-
demos/ppl_lpsol/expected_int8 | 175 +-
demos/ppl_lpsol/expected_int8_a | 159 +-
demos/ppl_lpsol/expected_mpz | 158 +-
demos/ppl_lpsol/ppl_lpsol.c | 76 +-
doc/Makefile.am | 1464 +-
doc/Makefile.in | 1693 +-
doc/README.doc | 31 +-
doc/definitions.dox | 554 +-
doc/devref-c-interface.doxyconf-latex | 247 -
doc/devref-c-interface.doxyconf-latex.in | 247 -
doc/devref-c-interface.tex | 130 -
... => devref-foreign-language-interface.doxyconf} | 47 +-
... devref-foreign-language-interface.doxyconf.in} | 45 +-
...e.tex => devref-foreign-language-interface.tex} | 7 +-
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-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 | 33 +-
doc/devref.doxyconf-html.in | 27 +-
doc/devref.doxyconf-latex | 31 +-
doc/devref.doxyconf-latex.in | 27 +-
doc/fdl.pdf | Bin 59057 -> 59059 bytes
doc/fdl.ps.gz | Bin 67866 -> 67865 bytes
doc/gpl.pdf | Bin 71114 -> 71113 bytes
doc/gpl.ps.gz | Bin 80387 -> 80391 bytes
doc/interfaces-html.sed | 4 +
doc/interfaces-latex.sed | 4 +
doc/ppl-user-0.10pre27-html.tar.gz | Bin 1044606 -> 0 bytes
doc/ppl-user-0.10pre27.ps.gz | Bin 1596667 -> 0 bytes
doc/ppl-user-0.10pre34-html.tar.gz | Bin 0 -> 1022907 bytes
...l-user-0.10pre27.pdf => ppl-user-0.10pre34.pdf} | 98495 +++++++++----------
doc/ppl-user-0.10pre34.ps.gz | Bin 0 -> 1545202 bytes
doc/ppl-user-c-interface-0.10pre34-html.tar.gz | Bin 0 -> 165013 bytes
doc/ppl-user-c-interface-0.10pre34.pdf | 20778 ++++
doc/ppl-user-c-interface-0.10pre34.ps.gz | Bin 0 -> 402415 bytes
doc/ppl-user-java-interface-0.10pre34-html.tar.gz | Bin 0 -> 252316 bytes
doc/ppl-user-java-interface-0.10pre34.pdf | 19013 ++++
doc/ppl-user-java-interface-0.10pre34.ps.gz | Bin 0 -> 397998 bytes
doc/ppl-user-ocaml-interface-0.10pre34-html.tar.gz | Bin 0 -> 64063 bytes
doc/ppl-user-ocaml-interface-0.10pre34.pdf | Bin 0 -> 212543 bytes
doc/ppl-user-ocaml-interface-0.10pre34.ps.gz | Bin 0 -> 187194 bytes
...ppl-user-prolog-interface-0.10pre34-html.tar.gz | Bin 0 -> 71465 bytes
doc/ppl-user-prolog-interface-0.10pre34.pdf | Bin 0 -> 254186 bytes
doc/ppl-user-prolog-interface-0.10pre34.ps.gz | Bin 0 -> 232041 bytes
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 -
...ml => user-foreign-language-interface.doxyconf} | 54 +-
...=> user-foreign-language-interface.doxyconf.in} | 52 +-
...ace.tex => user-foreign-language-interface.tex} | 7 +-
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-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.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 | 29 +-
doc/user.doxyconf-html.in | 23 +-
doc/user.doxyconf-latex | 27 +-
doc/user.doxyconf-latex.in | 23 +-
fedora/Makefile.in | 21 +-
instchk.hh | 30 +
interfaces/C/C_interface.dox | 1053 +-
interfaces/C/Makefile.am | 157 +-
interfaces/C/Makefile.in | 530 +-
...rface_generator_c_h_preamble => ppl_c_header.h} | 1527 +-
..._cc_preamble => ppl_c_implementation_common.cc} | 368 +-
interfaces/C/ppl_c_implementation_common.defs.hh | 202 +
.../C/ppl_c_implementation_common.inlines.hh | 149 +
interfaces/C/ppl_c_version.h.in | 10 +-
interfaces/C/ppl_interface_generator_c_cc_code.m4 | 398 +-
...cc.m4 => ppl_interface_generator_c_cc_files.m4} | 52 +-
interfaces/C/ppl_interface_generator_c_h.m4 | 60 +-
interfaces/C/ppl_interface_generator_c_h_code.m4 | 386 +-
.../ppl_interface_generator_c_hh_files.m4} | 61 +-
...l_interface_generator_c_procedure_generators.m4 | 20 +-
.../MIP_Problem => interfaces/C/tests}/Makefile.am | 69 +-
.../MIP_Problem => interfaces/C/tests}/Makefile.in | 242 +-
interfaces/C/tests/cxxoutput.c | 61 +
.../C/tests/ppl_c_test.cc | 58 +-
.../tests/ppl_c_test.h} | 22 +-
interfaces/C/tests/print_to_buffer.cc | 150 +
interfaces/C/tests/print_to_buffer.h | 52 +
interfaces/Java/Java_interface.dox | 2044 -
interfaces/Java/Makefile.am | 21 +-
interfaces/Java/Makefile.in | 42 +-
interfaces/Java/jni/Makefile.am | 126 +-
interfaces/Java/jni/Makefile.in | 294 +-
...ppl_interface_generator_java_classes_cc_code.m4 | 1266 +
...l_interface_generator_java_classes_cc_files.m4} | 36 +-
...face_generator_java_ppl_java_classes_cc_code.m4 | 1008 -
interfaces/Java/jni/ppl_java_common.cc | 652 +-
interfaces/Java/jni/ppl_java_common.defs.hh | 348 +
interfaces/Java/jni/ppl_java_common.hh | 451 -
interfaces/Java/jni/ppl_java_common.inlines.hh | 199 +
interfaces/Java/jni/ppl_java_globals.cc | 451 +-
.../By_Reference.java | 17 +-
.../Coefficient.java | 6 +-
.../Complexity_Class.java} | 20 +-
.../Congruence.java | 2 +-
.../Congruence_System.java | 5 +-
.../Constraint.java | 8 +-
.../Constraint_System.java | 4 +-
.../Control_Parameter_Name.java} | 15 +-
.../Control_Parameter_Value.java} | 20 +-
.../Degenerate_Element.java | 4 +-
.../Domain_Error_Exception.java | 6 +-
.../Fake_Class_for_Doxygen.java | 1291 +
.../Generator.java | 36 +-
.../Generator_System.java | 2 +-
.../Generator_Type.java | 15 +-
.../Grid_Generator.java | 14 +-
.../Grid_Generator_System.java | 11 +-
.../Grid_Generator_Type.java | 13 +-
.../Invalid_Argument_Exception.java | 5 +-
.../Length_Error_Exception.java | 6 +-
.../Linear_Expression.java | 8 +-
.../Linear_Expression_Coefficient.java | 5 +-
.../Linear_Expression_Difference.java | 5 +-
.../Linear_Expression_Sum.java | 10 +-
.../Linear_Expression_Times.java | 6 +-
.../Linear_Expression_Unary_Minus.java | 12 +-
.../Linear_Expression_Variable.java | 5 +-
.../Logic_Error_Exception.java | 9 +-
.../MIP_Problem.java | 83 +-
.../MIP_Problem_Status.java | 2 +-
.../Java/parma_polyhedra_library/Makefile.am | 200 +
.../Makefile.in | 332 +-
.../Optimization_Mode.java | 9 +-
.../Overflow_Error_Exception.java | 9 +-
.../PPL_Object.java | 18 +-
.../Pair.java | 12 +-
.../Parma_Polyhedra_Library.java | 177 +
.../Partial_Function.java | 32 +-
.../Poly_Con_Relation.java | 4 +-
.../Poly_Gen_Relation.java | 4 +-
.../Relation_Symbol.java | 17 +-
.../Variable.java | 4 +-
.../Variables_Set.java | 2 +-
.../ppl_interface_generator_java_classes_java.m4 | 67 +-
...l_interface_generator_java_classes_java_code.m4 | 178 +-
...nterface_generator_java_procedure_generators.m4 | 10 +-
interfaces/Java/ppl_java/Makefile.am | 166 -
.../Java/ppl_java/Parma_Polyhedra_Library.java | 43 -
interfaces/Java/tests/C_Polyhedron_test1.java | 3 +-
interfaces/Java/tests/MIP_Problem_test1.java | 278 +
interfaces/Java/tests/Makefile.am | 41 +-
interfaces/Java/tests/Makefile.in | 115 +-
interfaces/Java/tests/NNC_Polyhedron_test1.java | 4 +-
interfaces/Java/tests/PPL_Test.java | 91 +
.../Java/tests/Parma_Polyhedra_Library_test1.java | 71 +
interfaces/Java/tests/Test_Executor.java | 3 +-
interfaces/Java/tests/Test_Partial_Function.java | 4 +-
.../ppl_interface_generator_java_test_java.m4 | 79 +-
.../ppl_interface_generator_java_test_java_code.m4 | 1046 +-
interfaces/Java/tests/ppl_java_tests_common | 197 +-
interfaces/Makefile.am | 22 +-
interfaces/Makefile.in | 35 +-
interfaces/OCaml/Makefile.am | 150 +-
interfaces/OCaml/Makefile.in | 386 +-
interfaces/OCaml/OCaml_interface.dox | 2370 +-
.../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 843 +-
...4 => ppl_interface_generator_ocaml_cc_files.m4} | 41 +-
.../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 63 +
...4 => ppl_interface_generator_ocaml_hh_files.m4} | 41 +-
.../OCaml/ppl_interface_generator_ocaml_ml.m4 | 9 +-
.../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 396 +-
.../OCaml/ppl_interface_generator_ocaml_mli.m4 | 63 +-
.../ppl_interface_generator_ocaml_mli_code.m4 | 280 +-
...terface_generator_ocaml_procedure_generators.m4 | 7 -
.../{ppl_ocaml_globals.cc => ppl_ocaml_common.cc} | 373 +-
interfaces/OCaml/ppl_ocaml_common.defs.hh | 179 +
interfaces/OCaml/ppl_ocaml_common.inlines.hh | 92 +
interfaces/OCaml/ppl_ocaml_globals.ml | 34 +-
interfaces/OCaml/ppl_ocaml_types.ml | 12 +-
interfaces/OCaml/tests/Makefile.am | 20 +-
interfaces/OCaml/tests/Makefile.in | 124 +-
.../tests/ppl_interface_generator_ocaml_test_ml.m4 | 16 +-
.../ppl_interface_generator_ocaml_test_ml_code.m4 | 785 +-
interfaces/OCaml/tests/ppl_ocaml_tests_common | 203 +-
interfaces/OCaml/tests/test1.ml | 299 +-
interfaces/Prolog/Ciao/Makefile.am | 129 +-
interfaces/Prolog/Ciao/Makefile.in | 1013 +-
interfaces/Prolog/Ciao/ciao_cfli.hh | 12 +-
.../Prolog/Ciao/{ppl_ciao.cc => ciao_efli.cc} | 64 +-
.../Prolog/{SWI/swi_efli.hh => Ciao/ciao_efli.hh} | 24 +-
interfaces/Prolog/Ciao/ciao_pl_check.pl | 18 +-
.../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 2 +-
...ace_generator_ciao_prolog_generated_test_pl.m4} | 4 +-
.../Prolog/{YAP => Ciao}/ppl_prolog_sysdep.hh | 6 +-
interfaces/Prolog/GNU/Makefile.am | 91 +-
interfaces/Prolog/GNU/Makefile.in | 913 +-
interfaces/Prolog/GNU/README.gprolog | 16 +-
.../gnu_prolog_generated_test.pl} | 8 +-
interfaces/Prolog/GNU/gprolog_cfli.hh | 36 +-
interfaces/Prolog/GNU/gprolog_efli.cc | 12 +-
interfaces/Prolog/GNU/gprolog_efli.hh | 12 +-
interfaces/Prolog/GNU/ppl_prolog_sysdep.hh | 2 +
interfaces/Prolog/Makefile.am | 94 +-
interfaces/Prolog/Makefile.in | 156 +-
interfaces/Prolog/Prolog_interface.dox | 47 +-
interfaces/Prolog/SICStus/Makefile.am | 101 +-
interfaces/Prolog/SICStus/Makefile.in | 978 +-
interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh | 2 +
interfaces/Prolog/SICStus/sicstus_efli.cc | 17 +-
interfaces/Prolog/SICStus/sicstus_efli.hh | 12 +-
...dicate_check.pl => sp_prolog_generated_test.pl} | 4 +-
interfaces/Prolog/SWI/Makefile.am | 102 +-
interfaces/Prolog/SWI/Makefile.in | 986 +-
interfaces/Prolog/SWI/ppl_prolog_sysdep.hh | 2 +
interfaces/Prolog/SWI/swi_efli.cc | 12 +-
interfaces/Prolog/SWI/swi_efli.hh | 12 +-
...icate_check.pl => swi_prolog_generated_test.pl} | 6 +-
interfaces/Prolog/XSB/Makefile.am | 109 +-
interfaces/Prolog/XSB/Makefile.in | 979 +-
.../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 3 +-
...rface_generator_xsb_prolog_generated_test_P.m4} | 8 +-
interfaces/Prolog/XSB/ppl_prolog_sysdep.hh | 2 +
interfaces/Prolog/XSB/xsb_efli.cc | 12 +-
interfaces/Prolog/XSB/xsb_efli.hh | 12 +-
interfaces/Prolog/XSB/xsb_pl_check.P | 11 +-
interfaces/Prolog/YAP/Makefile.am | 101 +-
interfaces/Prolog/YAP/Makefile.in | 884 +-
interfaces/Prolog/YAP/ppl_prolog_sysdep.hh | 2 +
interfaces/Prolog/YAP/yap_efli.cc | 12 +-
interfaces/Prolog/YAP/yap_efli.hh | 12 +-
.../YAP/yap_prolog_generated_test.pl} | 19 +-
.../ppl_interface_generator_prolog_cc_code.m4 | 391 +-
.../ppl_interface_generator_prolog_cc_files.m4 | 33 +-
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 12 +-
.../ppl_interface_generator_prolog_dox_code.m4 | 14 +-
.../ppl_interface_generator_prolog_hh_code.m4 | 77 +-
.../ppl_interface_generator_prolog_hh_files.m4 | 13 +-
...erface_generator_prolog_procedure_generators.m4 | 10 +-
interfaces/Prolog/ppl_prolog_common.cc | 193 +-
interfaces/Prolog/ppl_prolog_common.defs.hh | 242 +-
interfaces/Prolog/ppl_prolog_common.inlines.hh | 61 +
interfaces/Prolog/tests/Makefile.am | 42 +-
interfaces/Prolog/tests/Makefile.in | 82 +-
interfaces/Prolog/tests/expected_clpq2_int16 | 4 +-
interfaces/Prolog/tests/expected_clpq2_int16_a | 4 +-
interfaces/Prolog/tests/expected_clpq2_int8 | 6 +-
interfaces/Prolog/tests/expected_clpq2_int8_a | 4 +-
interfaces/Prolog/tests/expected_pchk_int16 | 2 +-
interfaces/Prolog/tests/expected_pchk_int16_a | 2 +-
interfaces/Prolog/tests/pl_check.pl | 327 +-
interfaces/Prolog/tests/pl_grid_check.pl | 2301 -
...nterface_generator_prolog_generated_test_pl.m4} | 25 +-
...ace_generator_prolog_generated_test_pl_code.m4} | 346 +-
...mmon.pl => ppl_prolog_generated_test_common.pl} | 20 +-
interfaces/ppl_interface_generator_common.m4 | 54 +-
interfaces/ppl_interface_generator_common_dat.m4 | 85 +-
...erface_generator_common_procedure_generators.m4 | 27 +-
m4/Makefile.am | 20 +-
m4/Makefile.in | 42 +-
m4/ac_check_ciao.m4 | 12 +-
m4/ac_check_fpu_control.m4 | 4 +-
m4/ac_check_gmp.m4 | 10 +-
m4/ac_check_swi_prolog.m4 | 6 +-
m4/ac_cxx_double_binary_format.m4 | 29 +-
m4/ac_cxx_double_exact_output.m4 | 141 +
m4/ac_cxx_float_binary_format.m4 | 27 +-
m4/ac_cxx_float_exact_output.m4 | 132 +
m4/ac_cxx_ieee_inexact_flag.m4 | 135 +
m4/ac_cxx_limit_memory.m4 | 119 +
m4/ac_cxx_long_double_binary_format.m4 | 117 +-
m4/ac_cxx_long_double_exact_output.m4 | 255 +
m4/ac_cxx_proper_long_double.m4 | 10 +-
m4/ac_cxx_remainder_bug.m4 | 16 +-
m4/ax_prefix_config_h.m4 | 220 +-
m4/lib-link.m4 | 260 +-
m4/lib-prefix.m4 | 40 +-
m4/ppl.m4 | 2 +-
m4/ppl_c.m4 | 2 +-
src/Any_Pointset.defs.hh | 1382 -
src/BD_Shape.defs.hh | 54 +-
src/BD_Shape.inlines.hh | 124 +-
src/BD_Shape.templates.hh | 230 +-
src/Bit_Row.cc | 8 +-
src/Bit_Row.defs.hh | 2 +-
src/Box.defs.hh | 162 +-
src/Box.inlines.hh | 109 +-
src/Box.templates.hh | 463 +-
src/CREDITS.cc.dist | 84 +-
src/Checked_Number.defs.hh | 27 +-
src/Checked_Number.inlines.hh | 49 +-
src/Congruence.cc | 7 +-
src/Congruence.defs.hh | 22 +-
src/Congruence_System.cc | 2 +-
src/Float.defs.hh | 36 +-
src/Float.inlines.hh | 6 +-
src/Grid.defs.hh | 206 +-
src/Grid.inlines.hh | 223 +-
src/Grid_chdims.cc | 4 +-
src/Grid_nonpublic.cc | 82 +-
src/Grid_public.cc | 330 +-
src/Grid_widenings.cc | 6 +-
src/Interval.defs.hh | 96 +-
src/Interval.inlines.hh | 20 +-
src/MIP_Problem.cc | 160 +-
src/MIP_Problem.defs.hh | 119 +-
src/MIP_Problem.inlines.hh | 14 +
src/MIP_Problem.templates.hh | 2 +
src/Makefile.am | 17 +-
src/Makefile.in | 82 +-
src/OR_Matrix.defs.hh | 20 +-
src/OR_Matrix.inlines.hh | 9 +-
src/Octagonal_Shape.defs.hh | 51 +-
src/Octagonal_Shape.inlines.hh | 132 +-
src/Octagonal_Shape.templates.hh | 225 +-
src/Partially_Reduced_Product.inlines.hh | 10 +-
src/Partially_Reduced_Product.templates.hh | 19 +-
src/Pointset_Powerset.cc | 4 +-
src/Pointset_Powerset.defs.hh | 10 +-
src/Pointset_Powerset.inlines.hh | 11 +-
src/Pointset_Powerset.templates.hh | 64 +-
src/Polyhedron.defs.hh | 44 +-
src/Polyhedron.inlines.hh | 42 +-
src/Polyhedron_chdims.cc | 2 +-
src/Polyhedron_nonpublic.cc | 64 +-
src/Polyhedron_public.cc | 373 +-
src/Polyhedron_widenings.cc | 14 +-
src/Ptr_Iterator.defs.hh | 2 -
src/checked.cc | 4 +-
src/checked.defs.hh | 40 +-
src/checked.inlines.hh | 17 +-
src/checked_ext.inlines.hh | 134 +-
src/checked_float.inlines.hh | 56 +-
src/checked_int.inlines.hh | 99 +-
src/checked_mpq.inlines.hh | 60 +-
src/checked_mpz.inlines.hh | 68 +-
src/compiler.hh | 21 +
src/fpu-c99.inlines.hh | 6 +
src/namespaces.hh | 87 +
src/ppl-config.cc | 3 +
src/ppl-config.cc.in | 3 +
src/ppl.hh.dist | 5608 +-
src/stdiobuf.cc | 78 +
src/stdiobuf.defs.hh | 110 +
...Any_Pointset.inlines.hh => stdiobuf.inlines.hh} | 15 +-
src/{Any_Pointset.types.hh => stdiobuf.types.hh} | 8 +-
src/version.cc | 35 +-
tests/BD_Shape/Makefile.am | 26 +-
tests/BD_Shape/Makefile.in | 134 +-
tests/BD_Shape/affinepreimage1.cc | 2 +-
tests/BD_Shape/bhmz05widening1.cc | 2 +-
tests/BD_Shape/cc76extrapolation1.cc | 4 +-
tests/BD_Shape/closure1.cc | 306 +-
tests/BD_Shape/congruences1.cc | 25 +-
tests/BD_Shape/constraints1.cc | 2 -
tests/BD_Shape/containsintegerpoint1.cc | 7 +-
.../BD_Shape/{bdsdifference1.cc => difference1.cc} | 34 +-
tests/BD_Shape/frombdshape1.cc | 30 +-
tests/BD_Shape/frombox1.cc | 25 +-
tests/BD_Shape/fromgrid1.cc | 21 +
tests/BD_Shape/fromoctagonalshape1.cc | 31 +-
tests/BD_Shape/generalizedaffineimage1.cc | 9 +-
tests/BD_Shape/maxspacedim1.cc | 10 +
tests/BD_Shape/membytes1.cc | 8 +-
tests/BD_Shape/pointsetpowerset1.cc | 76 -
tests/BD_Shape/timeelapse1.cc | 1 -
tests/BD_Shape/{bdshull1.cc => upperbound1.cc} | 34 +-
tests/Box/Makefile.am | 42 +-
tests/Box/Makefile.in | 223 +-
tests/Box/addconstraints1.cc | 3 +-
tests/Box/addspacedims1.cc | 1 -
tests/Box/affineimage1.cc | 9 -
tests/Box/affinepreimage1.cc | 4 -
tests/Box/bgp99extrapolation1.cc | 9 -
tests/Box/boundedaffinepreimage1.cc | 32 +-
tests/Box/cc76narrowing1.cc | 2 -
tests/Box/concatenate1.cc | 15 +-
tests/Box/congruences1.cc | 212 +-
tests/Box/constraints1.cc | 4 -
tests/Box/contains1.cc | 3 -
tests/Box/{boxdifference1.cc => difference1.cc} | 112 +-
tests/Box/discrete1.cc | 2 -
tests/Box/disjoint1.cc | 3 -
tests/Box/expandspacedim1.cc | 13 -
tests/Box/foldspacedims1.cc | 8 -
tests/Box/frombox1.cc | 1 +
tests/Box/fromgrid1.cc | 2 +-
tests/Box/frompartiallyreducedproduct1.cc | 36 +-
tests/Box/generalizedaffineimage1.cc | 28 -
tests/Box/generalizedaffineimage2.cc | 4 +-
tests/Box/intersection1.cc | 21 -
tests/Box/interval1.cc | 206 +
tests/Box/mapspacedims1.cc | 21 +-
tests/Box/max_min1.cc | 12 -
tests/Box/membytes1.cc | 6 +
tests/Box/pointsetpowerset1.cc | 5 +-
tests/Box/pointsetpowerset2.cc | 17 +-
tests/Box/propagateconstraints1.cc | 210 +
.../closure1.cc => Box/propagateconstraints2.cc} | 241 +-
tests/Box/refinewithcongruences1.cc | 44 +-
tests/Box/refinewithconstraint1.cc | 33 +-
tests/Box/refinewithconstraints1.cc | 188 +-
tests/Box/refinewithconstraints2.cc | 5 +-
tests/Box/relations1.cc | 6 -
tests/Box/relations2.cc | 1 -
tests/Box/removespacedims1.cc | 18 +-
tests/Box/timeelapse1.cc | 1 -
tests/Box/unconstrain1.cc | 10 +-
tests/Box/universe1.cc | 3 -
tests/Box/{boxhull1.cc => upperbound1.cc} | 33 +-
tests/Box/writebox1.cc | 35 +-
tests/FCAIBVP.cc | 47 -
tests/FCAIBVP.defs.hh | 94 -
tests/FCAIBVP.inlines.hh | 129 -
tests/FCAIBVP.types.hh | 21 -
tests/Grid/Makefile.am | 32 +-
tests/Grid/Makefile.in | 246 +-
tests/Grid/addconstraint1.cc | 127 +-
tests/Grid/addconstraints1.cc | 213 +-
tests/Grid/addgenerators1.cc | 82 +-
tests/Grid/addspacedims1.cc | 6 +-
tests/Grid/affinedim1.cc | 18 +-
tests/Grid/affineimage2.cc | 14 +-
tests/Grid/affinepreimage2.cc | 10 +-
tests/Grid/approximatepartition1.cc | 101 +
tests/Grid/asciidumpload1.cc | 4 +-
tests/Grid/asciidumpload2.cc | 2 +-
tests/Grid/bounded1.cc | 30 +-
tests/Grid/boundingbox1.cc | 345 -
tests/Grid/bounds1.cc | 28 +-
tests/Grid/certificate1.cc | 10 +-
tests/Grid/congruence1.cc | 28 +-
tests/Grid/containsintegerpoint1.cc | 22 +-
tests/Grid/coveringbox1.cc | 8 +-
tests/Grid/discrete1.cc | 26 +-
tests/Grid/disjoint1.cc | 4 +-
tests/Grid/equals1.cc | 2 +-
tests/Grid/expandspacedim1.cc | 6 +-
tests/Grid/foldspacedims1.cc | 4 +-
tests/Grid/frombdshape1.cc | 25 +-
tests/Grid/{frombdshape1.cc => frombox1.cc} | 35 +-
tests/Grid/fromoctagonalshape1.cc | 25 +-
tests/Grid/frompolyhedron1.cc | 10 +-
tests/Grid/generalizedaffineimage1.cc | 10 +-
tests/Grid/generalizedaffineimage2.cc | 14 +-
tests/Grid/generalizedaffineimage3.cc | 16 +-
tests/Grid/generalizedaffinepreimage1.cc | 4 +-
tests/Grid/generalizedaffinepreimage2.cc | 14 +-
tests/Grid/generalizedaffinepreimage3.cc | 16 +-
tests/Grid/generator1.cc | 30 +-
tests/Grid/generators1.cc | 4 +-
tests/Grid/grid3.cc | 52 +-
tests/Grid/griddifference1.cc | 56 +-
tests/Grid/limitedextrapolation1.cc | 10 +-
tests/Grid/limitedextrapolation2.cc | 10 +-
tests/Grid/limitedextrapolation3.cc | 10 +-
tests/Grid/maxmin1.cc | 28 +-
tests/Grid/membytes1.cc | 22 +-
tests/Grid/mincongruences1.cc | 4 +-
tests/Grid/mingenerators1.cc | 4 +-
tests/Grid/outputoperator1.cc | 4 +-
tests/Grid/partition1.cc | 9 -
tests/Grid/pointsetpowerset1.cc | 2 +-
tests/Grid/powersetdifference1.cc | 32 +-
tests/Grid/powersetgeometricallycovers1.cc | 2 +-
tests/Grid/refinewithcongruences1.cc | 75 +
tests/Grid/refinewithconstraints1.cc | 75 +
tests/Grid/relations1.cc | 4 +-
tests/Grid/relations2.cc | 4 +-
tests/Grid/relations3.cc | 4 +-
tests/Grid/removespacedims1.cc | 4 +-
tests/Grid/removespacedims2.cc | 75 +-
tests/Grid/timeelapse1.cc | 10 +-
tests/Grid/topclosed1.cc | 22 +-
tests/Grid/{join1.cc => upperbound1.cc} | 62 +-
tests/Grid/{join2.cc => upperbound2.cc} | 127 +-
tests/Grid/widening1.cc | 22 +-
tests/Grid/widening3.cc | 4 +-
tests/MIP_Problem/Makefile.am | 12 +-
tests/MIP_Problem/Makefile.in | 29 +-
tests/MIP_Problem/mipproblem1.cc | 7 +-
tests/MIP_Problem/mipproblem2.cc | 19 +-
tests/MIP_Problem/mipproblem3.cc | 13 +-
tests/Makefile.am | 13 +-
tests/Makefile.in | 39 +-
tests/Octagonal_Shape/Makefile.am | 26 +-
tests/Octagonal_Shape/Makefile.in | 109 +-
tests/Octagonal_Shape/affinepreimage1.cc | 2 +-
tests/Octagonal_Shape/congruences1.cc | 29 +-
tests/Octagonal_Shape/containsintegerpoint1.cc | 9 +-
.../{octdifference1.cc => difference1.cc} | 32 +-
tests/Octagonal_Shape/mapspacedims1.cc | 8 -
tests/Octagonal_Shape/maxspacedim1.cc | 16 +-
tests/Octagonal_Shape/membytes1.cc | 3 +-
.../{octhull1.cc => upperbound1.cc} | 50 +-
tests/Partial_Function.cc | 22 +-
tests/Partial_Function.defs.hh | 16 +-
tests/Partial_Function.inlines.hh | 4 +
tests/Partial_Function.types.hh | 6 +-
tests/Partially_Reduced_Product/Makefile.am | 18 +-
tests/Partially_Reduced_Product/Makefile.in | 76 +-
.../asciidumpload1.cc} | 28 +-
tests/Partially_Reduced_Product/directproduct1.cc | 181 +-
tests/Partially_Reduced_Product/directproduct2.cc | 154 +-
tests/Partially_Reduced_Product/directproduct3.cc | 391 +-
tests/Partially_Reduced_Product/directproduct4.cc | 108 +-
tests/Partially_Reduced_Product/directproduct5.cc | 88 +-
tests/Partially_Reduced_Product/directproduct6.cc | 120 +-
.../partiallyreducedproduct1.cc | 264 +-
.../partiallyreducedproduct2.cc | 346 +-
.../partiallyreducedproduct3.cc | 184 +-
.../partiallyreducedproduct4.cc | 60 +-
tests/Polyhedron/Makefile.am | 35 +-
tests/Polyhedron/Makefile.in | 83 +-
tests/Polyhedron/affineimage2.cc | 4 +-
tests/Polyhedron/append1.cc | 5 +-
tests/Polyhedron/append2.cc | 5 +-
tests/Polyhedron/bhrz03widening1.cc | 2 +-
tests/Polyhedron/bhrz03widening3.cc | 6 +-
tests/Polyhedron/boundedaffineimage1.cc | 22 +
tests/Polyhedron/boundedbhrz03extrapolation1.cc | 135 +-
tests/Polyhedron/dualhypercubes.cc | 2 +-
tests/Polyhedron/exceptions1.cc | 12 +-
tests/Polyhedron/exceptions2.cc | 44 +-
tests/Polyhedron/hybrid.cc | 58 +-
tests/Polyhedron/linearpartition1.cc | 6 +-
tests/Polyhedron/maxspacedim1.cc | 47 +-
tests/Polyhedron/membytes1.cc | 2 +-
tests/Polyhedron/memory1.cc | 16 +-
tests/Polyhedron/memory2.cc | 36 +-
tests/Polyhedron/nncminimize1.cc | 3 +-
tests/Polyhedron/permute.cc | 5 +-
tests/Polyhedron/polydifference1.cc | 30 +-
tests/Polyhedron/polydifference2.cc | 18 +-
tests/Polyhedron/polyhull1.cc | 65 +-
tests/Polyhedron/polyhull2.cc | 6 +-
tests/Polyhedron/refinewithcongruences1.cc | 2 +-
tests/Powerset/Makefile.am | 12 +-
tests/Powerset/Makefile.in | 29 +-
tests/Powerset/pointsetpowerset1.cc | 4 +-
tests/Powerset/pointsetpowerset2.cc | 50 +-
tests/Powerset/simplifyusingcontext1.cc | 98 +-
tests/ppl_test.cc | 292 +-
tests/ppl_test.hh | 507 +-
tests/print.cc | 158 -
tests/print.hh | 231 -
tests/valgrind_suppressions | 18 +
utils/Makefile.am | 2 +-
utils/Makefile.in | 23 +-
utils/build_header.in | 2 +-
663 files changed, 140277 insertions(+), 99106 deletions(-)
diff --cc debian/changelog
index 595dc6b,0000000..c34aa0d
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,87 -1,0 +1,105 @@@
++ppl (0.10~pre34-1) unstable; urgency=low
++
++ [ Arthur Loiret ]
++ * New upstream snapshot.
++ * Fix build on arm. Closes: #499746.
++ * debian/libp[pw]l-dev.preinst: handle /usr/share/doc/libp[pw]l
++ symlink->directory conversion.
++ * debian/rules:
++ - Disable DH_VERBOSE by default.
++ - Some cleanup.
++ * debian/Makefile.in: Update from upstream.
++
++ [ Michael Tautschnig ]
++ * Added ocaml-nox to build-depends.
++ * Bumped libppl-c library version.
++
++ -- Michael Tautschnig <mt at debian.org> Tue, 07 Oct 2008 22:36:39 +0000
++
+ppl (0.10~pre27-4) unstable; urgency=low
+
+ * debian/rules:
+ - Always copy config.sub an config.guess since we Build-Depends on
+ autotools-dev.
+ - Fix targets to have testsuite runs.
+ - Add check to .PHONY.
+ * Move ppl_lcdd and ppl_lpsol binaries and manpages from libppl7 to
+ libppl-dev, make libppl-dev Replaces libppl7 (<< 0.10~pre27-4).
+ Closes: #499832.
+ * Make libppl-dev Replaces libppl6, ppl-config binary has moved.
+ Closes: #499830.
+ * Make libpwl-dev Replaces libpwl3, /usr/bin/libpwl.a has moved.
+ Closes: #499937.
+ * Only install huge ChangeLog into libppl-dev and libpwl-dev.
+ - Don't symlink libppl-dev /usr/share/doc dir to libppl7.
+ - Add symlinks for changelog.gz to libppl7, libppl-c0 and libpwl4.
+
+ -- Arthur Loiret <arthur.loiret at gmail.com> Tue, 23 Sep 2008 19:53:51 +0000
+
+ppl (0.10~pre27-3) unstable; urgency=low
+
+ * Properly install ppl-config into libppl-dev package, including man page,
+ dont't put it into libppl7, removed ppl_lcdd from -dev, is in libppl7
+
+ -- Michael Tautschnig <mt at debian.org> Thu, 11 Sep 2008 19:15:37 +0000
+
+ppl (0.10~pre27-2) unstable; urgency=low
+
+ * debian/rules: set texmf save_size to 10000 when building the docs
+ * debian/control: libppl-dev Provides: libppl-c-dev
+ * debian/control: Don't Recommends: graphviz, Suggests: libgmp3-doc, this is
+ pointless
+
+ -- Michael Tautschnig <mt at debian.org> Thu, 11 Sep 2008 18:22:09 +0200
+
+ppl (0.10~pre27-1) unstable; urgency=low
+
+ * New upstream snapshot
+ * debian/rules: Handle nocheck and parallel=n in DEB_BUILD_OPTIONS.
+ * debian/copyright: It is now GPL 3+, not GPL 2+.
+ * debian/control: make libppl-dev Depends on libppl-c0
+ * debian/control: Set Maintainer to the Debian GCC Maintainers, add
+ Michael Tautschnig and Arthur Loiret to Uploaders.
+ * debian/rules: Run testsuite.
+ * Backport from Ubuntu:
+ - debian/control: Fix typos in short descriptions.
+ * libpwl-dev is now separated from libpwl4
+ * Added lintian override to silence warnings about empty files
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 10 Sep 2008 21:56:34 +0000
+
+ppl (0.9-5) unstable; urgency=low
+
+ * Added build-dep on texlive-extra-utils. Thanks Hilmar.
+ * Cleanup config.guess,config.sub as suggested in autotools-dev bug 482716
+ * Bumped standards version to 3.8.0 (no changes)
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 07:40:34 +0000
+
+ppl (0.9-4) unstable; urgency=low
+
+ * Added build-dep on texlive-fonts-recommended to fix FTBFS
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 07:40:34 +0000
+
+ppl (0.9-3) unstable; urgency=low
+
+ * Added build-dep on texlive-latex-recommended to have a4.sty
+ * Removed bashism in debian/rules
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 00:16:35 +0000
+
+ppl (0.9-2) unstable; urgency=low
+
+ * Added libppl-doc package
+ * Removed build-depends on obsolete packages
+ * Proper copyright file to include the special license used in some header
+ files
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 22 Jun 2008 02:09:30 +0200
+
+ppl (0.9-1) unstable; urgency=low
+
+ * Initial upload (closes: #409786)
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 04 Jun 2008 19:08:00 +0000
diff --cc debian/control
index 9f4299b,0000000..30ff078
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,98 -1,0 +1,98 @@@
+Source: ppl
+Section: libs
+Priority: optional
+Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
+Uploaders: Michael Tautschnig <mt at debian.org>, Arthur Loiret <arthur.loiret at gmail.com>
+Standards-Version: 3.8.0
- 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
++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, ocaml-nox
+Homepage: http://www.cs.unipr.it/ppl/
+
+Package: libppl7
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: Parma Polyhedra Library (runtime library)
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions. The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing. The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+
+Package: libppl-dev
+Architecture: any
+Section: libdevel
- Depends: libppl7 (= ${binary:Version}), libppl-c0 (= ${binary:Version}), ${shlibs:Depends}
++Depends: libppl7 (= ${binary:Version}), libppl-c2 (= ${binary:Version}), ${shlibs:Depends}
+Provides: libppl-c-dev
+Recommends: libgmp3-dev (>= 4.1.3)
+Replaces: libppl6, libppl7 (<< 0.10~pre27-4)
+Suggests: libppl-doc
+Description: Parma Polyhedra Library (development)
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions. The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing. The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+ .
+ This package provides the header files and static libraries for the
+ C and C++ interfaces.
+
- Package: libppl-c0
++Package: libppl-c2
+Architecture: any
+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: libpwl4
+Architecture: any
+Depends: ${shlibs:Depends}
+Provides: libppl-pwl
+Description: Parma Watchdog Library (Watchdog timers - runtime library)
+ The Parma Watchdog Library (PWL) provides support for multiple,
+ concurrent watchdog timers on systems providing setitimer(2). The
+ PWL is currently distributed with the Parma Polyhedra Library (PPL),
+ but is totally independent from it.
+
+Package: libpwl-dev
+Architecture: any
+Section: libdevel
+Depends: libpwl4 (= ${binary:Version}), ${shlibs:Depends}
+Provides: libppl-pwl-dev
+Replaces: libpwl3
+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/libppl-c2.dirs
index 6845771,0000000..6845771
mode 100644,000000..100644
--- a/debian/libppl-c2.dirs
+++ b/debian/libppl-c2.dirs
diff --cc debian/libppl-c2.install
index 9ffe5c0,0000000..9ffe5c0
mode 100644,000000..100644
--- a/debian/libppl-c2.install
+++ b/debian/libppl-c2.install
diff --cc debian/libppl-c2.links
index 0000000,0000000..63558e8
new file mode 100644
--- /dev/null
+++ b/debian/libppl-c2.links
@@@ -1,0 -1,0 +1,1 @@@
++usr/share/doc/libppl7 usr/share/doc/libppl-c2
diff --cc debian/libppl-dev.links
index 67bcd66,0000000..fad07fd
mode 100644,000000..100644
--- a/debian/libppl-dev.links
+++ b/debian/libppl-dev.links
@@@ -1,2 -1,0 +1,2 @@@
+usr/share/doc/libppl-dev/changelog.gz usr/share/doc/libppl7/changelog.gz
- usr/share/doc/libppl-dev/changelog.gz usr/share/doc/libppl-c0/changelog.gz
++usr/share/doc/libppl-dev/changelog.gz usr/share/doc/libppl-c2/changelog.gz
diff --cc debian/libppl-dev.preinst
index 0000000,0000000..a403ca1
new file mode 100644
--- /dev/null
+++ b/debian/libppl-dev.preinst
@@@ -1,0 -1,0 +1,10 @@@
++#! /bin/sh -e
++
++if [ -L /usr/share/doc/libppl-dev ]; then
++ echo "Removing old libppl-dev doc directory symlink."
++ rm -rf /usr/share/doc/libppl-dev
++fi
++
++#DEBHELPER#
++
++exit 0
diff --cc debian/libppl7.dirs
index d96c6d6,0000000..6845771
mode 100644,000000..100644
--- a/debian/libppl7.dirs
+++ b/debian/libppl7.dirs
@@@ -1,3 -1,0 +1,1 @@@
+usr/lib
- usr/bin
- usr/share/man/man1
diff --cc debian/libpwl-dev.preinst
index 0000000,0000000..60b63ad
new file mode 100644
--- /dev/null
+++ b/debian/libpwl-dev.preinst
@@@ -1,0 -1,0 +1,10 @@@
++#! /bin/sh -e
++
++if [ -L /usr/share/doc/libpwl-dev ]; then
++ echo "Removing old libpwl-dev doc directory symlink."
++ rm -rf /usr/share/doc/libpwl-dev
++fi
++
++#DEBHELPER#
++
++exit 0
diff --cc debian/rules
index 6546172,0000000..69054f6
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,228 -1,0 +1,201 @@@
+#!/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
++#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
++confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE)
+
+ifneq (,$(findstring check,$(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),
++# /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),
+ cp -f /usr/share/misc/config.sub config.sub
+ cp -f /usr/share/misc/config.sub Watchdog/config.sub
+ cp -f /usr/share/misc/config.guess config.guess
+ cp -f /usr/share/misc/config.guess Watchdog/config.guess
+ ./configure $(confflags) --prefix=/usr --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) $(NJOBS)
+ touch $@
+
+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
++# FIXME this depends on build-arch to install the doc to debian/tmp
+# $(MAKE) doc
+ touch $@
+
+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.
++ rm -f build-arch-stamp build-indep-stamp
+ [ ! -e Makefile ] || $(MAKE) distclean
+ rm -f config.sub Watchdog/config.sub
+ rm -f config.guess Watchdog/config.guess
+ dh_clean
+
+install: install-indep install-arch
+
+install-indep: build-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: build-arch check
+ 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?).
++# 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.
++# 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
+ export save_size=10000 ; $(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
+ 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.
- rm -rf debian/libppl-c0/usr/share/doc/libppl-c0
- # Insrall huge ChangeLog into libppl-dev and libpwl-dev only, with
- # symlinks to other packages.
++# These directories will be symlinks instead. The [^p] is to keep
++# the directory for libppl-pwl.
++ rm -rf debian/libppl-c2/usr/share/doc/libppl-c2
++# Insrall huge ChangeLog into libppl-dev and libpwl-dev only, with
++# symlinks to other packages.
+ mkdir -p debian/libppl-dev/usr/share/doc/libppl-dev
+ cp ChangeLog debian/libppl-dev/usr/share/doc/libppl-dev/changelog
+ gzip -9nf debian/libppl-dev/usr/share/doc/libppl-dev/changelog
+ mkdir -p debian/libpwl-dev/usr/share/doc/libpwl-dev
+ cp ChangeLog debian/libpwl-dev/usr/share/doc/libpwl-dev/changelog
+ gzip -9nf debian/libpwl-dev/usr/share/doc/libpwl-dev/changelog
+ 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 install-indep
+ dh_testdir
+ dh_testroot
-
+ dh_installchangelogs
+ 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
+
+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$$//'` ; \
++ vers=`ls ppl-*.tar.gz | tail -1 | sed 's/^ppl-//' | sed 's/.tar.gz$$//'` ; \
+ debvers=`echo $$vers | sed 's/pre/~pre/'` ; \
+ tar xzf ppl-$$vers.tar.gz ; rm ppl-$$vers/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 check clean binary-indep binary-arch binary install install-indep install-arch get-orig-source
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git
More information about the debian-science-commits
mailing list