January 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Typo fixed.
by Roberto Bagnara 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: a29eeffe5ffdee3bf472673e596a616cd7eca96b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a29eeffe5ffd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 09:08:37 2011 +0100 Typo fixed. --- src/MIP_Problem.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/MIP_Problem.defs.hh b/src/MIP_Problem.defs.hh index 63a39db..0f6a03c 100644 --- a/src/MIP_Problem.defs.hh +++ b/src/MIP_Problem.defs.hh @@ -562,7 +562,7 @@ private: is only meaningful when the function exit returning value \c true. \return - \c false if a trivially false constraint is detected, \true otherwise. + \c false if a trivially false constraint is detected, \c true otherwise. \param additional_tableau_rows On exit, this will store the number of rows that have to be added

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Do not build documentation for interfaces that are not enabled.
by Roberto Bagnara 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: a7c2dfb70248b62be8acd06f3b3a9f5e66d6c45b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7c2dfb70248… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 08:57:28 2011 +0100 Do not build documentation for interfaces that are not enabled. --- doc/Makefile.am | 237 ++++++++++++++++++++++++++++--------------------------- 1 files changed, 121 insertions(+), 116 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 778c960..ecd8340 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -81,7 +81,8 @@ devref.tex \ ppl.sty \ $(PPL_SOURCE_FILES) -##### Configuration Independent Language Interface Manuals ##### + +if BUILD_C_INTERFACE # C Language Interface Manuals @@ -124,6 +125,45 @@ devref-language-interface.tex \ ../interfaces/C/ppl_c_implementation_common.inlines.hh \ ../interfaces/C/ppl_c_implementation_common.cc + +# Configuration Dependent C Language Interface Manuals. + +USER_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ +ppl-user-configured-c-interface-@VERSION@-html.tar.gz +DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ +ppl-devref-configured-c-interface-@VERSION@-html.tar.gz + +USER_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ +ppl-user-configured-c-interface-@VERSION@.pdf +DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ +ppl-devref-configured-c-interface-@VERSION@.pdf + +USER_CONFIGURED_C_INTERFACE_PS_MANUAL = \ +ppl-user-configured-c-interface-@VERSION@.ps.gz +DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL = \ +ppl-devref-configured-c-interface-@VERSION@.ps.gz + +USER_CONFIGURED_C_INTERFACE_HTML_DIR = \ +ppl-user-configured-c-interface-@VERSION@-html +DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR = \ +ppl-devref-configured-c-interface-@VERSION@-html + +USER_CONFIGURED_C_INTERFACE_STUFF = \ +$(COMMON_C_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/C/ppl_c.h + +DEVREF_CONFIGURED_C_INTERFACE_STUFF = \ +$(COMMON_C_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/C/ppl_c.h \ +../interfaces/C/ppl_c_implementation_common.defs.hh \ +../interfaces/C/ppl_c_implementation_common.inlines.hh \ +../interfaces/C/ppl_c_implementation_common.cc + +endif BUILD_C_INTERFACE + + +if BUILD_SOME_PROLOG_INTERFACES + # Prolog Language Interface Manuals USER_PROLOG_INTERFACE_HTML_MANUAL = \ @@ -161,6 +201,51 @@ ppl.sty \ ../interfaces/Prolog/ppl_prolog_common.inlines.hh \ ../interfaces/Prolog/ppl_prolog_common.cc + +# Configuration Dependent Prolog Language Interface Manuals + +USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ +ppl-user-configured-prolog-interface-@VERSION@-html.tar.gz +DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ +ppl-devref-configured-prolog-interface-@VERSION@-html.tar.gz + +USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ +ppl-user-configured-prolog-interface-@VERSION@.pdf +DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ +ppl-devref-configured-prolog-interface-@VERSION@.pdf + +USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ +ppl-user-configured-prolog-interface-@VERSION@.ps.gz +DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ +ppl-devref-configured-prolog-interface-@VERSION@.ps.gz + +USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ +ppl-user-configured-prolog-interface-@VERSION@-html +DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ +ppl-devref-configured-prolog-interface-@VERSION@-html + +USER_CONFIGURED_PROLOG_INTERFACE_STUFF = \ +$(DOX_LICENCE_FILES) \ +user-language-interface.tex \ +ppl.sty \ +$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox + +DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \ +$(DOX_LICENCE_FILES) \ +devref-language-interface.tex \ +ppl.sty \ +$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox \ +../interfaces/Prolog/ppl_prolog_common.defs.hh \ +../interfaces/Prolog/ppl_prolog_common.inlines.hh \ +../interfaces/Prolog/ppl_prolog_common.cc \ +$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.hh \ +$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.cc.stamp + +endif BUILD_SOME_PROLOG_INTERFACES + + +if BUILD_OCAML_INTERFACE + # OCaml Language Interface Manuals USER_OCAML_INTERFACE_HTML_MANUAL = \ @@ -200,6 +285,41 @@ ppl.sty \ ../interfaces/OCaml/ppl_ocaml_common.cc \ ../interfaces/OCaml/ppl_ocaml_globals.mli + +# Configuration Dependent OCaml Language Interface Manuals. + +USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ +ppl-user-configured-ocaml-interface-@VERSION@-html.tar.gz +DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ +ppl-devref-configured-ocaml-interface-@VERSION@-html.tar.gz + +USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ +ppl-user-configured-ocaml-interface-@VERSION@.pdf +DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ +ppl-devref-configured-ocaml-interface-@VERSION@.pdf + +USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ +ppl-user-configured-ocaml-interface-@VERSION@.ps.gz +DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ +ppl-devref-configured-ocaml-interface-@VERSION@.ps.gz + +USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ +ppl-user-configured-ocaml-interface-@VERSION@-html +DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ +ppl-devref-configured-ocaml-interface-@VERSION@-html + +USER_CONFIGURED_OCAML_INTERFACE_STUFF = \ +$(USER_OCAML_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli + +DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF = \ +$(DEVREF_OCAML_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli + +endif BUILD_OCAML_INTERFACE + +if BUILD_JAVA_INTERFACE + # Java Language Interface Manuals USER_JAVA_INTERFACE_HTML_MANUAL = \ @@ -281,123 +401,8 @@ $(JAVA_INTERFACE_JAVA_FILES) \ ../interfaces/Java/jni/ppl_java_common.inlines.hh \ ../interfaces/Java/jni/ppl_java_globals.cc -##### Configuration Dependent Language Interface Manuals ##### - -# Configuration Dependent C Language Interface Manuals. -if BUILD_C_INTERFACE - -USER_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ -ppl-user-configured-c-interface-@VERSION@-html.tar.gz -DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ -ppl-devref-configured-c-interface-@VERSION@-html.tar.gz - -USER_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ -ppl-user-configured-c-interface-@VERSION@.pdf -DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ -ppl-devref-configured-c-interface-@VERSION@.pdf - -USER_CONFIGURED_C_INTERFACE_PS_MANUAL = \ -ppl-user-configured-c-interface-@VERSION@.ps.gz -DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL = \ -ppl-devref-configured-c-interface-@VERSION@.ps.gz - -USER_CONFIGURED_C_INTERFACE_HTML_DIR = \ -ppl-user-configured-c-interface-@VERSION@-html -DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR = \ -ppl-devref-configured-c-interface-@VERSION@-html - -USER_CONFIGURED_C_INTERFACE_STUFF = \ -$(COMMON_C_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/C/ppl_c.h - -DEVREF_CONFIGURED_C_INTERFACE_STUFF = \ -$(COMMON_C_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/C/ppl_c.h \ -../interfaces/C/ppl_c_implementation_common.defs.hh \ -../interfaces/C/ppl_c_implementation_common.inlines.hh \ -../interfaces/C/ppl_c_implementation_common.cc - -endif BUILD_C_INTERFACE - - -# Configuration Dependent Prolog Language Interface Manuals -if BUILD_SOME_PROLOG_INTERFACES - -USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ -ppl-user-configured-prolog-interface-@VERSION@-html.tar.gz -DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ -ppl-devref-configured-prolog-interface-@VERSION@-html.tar.gz - -USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ -ppl-user-configured-prolog-interface-@VERSION@.pdf -DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ -ppl-devref-configured-prolog-interface-@VERSION@.pdf - -USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ -ppl-user-configured-prolog-interface-@VERSION@.ps.gz -DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ -ppl-devref-configured-prolog-interface-@VERSION@.ps.gz - -USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ -ppl-user-configured-prolog-interface-@VERSION@-html -DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ -ppl-devref-configured-prolog-interface-@VERSION@-html - -USER_CONFIGURED_PROLOG_INTERFACE_STUFF = \ -$(DOX_LICENCE_FILES) \ -user-language-interface.tex \ -ppl.sty \ -$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox - -DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \ -$(DOX_LICENCE_FILES) \ -devref-language-interface.tex \ -ppl.sty \ -$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox \ -../interfaces/Prolog/ppl_prolog_common.defs.hh \ -../interfaces/Prolog/ppl_prolog_common.inlines.hh \ -../interfaces/Prolog/ppl_prolog_common.cc \ -$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.hh \ -$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.cc.stamp - -endif BUILD_SOME_PROLOG_INTERFACES - - -# Configuration Dependent OCaml Language Interface Manuals. -if BUILD_OCAML_INTERFACE - -USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ -ppl-user-configured-ocaml-interface-@VERSION@-html.tar.gz -DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ -ppl-devref-configured-ocaml-interface-@VERSION@-html.tar.gz - -USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ -ppl-user-configured-ocaml-interface-@VERSION@.pdf -DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ -ppl-devref-configured-ocaml-interface-@VERSION@.pdf - -USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ -ppl-user-configured-ocaml-interface-@VERSION@.ps.gz -DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ -ppl-devref-configured-ocaml-interface-@VERSION@.ps.gz - -USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ -ppl-user-configured-ocaml-interface-@VERSION@-html -DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ -ppl-devref-configured-ocaml-interface-@VERSION@-html - -USER_CONFIGURED_OCAML_INTERFACE_STUFF = \ -$(USER_OCAML_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli - -DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF = \ -$(DEVREF_OCAML_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli - -endif BUILD_OCAML_INTERFACE # Configuration Dependent Java Language Interface Manuals. -if BUILD_JAVA_INTERFACE USER_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL = \ ppl-user-configured-java-interface-@VERSION@-html.tar.gz

