Module: ppl/ppl Branch: devel Commit: 80e0815f7b54f48c70b2a70ec7ea1fa148f55c15 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80e0815f7b54f...

Author: Jose F. Morales jfmcjf@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.