Changeset 4448
- Timestamp:
- 08/25/08 02:27:28 (5 months ago)
- Location:
- trunk
- Files:
-
- 16 modified
-
integration/bplgt.sh (modified) (1 diff)
-
integration/ciaolgt.sh (modified) (1 diff)
-
integration/cxlgt.sh (modified) (1 diff)
-
integration/eclipselgt.sh (modified) (1 diff)
-
integration/gplgt.sh (modified) (1 diff)
-
integration/plclgt.sh (modified) (1 diff)
-
integration/qplgt.sh (modified) (1 diff)
-
integration/quintuslgt.sh (modified) (1 diff)
-
integration/sicstuslgt.sh (modified) (1 diff)
-
integration/swilgt.sh (modified) (1 diff)
-
integration/xsblgt.sh (modified) (1 diff)
-
integration/xsbmt64lgt.sh (modified) (1 diff)
-
integration/xsbmtlgt.sh (modified) (1 diff)
-
integration/yaplgt.sh (modified) (1 diff)
-
scripts/uninstall.sh (modified) (1 diff)
-
scripts/windows/logtalk.iss (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/bplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/ciaolgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/cxlgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/eclipselgt.sh
r4430 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/gplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/plclgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/qplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/quintuslgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/sicstuslgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/swilgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/xsblgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/xsbmt64lgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/xsbmtlgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/yaplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/scripts/uninstall.sh
r4411 r4448 44 44 45 45 cd $LOGTALKHOME/.. 46 rm -rf lgt23 2246 rm -rf lgt2330 47 47 rm -f logtalk 48 48 cd ../bin -
trunk/scripts/windows/logtalk.iss
r4430 r4448 199 199 else 200 200 InstalledVersion := -1; 201 if IsAdminLoggedOn and (InstalledVersion >= 0) and (InstalledVersion < 23 22) then201 if IsAdminLoggedOn and (InstalledVersion >= 0) and (InstalledVersion < 2330) then 202 202 begin 203 203 Warning := 'You have an older version of Logtalk installed whose configuration files are incompatible with this new version (configuration files are stored in your Logtalk user data folder).'
