|
Revision 1460, 1.4 KB
(checked in by pmoura, 4 years ago)
|
|
Updated release number to 2.21.0.
|
-
Property svn:eol-style set to
native
-
Property svn:executable set to
*
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | #! /bin/sh |
|---|
| 2 | |
|---|
| 3 | ## ================================================================= |
|---|
| 4 | ## Logtalk - Object oriented extension to Prolog |
|---|
| 5 | ## Release 2.21.0 |
|---|
| 6 | ## |
|---|
| 7 | ## Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. |
|---|
| 8 | ## ================================================================= |
|---|
| 9 | |
|---|
| 10 | echo |
|---|
| 11 | echo "Creating a script named xsblgt for running Logtalk with XSB..." |
|---|
| 12 | |
|---|
| 13 | if ! [ $LOGTALKHOME ] |
|---|
| 14 | then |
|---|
| 15 | echo "The environment variable LOGTALKHOME must be defined first!" |
|---|
| 16 | else |
|---|
| 17 | cd $LOGTALKHOME |
|---|
| 18 | if [ -z "$1" ]; then |
|---|
| 19 | prefix=/usr/local |
|---|
| 20 | else |
|---|
| 21 | prefix="$1" |
|---|
| 22 | fi |
|---|
| 23 | if ! [ -d bin ] |
|---|
| 24 | then |
|---|
| 25 | mkdir bin |
|---|
| 26 | fi |
|---|
| 27 | cd bin |
|---|
| 28 | cp ../configs/xsb.config xsbconfig.P |
|---|
| 29 | cp ../compiler/logtalk.pl logtalk.P |
|---|
| 30 | sed 's/^..lgt_current_object_.[(]user.*[)]/:- assertz(&)/' logtalk.P > temp1 |
|---|
| 31 | sed 's/^..lgt_current_object_.[(]debugger.*[)]/:- assertz(&)/' temp1 > temp2 |
|---|
| 32 | sed 's/^..lgt_dbg_leashing_.[(].*[)]/:- assertz(&)/g' temp2 > logtalk.P |
|---|
| 33 | rm temp1 |
|---|
| 34 | rm temp2 |
|---|
| 35 | echo ":- reconsult('$LOGTALKHOME/bin/xsbconfig.P')." > logtalkxsb.P |
|---|
| 36 | echo ":- reconsult('$LOGTALKHOME/bin/logtalk.P')." >> logtalkxsb.P |
|---|
| 37 | echo "#/bin/sh" > xsblgt |
|---|
| 38 | echo "xsb -e \"reconsult('\$LOGTALKHOME/bin/logtalkxsb.P').\"" >> xsblgt |
|---|
| 39 | chmod a+x xsblgt |
|---|
| 40 | ln -sf $LOGTALKHOME/bin/xsblgt $prefix/bin/xsblgt |
|---|
| 41 | echo "Done. A link to the script was been created in $prefix/bin." |
|---|
| 42 | echo "Users should define the environment variable LOGTALKHOME in" |
|---|
| 43 | echo "order to use the script." |
|---|
| 44 | echo |
|---|
| 45 | fi |
|---|