- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Replaced several occurrences of assert() by PPL_ASSERT().
by Roberto Bagnara 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: d866bca5fc08a2c68b13684d404e5f3e6cf75eac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d866bca5fc08… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 10:44:37 2011 +0100 Replaced several occurrences of assert() by PPL_ASSERT(). --- src/Interval.templates.hh | 2 +- src/Octagonal_Shape.templates.hh | 2 +- src/PIP_Problem.inlines.hh | 2 +- src/PIP_Tree.cc | 4 ++-- src/Partially_Reduced_Product.inlines.hh | 2 +- src/Partially_Reduced_Product.templates.hh | 4 ++-- src/Polyhedron_public.cc | 2 +- src/conversion.cc | 2 +- src/globals.inlines.hh | 2 +- 9 files changed, 11 insertions(+), 11 deletions(-) diff --git a/src/Interval.templates.hh b/src/Interval.templates.hh index 11dff54..f6e306e 100644 --- a/src/Interval.templates.hh +++ b/src/Interval.templates.hh @@ -144,7 +144,7 @@ Interval<Boundary, Info>::Interval(const char* s) { // Get the upper bound. Boundary upper_bound; Result upper_r = assign_r(upper_bound, s, ROUND_UP); - assert(upper_r != V_CVT_STR_UNK && upper_r != V_NAN); + PPL_ASSERT(upper_r != V_CVT_STR_UNK && upper_r != V_NAN); upper_r = result_relation_class(upper_r); // Buld the interval. diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 7f74de5..0d25603 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -971,7 +971,7 @@ Octagonal_Shape<T>::frequency(const Linear_Expression& expr, // Check the octagonal constraints between `v' and the other dimensions // that have non-zero coefficient in `le'. else { - assert(!constant_v); + PPL_ASSERT(!constant_v); using namespace Implementation::Octagonal_Shapes; const dimension_type ci = coherent_index(i); for (Row_Iterator j_iter = i_iter; j_iter != m_end; j_iter += 2) { diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh index d09b3c3..1921fa0 100644 --- a/src/PIP_Problem.inlines.hh +++ b/src/PIP_Problem.inlines.hh @@ -74,7 +74,7 @@ PIP_Problem::operator=(const PIP_Problem& y) { inline PIP_Problem::Control_Parameter_Value PIP_Problem::get_control_parameter(Control_Parameter_Name n) const { - assert(n >= 0 && n < CONTROL_PARAMETER_NAME_SIZE); + PPL_ASSERT(n >= 0 && n < CONTROL_PARAMETER_NAME_SIZE); return control_parameters[n]; } diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 004ddfc..d4ba7e8 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2329,8 +2329,8 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, generate_cut(best_i, all_params, context, space_dim); } else { - assert(cutting_strategy == PIP_Problem::CUTTING_STRATEGY_DEEPEST - || cutting_strategy == PIP_Problem::CUTTING_STRATEGY_ALL); + PPL_ASSERT(cutting_strategy == PIP_Problem::CUTTING_STRATEGY_DEEPEST + || cutting_strategy == PIP_Problem::CUTTING_STRATEGY_ALL); // Find the row with simplest parametric part // which will generate the "deepest" cut. PPL_DIRTY_TEMP_COEFFICIENT(best_score); diff --git a/src/Partially_Reduced_Product.inlines.hh b/src/Partially_Reduced_Product.inlines.hh index a4c0929..2e24c89 100644 --- a/src/Partially_Reduced_Product.inlines.hh +++ b/src/Partially_Reduced_Product.inlines.hh @@ -357,7 +357,7 @@ Partially_Reduced_Product<D1, D2, R> y.reduce(); d1.time_elapse_assign(y.d1); d2.time_elapse_assign(y.d2); - assert(OK()); + PPL_ASSERT(OK()); } template <typename D1, typename D2, typename R> diff --git a/src/Partially_Reduced_Product.templates.hh b/src/Partially_Reduced_Product.templates.hh index 174a57d..febac01 100644 --- a/src/Partially_Reduced_Product.templates.hh +++ b/src/Partially_Reduced_Product.templates.hh @@ -495,9 +495,9 @@ void Constraints_Reduction<D1, D2>::product_reduce(D1& d1, D2& d2) { template <typename D1, typename D2> bool shrink_to_congruence_no_check(D1& d1, D2& d2, const Congruence& cg) { // It is assumed that cg is a proper congruence. - assert(cg.modulus() != 0); + PPL_ASSERT(cg.modulus() != 0); // It is assumed that cg is satisfied by all points in d1. - assert(d1.relation_with(cg) == Poly_Con_Relation::is_included()); + PPL_ASSERT(d1.relation_with(cg) == Poly_Con_Relation::is_included()); // Build the linear expression for the congruence cg. Linear_Expression e; diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index f20161f..bdeb233 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -3510,7 +3510,7 @@ PPL::Polyhedron::frequency(const Linear_Expression& expr, } else { // We have a point or a closure point. - assert(gen_sys_i.is_point() || gen_sys_i.is_closure_point()); + PPL_ASSERT(gen_sys_i.is_point() || gen_sys_i.is_closure_point()); // Notice that we are ignoring the constant term in `expr' here. // We will add it to the value if there is a constant value. assign_r(candidate.get_num(), sp, ROUND_NOT_NEEDED); diff --git a/src/conversion.cc b/src/conversion.cc index a65fbd5..8871583 100644 --- a/src/conversion.cc +++ b/src/conversion.cc @@ -715,7 +715,7 @@ PPL::Polyhedron::conversion(Linear_System& source, redundant = true; break; } - assert(bound >= num_lines_or_equalities); + PPL_ASSERT(bound >= num_lines_or_equalities); WEIGHT_ADD_MUL(15, bound - num_lines_or_equalities); if (!redundant) { // Adding the new ray to `dest' and the corresponding diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index f44e435..8fd6be5 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -67,7 +67,7 @@ maybe_abandon() { inline dimension_type compute_capacity(const dimension_type requested_size, const dimension_type maximum_size) { - assert(requested_size <= maximum_size); + PPL_ASSERT(requested_size <= maximum_size); // Speculation factor 2. return (requested_size < maximum_size / 2) ? 2*(requested_size + 1)

1 0

[GIT] ppl/ppl(master): Replaced several occurrences of assert() by PPL_ASSERT().
by Roberto Bagnara 06 Jan '11

06 Jan '11

Module: ppl/ppl Branch: master Commit: 27d130ce3196cfa2d254fc5a99b265eeb6b27f95 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27d130ce3196… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 10:42:46 2011 +0100 Replaced several occurrences of assert() by PPL_ASSERT(). --- src/Interval.templates.hh | 2 +- src/Octagonal_Shape.templates.hh | 2 +- src/PIP_Problem.inlines.hh | 2 +- src/PIP_Tree.cc | 4 ++-- src/Partially_Reduced_Product.inlines.hh | 2 +- src/Partially_Reduced_Product.templates.hh | 4 ++-- src/Polyhedron_public.cc | 2 +- src/conversion.cc | 2 +- src/globals.inlines.hh | 2 +- 9 files changed, 11 insertions(+), 11 deletions(-) diff --git a/src/Interval.templates.hh b/src/Interval.templates.hh index 11dff54..f6e306e 100644 --- a/src/Interval.templates.hh +++ b/src/Interval.templates.hh @@ -144,7 +144,7 @@ Interval<Boundary, Info>::Interval(const char* s) { // Get the upper bound. Boundary upper_bound; Result upper_r = assign_r(upper_bound, s, ROUND_UP); - assert(upper_r != V_CVT_STR_UNK && upper_r != V_NAN); + PPL_ASSERT(upper_r != V_CVT_STR_UNK && upper_r != V_NAN); upper_r = result_relation_class(upper_r); // Buld the interval. diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 8358b85..ff8e003 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -971,7 +971,7 @@ Octagonal_Shape<T>::frequency(const Linear_Expression& expr, // Check the octagonal constraints between `v' and the other dimensions // that have non-zero coefficient in `le'. else { - assert(!constant_v); + PPL_ASSERT(!constant_v); using namespace Implementation::Octagonal_Shapes; const dimension_type ci = coherent_index(i); for (Row_Iterator j_iter = i_iter; j_iter != m_end; j_iter += 2) { diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh index d09b3c3..1921fa0 100644 --- a/src/PIP_Problem.inlines.hh +++ b/src/PIP_Problem.inlines.hh @@ -74,7 +74,7 @@ PIP_Problem::operator=(const PIP_Problem& y) { inline PIP_Problem::Control_Parameter_Value PIP_Problem::get_control_parameter(Control_Parameter_Name n) const { - assert(n >= 0 && n < CONTROL_PARAMETER_NAME_SIZE); + PPL_ASSERT(n >= 0 && n < CONTROL_PARAMETER_NAME_SIZE); return control_parameters[n]; } diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 9051c85..65fc77e 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2819,8 +2819,8 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, generate_cut(best_i, all_params, context, space_dim); } else { - assert(cutting_strategy == PIP_Problem::CUTTING_STRATEGY_DEEPEST - || cutting_strategy == PIP_Problem::CUTTING_STRATEGY_ALL); + PPL_ASSERT(cutting_strategy == PIP_Problem::CUTTING_STRATEGY_DEEPEST + || cutting_strategy == PIP_Problem::CUTTING_STRATEGY_ALL); // Find the row with simplest parametric part // which will generate the "deepest" cut. PPL_DIRTY_TEMP_COEFFICIENT(best_score); diff --git a/src/Partially_Reduced_Product.inlines.hh b/src/Partially_Reduced_Product.inlines.hh index a4c0929..2e24c89 100644 --- a/src/Partially_Reduced_Product.inlines.hh +++ b/src/Partially_Reduced_Product.inlines.hh @@ -357,7 +357,7 @@ Partially_Reduced_Product<D1, D2, R> y.reduce(); d1.time_elapse_assign(y.d1); d2.time_elapse_assign(y.d2); - assert(OK()); + PPL_ASSERT(OK()); } template <typename D1, typename D2, typename R> diff --git a/src/Partially_Reduced_Product.templates.hh b/src/Partially_Reduced_Product.templates.hh index 174a57d..febac01 100644 --- a/src/Partially_Reduced_Product.templates.hh +++ b/src/Partially_Reduced_Product.templates.hh @@ -495,9 +495,9 @@ void Constraints_Reduction<D1, D2>::product_reduce(D1& d1, D2& d2) { template <typename D1, typename D2> bool shrink_to_congruence_no_check(D1& d1, D2& d2, const Congruence& cg) { // It is assumed that cg is a proper congruence. - assert(cg.modulus() != 0); + PPL_ASSERT(cg.modulus() != 0); // It is assumed that cg is satisfied by all points in d1. - assert(d1.relation_with(cg) == Poly_Con_Relation::is_included()); + PPL_ASSERT(d1.relation_with(cg) == Poly_Con_Relation::is_included()); // Build the linear expression for the congruence cg. Linear_Expression e; diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index b1d9583..ea2efef 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -3513,7 +3513,7 @@ PPL::Polyhedron::frequency(const Linear_Expression& expr, } else { // We have a point or a closure point. - assert(gen_sys_i.is_point() || gen_sys_i.is_closure_point()); + PPL_ASSERT(gen_sys_i.is_point() || gen_sys_i.is_closure_point()); // Notice that we are ignoring the constant term in `expr' here. // We will add it to the value if there is a constant value. assign_r(candidate.get_num(), sp, ROUND_NOT_NEEDED); diff --git a/src/conversion.cc b/src/conversion.cc index a7297ec..ba975a0 100644 --- a/src/conversion.cc +++ b/src/conversion.cc @@ -715,7 +715,7 @@ PPL::Polyhedron::conversion(Linear_System& source, redundant = true; break; } - assert(bound >= num_lines_or_equalities); + PPL_ASSERT(bound >= num_lines_or_equalities); WEIGHT_ADD_MUL(15, bound - num_lines_or_equalities); if (!redundant) { // Adding the new ray to `dest' and the corresponding diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index f44e435..8fd6be5 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -67,7 +67,7 @@ maybe_abandon() { inline dimension_type compute_capacity(const dimension_type requested_size, const dimension_type maximum_size) { - assert(requested_size <= maximum_size); + PPL_ASSERT(requested_size <= maximum_size); // Speculation factor 2. return (requested_size < maximum_size / 2) ? 2*(requested_size + 1)

1 0

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

06 Jan '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 51c333447350d833a0cb85229b2f699ae8d179a5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51c333447350… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jan 6 09:30:52 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(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