From 5bff1053b8ac2b6575b92ed0a81be19ab426c107 Mon Sep 17 00:00:00 2001 From: pmoura Date: Fri, 9 Jul 2004 00:41:35 +0000 Subject: [PATCH] Logtalk 2.18.0 release files. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1091 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- Logtalk/misc/make_xsblgt.sh | 38 +++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100755 Logtalk/misc/make_xsblgt.sh diff --git a/Logtalk/misc/make_xsblgt.sh b/Logtalk/misc/make_xsblgt.sh new file mode 100755 index 000000000..b0ac602b7 --- /dev/null +++ b/Logtalk/misc/make_xsblgt.sh @@ -0,0 +1,38 @@ +#! /bin/sh + +echo +echo "Making a script named xsblgt for running Logtalk with XSB..." + +if ! [ $LOGTALKHOME ] +then + echo "The environment variable LOGTALKHOME must be defined first!" +else + cd $LOGTALKHOME + if [ -z "$1" ]; then + prefix=/usr/local + else + prefix="$1" + fi + if ! [ -d bin ] + then + mkdir bin + fi + cd bin + cp ../configs/xsb.config xsbconfig.P + cp ../compiler/logtalk.pl logtalk.P + sed 's/^..lgt_current_object_.[(]user.*[)]/:- assertz(&)/' logtalk.P > temp1 + sed 's/^..lgt_current_object_.[(]debugger.*[)]/:- assertz(&)/' temp1 > temp2 + sed 's/^..lgt_dbg_leashing_.[(].*[)]/:- assertz(&)/g' temp2 > logtalk.P + rm temp1 + rm temp2 + echo ":- reconsult('$LOGTALKHOME/bin/xsbconfig.P')." > logtalkxsb.P + echo ":- reconsult('$LOGTALKHOME/bin/logtalk.P')." >> logtalkxsb.P + echo "#/bin/sh" > xsblgt + echo "xsb -e \"reconsult('\$LOGTALKHOME/bin/logtalkxsb.P').\"" >> xsblgt + chmod a+x xsblgt + ln -sf $LOGTALKHOME/bin/xsblgt $prefix/bin/xsblgt + echo "Done. A link to the script was been created in $prefix/bin." + echo "Users should define the environment variable LOGTALKHOME in" + echo "order to use the script." + echo +fi