[PPL-devel] [GIT] ppl/ppl(devel): Obtain include directory from modern versions of Ciao .

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Thu Jun 25 10:18:08 2020 +0200

Obtain include directory from modern versions of Ciao.

---

 m4/ac_check_ciao.m4 |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/m4/ac_check_ciao.m4 b/m4/ac_check_ciao.m4
index 71ed5fa..7102e17 100644
--- a/m4/ac_check_ciao.m4
+++ b/m4/ac_check_ciao.m4
@@ -40,13 +40,13 @@ then
     (umask 077 && mkdir "$tmp")
   } || exit $?
   cat >$tmp/print_include_dir.pl <<_CIAO_PRINT_INCLUDE_DIR_EOF
+:- use_module(engine(system_info)).
+
 main(_) :-
-    ciaolibdir(Lib_Dir),
-    get_os(Os),
-    get_arch(Arch),
-    format("~p/include/~p~p", [[Lib_Dir, Os, Arch]]).
+    ciao_c_headers_dir(Dir),
+    format("~p", [Dir]).
 _CIAO_PRINT_INCLUDE_DIR_EOF
-  ciao_prolog_include_dir=`$ciao_prolog $tmp/print_include_dir.pl`
+  ciao_prolog_include_dir=`$ciao_prolog run $tmp/print_include_dir.pl`
   rm -rf $tmp
 
   CIAO_PROLOG_INCLUDE_OPTIONS="-I${ciao_prolog_include_dir}"