| 1 | #/bin/sh |
|---|
| 2 | |
|---|
| 3 | ## ================================================================ |
|---|
| 4 | ## Logtalk - Open source object-oriented logic programming language |
|---|
| 5 | ## Release 2.31.0 |
|---|
| 6 | ## |
|---|
| 7 | ## Copyright (c) 1998-2007 Paulo Moura. All Rights Reserved. |
|---|
| 8 | ## ================================================================ |
|---|
| 9 | |
|---|
| 10 | if ! [ "$LOGTALKHOME" ]; then |
|---|
| 11 | echo "The environment variable LOGTALKHOME should be defined first, pointing" |
|---|
| 12 | echo "to your Logtalk installation directory!" |
|---|
| 13 | echo "Trying the default locations for the Logtalk installation..." |
|---|
| 14 | if [ -d "/usr/local/share/logtalk" ]; then |
|---|
| 15 | LOGTALKHOME=/usr/local/share/logtalk |
|---|
| 16 | echo "... using Logtalk installation found at /usr/local/share/logtalk" |
|---|
| 17 | elif [ -d "/usr/share/logtalk" ]; then |
|---|
| 18 | LOGTALKHOME=/usr/share/logtalk |
|---|
| 19 | echo "... using Logtalk installation found at /usr/share/logtalk" |
|---|
| 20 | elif [ -d "/opt/local/share/logtalk" ]; then |
|---|
| 21 | LOGTALKHOME=/opt/local/share/logtalk |
|---|
| 22 | echo "... using Logtalk installation found at /opt/local/share/logtalk" |
|---|
| 23 | elif [ -d "/opt/share/logtalk" ]; then |
|---|
| 24 | LOGTALKHOME=/opt/share/logtalk |
|---|
| 25 | echo "... using Logtalk installation found at /opt/share/logtalk" |
|---|
| 26 | else |
|---|
| 27 | echo "... unable to locate Logtalk installation directory!" |
|---|
| 28 | echo |
|---|
| 29 | exit 1 |
|---|
| 30 | fi |
|---|
| 31 | echo |
|---|
| 32 | elif ! [ -d "$LOGTALKHOME" ]; then |
|---|
| 33 | echo "The environment variable LOGTALKHOME points to a non-existing directory!" |
|---|
| 34 | echo "Its current value is: $LOGTALKHOME" |
|---|
| 35 | echo "The variable must be set to your Logtalk installation directory!" |
|---|
| 36 | echo |
|---|
| 37 | exit 1 |
|---|
| 38 | fi |
|---|
| 39 | export LOGTALKHOME |
|---|
| 40 | |
|---|
| 41 | if ! [ "$LOGTALKUSER" ]; then |
|---|
| 42 | echo "The environment variable LOGTALKUSER should be defined first, pointing" |
|---|
| 43 | echo "to your Logtalk user directory!" |
|---|
| 44 | echo "Trying the default location for the Logtalk user directory..." |
|---|
| 45 | export LOGTALKUSER=$HOME/logtalk |
|---|
| 46 | if [ -d "$LOGTALKUSER" ]; then |
|---|
| 47 | echo "... using Logtalk user directory found at $LOGTALKUSER" |
|---|
| 48 | else |
|---|
| 49 | echo "... Logtalk user directory not found at default location. Creating a" |
|---|
| 50 | echo "new Logtalk user directory by running the \"cplgtdirs\" shell script:" |
|---|
| 51 | cplgtdirs |
|---|
| 52 | fi |
|---|
| 53 | elif ! [ -d "$LOGTALKUSER" ]; then |
|---|
| 54 | echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" |
|---|
| 55 | echo "by running the \"cplgtdirs\" shell script:" |
|---|
| 56 | cplgtdirs |
|---|
| 57 | fi |
|---|
| 58 | echo |
|---|
| 59 | |
|---|
| 60 | exec qp -s 3072 -d 1024 -h 2048 -g "['$LOGTALKHOME/integration/logtalk_qp.pl']." "$@" |
|---|
