From 7eeaf24db21103786e9ad6fa465922bb0fa09a91 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 20 Oct 2008 18:00:47 +0100
Subject: [PATCH] fix SHAREDIR in chr

---
 configure    | 2 +-
 configure.in | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 8bf86c41b..c48ebaafb 100755
--- a/configure
+++ b/configure
@@ -7168,7 +7168,7 @@ then
   esac
 else
   PRE_DYNLOADER_PATH=""
-  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
+  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)/Yap  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
   DYNYAPLIB=libYap.notused
 fi
 
diff --git a/configure.in b/configure.in
index c5f74a6f4..8989011b3 100644
--- a/configure.in
+++ b/configure.in
@@ -888,7 +888,7 @@ then
   esac
 else
   PRE_DYNLOADER_PATH=""
-  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
+  EXTEND_DYNLOADER_PATH="YAPSHAREDIR=\$(DESTDIR)\$(SHAREDIR)/Yap  YAPLIBDIR=\$(DESTDIR)\$(YAPLIBDIR)"
   DYNYAPLIB=libYap.notused
 fi