[PPL-devel] [GIT] ppl/ppl(devel): Updated interface Ciao Prolog

[Jose F. Morales]

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

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