packages: ppl/ppl-ciao.patch (NEW)=?UTF-8?Q?=20?=- update for current ciao prolog

[qboosh]

Author: qboosh                       Date: Wed May 23 17:52:42 2012 GMT
Module: packages                      Tag: HEAD
---- Log message:
- update for current ciao prolog

---- Files affected:
packages/ppl:
   ppl-ciao.patch (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: packages/ppl/ppl-ciao.patch
diff -u /dev/null packages/ppl/ppl-ciao.patch:1.1
--- /dev/null	Wed May 23 19:52:42 2012
+++ packages/ppl/ppl-ciao.patch	Wed May 23 19:52:37 2012
@@ -0,0 +1,11 @@
+--- ppl-0.12/m4/ac_check_ciao.m4.orig	2012-02-27 17:30:23.000000000 +0100
++++ ppl-0.12/m4/ac_check_ciao.m4	2012-04-11 21:20:26.736330240 +0200
+@@ -41,7 +41,7 @@
+   } || exit $?
+   cat >$tmp/print_include_dir.pl <<_CIAO_PRINT_INCLUDE_DIR_EOF
+ main(_) :-
+-    ciaolibdir(Lib_Dir),
++    ciao_lib_dir(Lib_Dir),
+     get_os(Os),
+     get_arch(Arch),
+     format("~p/include/~p~p", [[Lib_Dir, Os, Arch]]).
================================================================