Module: ppl/ppl Branch: devel Commit: 8eac2ba54812861a09b0492d799df653ad112ec8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eac2ba548128...
Author: Roberto Bagnara roberto.bagnara@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}"