1 0

[GIT] ppl/ppl(master): Added missing parameter documentation.
by Roberto Bagnara 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: master Commit: 7a0f1627560db5cd02eee73dadf85461f9c63d84 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a0f1627560d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 09:31:27 2011 +0100 Added missing parameter documentation. --- src/termination.cc | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/termination.cc b/src/termination.cc index 30cdf19..b98756e 100644 --- a/src/termination.cc +++ b/src/termination.cc @@ -349,6 +349,10 @@ fill_constraint_systems_MS(const Constraint_System& cs, \f$ \vect{u}_3 \in \Qset_-^s \f$. The space of ranking functions is then spanned by \f$ \vect{u}_3^\transpose E_C' \vect x \f$. + + \param le_out + The expression to be minimized in the context of \p cs_out: + a value of \f$ -1 \f$ or less entails termination. */ void fill_constraint_system_PR(const Constraint_System& cs_before,

1 0

[GIT] ppl/ppl(master): Do not build documentation for interfaces that are not enabled.
by Roberto Bagnara 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: master Commit: 87b7c0d322e1f0db6b73a03ee763d74120f4f023 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87b7c0d322e1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 08:57:57 2011 +0100 Do not build documentation for interfaces that are not enabled. --- doc/Makefile.am | 237 ++++++++++++++++++++++++++++--------------------------- 1 files changed, 121 insertions(+), 116 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 778c960..ecd8340 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -81,7 +81,8 @@ devref.tex \ ppl.sty \ $(PPL_SOURCE_FILES) -##### Configuration Independent Language Interface Manuals ##### + +if BUILD_C_INTERFACE # C Language Interface Manuals @@ -124,6 +125,45 @@ devref-language-interface.tex \ ../interfaces/C/ppl_c_implementation_common.inlines.hh \ ../interfaces/C/ppl_c_implementation_common.cc + +# Configuration Dependent C Language Interface Manuals. + +USER_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ +ppl-user-configured-c-interface-@VERSION@-html.tar.gz +DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ +ppl-devref-configured-c-interface-@VERSION@-html.tar.gz + +USER_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ +ppl-user-configured-c-interface-@VERSION@.pdf +DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ +ppl-devref-configured-c-interface-@VERSION@.pdf + +USER_CONFIGURED_C_INTERFACE_PS_MANUAL = \ +ppl-user-configured-c-interface-@VERSION@.ps.gz +DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL = \ +ppl-devref-configured-c-interface-@VERSION@.ps.gz + +USER_CONFIGURED_C_INTERFACE_HTML_DIR = \ +ppl-user-configured-c-interface-@VERSION@-html +DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR = \ +ppl-devref-configured-c-interface-@VERSION@-html + +USER_CONFIGURED_C_INTERFACE_STUFF = \ +$(COMMON_C_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/C/ppl_c.h + +DEVREF_CONFIGURED_C_INTERFACE_STUFF = \ +$(COMMON_C_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/C/ppl_c.h \ +../interfaces/C/ppl_c_implementation_common.defs.hh \ +../interfaces/C/ppl_c_implementation_common.inlines.hh \ +../interfaces/C/ppl_c_implementation_common.cc + +endif BUILD_C_INTERFACE + + +if BUILD_SOME_PROLOG_INTERFACES + # Prolog Language Interface Manuals USER_PROLOG_INTERFACE_HTML_MANUAL = \ @@ -161,6 +201,51 @@ ppl.sty \ ../interfaces/Prolog/ppl_prolog_common.inlines.hh \ ../interfaces/Prolog/ppl_prolog_common.cc + +# Configuration Dependent Prolog Language Interface Manuals + +USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ +ppl-user-configured-prolog-interface-@VERSION@-html.tar.gz +DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ +ppl-devref-configured-prolog-interface-@VERSION@-html.tar.gz + +USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ +ppl-user-configured-prolog-interface-@VERSION@.pdf +DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ +ppl-devref-configured-prolog-interface-@VERSION@.pdf + +USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ +ppl-user-configured-prolog-interface-@VERSION@.ps.gz +DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ +ppl-devref-configured-prolog-interface-@VERSION@.ps.gz + +USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ +ppl-user-configured-prolog-interface-@VERSION@-html +DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ +ppl-devref-configured-prolog-interface-@VERSION@-html + +USER_CONFIGURED_PROLOG_INTERFACE_STUFF = \ +$(DOX_LICENCE_FILES) \ +user-language-interface.tex \ +ppl.sty \ +$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox + +DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \ +$(DOX_LICENCE_FILES) \ +devref-language-interface.tex \ +ppl.sty \ +$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox \ +../interfaces/Prolog/ppl_prolog_common.defs.hh \ +../interfaces/Prolog/ppl_prolog_common.inlines.hh \ +../interfaces/Prolog/ppl_prolog_common.cc \ +$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.hh \ +$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.cc.stamp + +endif BUILD_SOME_PROLOG_INTERFACES + + +if BUILD_OCAML_INTERFACE + # OCaml Language Interface Manuals USER_OCAML_INTERFACE_HTML_MANUAL = \ @@ -200,6 +285,41 @@ ppl.sty \ ../interfaces/OCaml/ppl_ocaml_common.cc \ ../interfaces/OCaml/ppl_ocaml_globals.mli + +# Configuration Dependent OCaml Language Interface Manuals. + +USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ +ppl-user-configured-ocaml-interface-@VERSION@-html.tar.gz +DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ +ppl-devref-configured-ocaml-interface-@VERSION@-html.tar.gz + +USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ +ppl-user-configured-ocaml-interface-@VERSION@.pdf +DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ +ppl-devref-configured-ocaml-interface-@VERSION@.pdf + +USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ +ppl-user-configured-ocaml-interface-@VERSION@.ps.gz +DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ +ppl-devref-configured-ocaml-interface-@VERSION@.ps.gz + +USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ +ppl-user-configured-ocaml-interface-@VERSION@-html +DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ +ppl-devref-configured-ocaml-interface-@VERSION@-html + +USER_CONFIGURED_OCAML_INTERFACE_STUFF = \ +$(USER_OCAML_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli + +DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF = \ +$(DEVREF_OCAML_INTERFACE_STUFF) \ +$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli + +endif BUILD_OCAML_INTERFACE + +if BUILD_JAVA_INTERFACE + # Java Language Interface Manuals USER_JAVA_INTERFACE_HTML_MANUAL = \ @@ -281,123 +401,8 @@ $(JAVA_INTERFACE_JAVA_FILES) \ ../interfaces/Java/jni/ppl_java_common.inlines.hh \ ../interfaces/Java/jni/ppl_java_globals.cc -##### Configuration Dependent Language Interface Manuals ##### - -# Configuration Dependent C Language Interface Manuals. -if BUILD_C_INTERFACE - -USER_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ -ppl-user-configured-c-interface-@VERSION@-html.tar.gz -DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ -ppl-devref-configured-c-interface-@VERSION@-html.tar.gz - -USER_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ -ppl-user-configured-c-interface-@VERSION@.pdf -DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ -ppl-devref-configured-c-interface-@VERSION@.pdf - -USER_CONFIGURED_C_INTERFACE_PS_MANUAL = \ -ppl-user-configured-c-interface-@VERSION@.ps.gz -DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL = \ -ppl-devref-configured-c-interface-@VERSION@.ps.gz - -USER_CONFIGURED_C_INTERFACE_HTML_DIR = \ -ppl-user-configured-c-interface-@VERSION@-html -DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR = \ -ppl-devref-configured-c-interface-@VERSION@-html - -USER_CONFIGURED_C_INTERFACE_STUFF = \ -$(COMMON_C_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/C/ppl_c.h - -DEVREF_CONFIGURED_C_INTERFACE_STUFF = \ -$(COMMON_C_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/C/ppl_c.h \ -../interfaces/C/ppl_c_implementation_common.defs.hh \ -../interfaces/C/ppl_c_implementation_common.inlines.hh \ -../interfaces/C/ppl_c_implementation_common.cc - -endif BUILD_C_INTERFACE - - -# Configuration Dependent Prolog Language Interface Manuals -if BUILD_SOME_PROLOG_INTERFACES - -USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ -ppl-user-configured-prolog-interface-@VERSION@-html.tar.gz -DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ -ppl-devref-configured-prolog-interface-@VERSION@-html.tar.gz - -USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ -ppl-user-configured-prolog-interface-@VERSION@.pdf -DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ -ppl-devref-configured-prolog-interface-@VERSION@.pdf - -USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ -ppl-user-configured-prolog-interface-@VERSION@.ps.gz -DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ -ppl-devref-configured-prolog-interface-@VERSION@.ps.gz - -USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ -ppl-user-configured-prolog-interface-@VERSION@-html -DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ -ppl-devref-configured-prolog-interface-@VERSION@-html - -USER_CONFIGURED_PROLOG_INTERFACE_STUFF = \ -$(DOX_LICENCE_FILES) \ -user-language-interface.tex \ -ppl.sty \ -$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox - -DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \ -$(DOX_LICENCE_FILES) \ -devref-language-interface.tex \ -ppl.sty \ -$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox \ -../interfaces/Prolog/ppl_prolog_common.defs.hh \ -../interfaces/Prolog/ppl_prolog_common.inlines.hh \ -../interfaces/Prolog/ppl_prolog_common.cc \ -$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.hh \ -$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.cc.stamp - -endif BUILD_SOME_PROLOG_INTERFACES - - -# Configuration Dependent OCaml Language Interface Manuals. -if BUILD_OCAML_INTERFACE - -USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ -ppl-user-configured-ocaml-interface-@VERSION@-html.tar.gz -DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ -ppl-devref-configured-ocaml-interface-@VERSION@-html.tar.gz - -USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ -ppl-user-configured-ocaml-interface-@VERSION@.pdf -DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ -ppl-devref-configured-ocaml-interface-@VERSION@.pdf - -USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ -ppl-user-configured-ocaml-interface-@VERSION@.ps.gz -DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ -ppl-devref-configured-ocaml-interface-@VERSION@.ps.gz - -USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ -ppl-user-configured-ocaml-interface-@VERSION@-html -DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ -ppl-devref-configured-ocaml-interface-@VERSION@-html - -USER_CONFIGURED_OCAML_INTERFACE_STUFF = \ -$(USER_OCAML_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli - -DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF = \ -$(DEVREF_OCAML_INTERFACE_STUFF) \ -$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli - -endif BUILD_OCAML_INTERFACE # Configuration Dependent Java Language Interface Manuals. -if BUILD_JAVA_INTERFACE USER_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL = \ ppl-user-configured-java-interface-@VERSION@-html.tar.gz

1 0

[GIT] ppl/ppl(master): Added missing `use_module' directive.
by Roberto Bagnara 05 Jan '11

05 Jan '11

Module: ppl/ppl Branch: master Commit: 6ba95253a8b9deb705bcf535ce2edc0b58d6dc10 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba95253a8b9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 5 17:02:18 2011 +0100 Added missing `use_module' directive. --- interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/YAP/yap_prolog_generated_test.pl b/interfaces/Prolog/YAP/yap_prolog_generated_test.pl index 4250765..74a1b8b 100644 --- a/interfaces/Prolog/YAP/yap_prolog_generated_test.pl +++ b/interfaces/Prolog/YAP/yap_prolog_generated_test.pl @@ -22,6 +22,7 @@ site: http://www.cs.unipr.it/ppl/ . */ :- ensure_loaded('ppl_yap.pl'). :- ensure_loaded('ppl_prolog_generated_test_main.pl'). +:- use_module(library(lists), [append/3, member/2]). prolog_system('YAP').

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Added missing `use_module' directive.
by Roberto Bagnara 05 Jan '11

05 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 3b56c6c3808cc2982a885124d9372ff19153fcbe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b56c6c3808c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jan 5 17:00:59 2011 +0100 Added missing `use_module' directive. --- interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/YAP/yap_prolog_generated_test.pl b/interfaces/Prolog/YAP/yap_prolog_generated_test.pl index 4250765..74a1b8b 100644 --- a/interfaces/Prolog/YAP/yap_prolog_generated_test.pl +++ b/interfaces/Prolog/YAP/yap_prolog_generated_test.pl @@ -22,6 +22,7 @@ site: http://www.cs.unipr.it/ppl/ . */ :- ensure_loaded('ppl_yap.pl'). :- ensure_loaded('ppl_prolog_generated_test_main.pl'). +:- use_module(library(lists), [append/3, member/2]). prolog_system('YAP').

1 0

How to install binary w/o root access?
by Pengcheng Wu 05 Jan '11

05 Jan '11

First off, I am new to linux stuff. Forgive me for silly questions. Our linux machine has gcc 3.4. I want to install gcc 4.5 in my own directories--I don't have root access. For that matter, I was told I need, among others, ppl 0.10+. However, when I try to make ppl 0.11, it complains: *internal compiler error: in invert_truthvalue, at fold-const.c:2700*.. I did a search and found this is caused by gcc version too old. Dead end there. So guess I have to install a binary release of ppl. But the package I downloaded: ppl-0.10.2-10.1.el6.x86_64.rpm won't allow me to install on a different directory with --prefix option. What can I do? btw, the linux machine runs Red Hat Enterprise Linux AS release 4 (Nahant Update 3) Thanks much! -Pengcheng

2 1

ppl-0.11 build fails in the testsuite on x86_64
by Matthias Klose 04 Jan '11

04 Jan '11

the ppl-0.11 build fails in the testsuite on x86_64 (on lucid 10.04 and natty 11.04), see https://bugs.launchpad.net/ubuntu/+source/ppl/+bug/697305 apparently the test did succeed for the ppl-0.11 upload to Debian experimental. GNU MP: Cannot allocate memory (size=8) /bin/bash: line 5: 16671 Aborted ${dir}$tst FAIL: memory1

1 0