Changeset 4072 for trunk/integration
- Timestamp:
- 02/09/08 11:49:34 (11 months ago)
- Location:
- trunk/integration
- Files:
-
- 1 added
- 13 modified
-
bplgt.sh (modified) (1 diff)
-
checks.sh (added)
-
ciaolgt.sh (modified) (1 diff)
-
cxlgt.sh (modified) (1 diff)
-
eclipselgt.sh (modified) (1 diff)
-
gplgt.sh (modified) (1 diff)
-
plclgt.sh (modified) (1 diff)
-
qplgt.sh (modified) (1 diff)
-
quintuslgt.sh (modified) (1 diff)
-
sicstuslgt.sh (modified) (1 diff)
-
swilgt.sh (modified) (1 diff)
-
xsblgt.sh (modified) (1 diff)
-
xsbmtlgt.sh (modified) (1 diff)
-
yaplgt.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/bplgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec bp -g "consult('$LOGTALKHOME/integration/logtalk_bp.pl'), \$bp_top_level" "$@" -
trunk/integration/ciaolgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec ciaosh -l "$LOGTALKHOME/integration/logtalk_ciao.pl" "$@" -
trunk/integration/cxlgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec cxprolog --goal "silent_consult('$LOGTALKHOME/integration/logtalk_cx.pl')" "$@" -
trunk/integration/eclipselgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec eclipse -b "$LOGTALKHOME/integration/logtalk_eclipse.pl" "$@" -
trunk/integration/gplgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec gprolog --init-goal "['$LOGTALKUSER/configs/gnu.config','$LOGTALKHOME/integration/logtalk_gp.pl','$LOGTALKUSER/libpaths/libpaths.pl']" "$@" -
trunk/integration/plclgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec "$PLC"/plc -h 4096k -l 2048k -g 4096k -e "(consult('$LOGTALKHOME/integration/logtalk_plc.pl'), '\$root')." "$@" -
trunk/integration/qplgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec qp -s 3072 -d 1024 -h 2048 -g "['$LOGTALKHOME/integration/logtalk_qp.pl']." "$@" -
trunk/integration/quintuslgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 exec prolog +l "$LOGTALKHOME/integration/logtalk_quintus.pl" +z "$LOGTALKHOME" "$LOGTALKUSER" "$@" -
trunk/integration/sicstuslgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 if sicstus -f --goal "halt." 2>&1 | grep "SICStus 4" 2>&1 >/dev/null; then -
trunk/integration/swilgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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 echo 46 export LOGTALKUSER=$HOME/logtalk 47 fi 48 49 if [ -d "$LOGTALKUSER" ]; then 50 if ! [ -a "$LOGTALKUSER/VERSION.txt" ]; then 51 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 52 echo "Creating an up-to-date Logtalk user directory..." 53 cplgtdirs 54 else 55 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 56 if [ $current -lt 2313 ]; then 57 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 58 echo "Creating an up-to-date Logtalk user directory..." 59 cplgtdirs 60 fi 61 fi 62 else 63 echo "Cannot find \$LOGTALKUSER directory! Creating a new Logtalk user directory" 64 echo "by running the \"cplgtdirs\" shell script:" 65 cplgtdirs 66 fi 67 echo 10 source $LOGTALKHOME/integration/checks.sh 68 11 69 12 if pl -t halt 2>&1 | grep "SWI-Prolog"; then -
trunk/integration/xsblgt.sh
r4056 r4072 8 8 ## ================================================================ 9 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