December 2020 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(devel): Updated Ciao Prolog interface tests
by Jose F. Morales 28 Dec '20

28 Dec '20

Module: ppl/ppl Branch: devel Commit: 498d29b64159101908b7f5e61a8a69f0b4e7d1bd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=498d29b64159… Author: Jose F. Morales <jfmcjf(a)gmail.com> Date: Mon Dec 28 17:18:35 2020 +0100 Updated Ciao Prolog interface tests --- interfaces/Prolog/Ciao/ciao_pl_check.pl | 260 +++++++++++---------- ...face_generator_ciao_prolog_generated_test_pl.m4 | 6 +- 2 files changed, 137 insertions(+), 129 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=498d29b6…

1 0

[GIT] ppl/ppl(devel): Added a missing dependency.
by Roberto Bagnara 28 Dec '20

28 Dec '20

Module: ppl/ppl Branch: devel Commit: 0100f68966da8e54cc19de9ad166e297e7c5db99 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0100f68966da… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Dec 28 16:00:38 2020 +0100 Added a missing dependency. --- interfaces/Prolog/Ciao/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index a1f985a6f..477682981 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -171,7 +171,7 @@ ciao_prolog_generated_test.pl: $(interface_generator_dependencies) $(M4) --prefix-builtin -I../.. -I$(srcdir)/.. -I$(srcdir)/../.. \ $(srcdir)/ppl_interface_generator_ciao_prolog_generated_test_pl.m4 > $@ -ppl_ciao.po: ppl_ciao.pl +ppl_ciao.po: .libs/libppl_ciao.so ppl_ciao.pl ciaoc -c ppl_ciao.pl # All the invocations of `ciaoc' to build `ciao_pl_check', `ciao_clpq',

1 0

[GIT] ppl/ppl(devel): Updated interface Ciao Prolog
by Jose F. Morales 28 Dec '20

28 Dec '20

Module: ppl/ppl Branch: devel Commit: 80e0815f7b54f48c70b2a70ec7ea1fa148f55c15 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80e0815f7b54… Author: Jose F. Morales <jfmcjf(a)gmail.com> Date: Mon Dec 28 13:46:16 2020 +0100 Updated interface Ciao Prolog --- interfaces/Prolog/Ciao/Makefile.am | 2 +- .../Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 | 26 +++------------------- 2 files changed, 4 insertions(+), 24 deletions(-) diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index bd74b5ac0..a1f985a6f 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -158,7 +158,7 @@ libppl_ciao_la_DEPENDENCIES = \ libppl_ciao_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ +-shared \ -avoid-version pkgdata_DATA = ppl_ciao.po diff --git a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 index c0c4146fc..705990d50 100644 --- a/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 +++ b/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 @@ -32,29 +32,14 @@ m4_divert`'dnl m4_include(`ppl_interface_generator_copyright')dnl */ -:- export( -[ -m4_divert(1) -]). - -:- use_package([ - assertions, - basicmodes, - regtypes, - foreign_interface -]). +:- module(_, [ +m4_divert(1)dnl +], [assertions, basicmodes, regtypes, foreign_interface]). m4_divert(2)dnl :- extra_linker_opts('-L.libs'). :- use_foreign_library(ppl_ciao). -:- impl_defined( -[ -m4_divert(3) -]). - -:- comment(version_maintenance,off). - m4_divert`'dnl m4_define(`m4_expanded_procedure_schema', `m4_ifelse($4, 0, , `COMMA ') $1/$2')dnl @@ -80,10 +65,5 @@ $1`'m4_ifelse(`$2', 0, ,`(m4_term_sequence($2, `term'))') :- ')')dnl ppl_prolog_sys_code`'dnl m4_undivert(2)dnl -m4_divert`'dnl -m4_define(`m4_expanded_procedure_schema', - `m4_ifelse(check_fail($3), nofail, ,m4_ifelse($4, 0, , `COMMA -') `'$1_2/m4_incr($2))')dnl -m4_patsubst(ppl_prolog_sys_code, COMMA, `,')`'dnl dnl dnl End of file generation.

1 0

PPL compilation error
by Mathieu Dutour 01 Dec '20

01 Dec '20

Dear authors of PPL, I have following compilation error for Parma Polyhedral Library 1.2 on Macintosh: ./OR_Matrix_inlines.hh:100:8: error: missing 'typename' prior to dependent type template name 'OR_Matrix<T>::Pseudo_Row' inline OR_Matrix<T>::Pseudo_Row<U>& (base) ➜ ppl-1.2 g++ -v Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/4.2.1 Apple clang version 11.0.3 (clang-1103.0.32.59) Target: x86_64-apple-darwin20.1.0 Thread model: posix InstalledDir: /Library/Developer/CommandLineTools/usr/bin -------- I originally send my bugreport to support(a)bugseng.com and Roberto Bagnara told me that this error is likely corrected long ago on the git repository. I tried compiling that one. I get an error in "src/BUGS.cc" with BUGS.cc:25:3: error: use of undeclared identifier 'nullptr' -------- Let me know how I can help you fixing those issues. Mathieu

2 1