Changeset 4581
- Timestamp:
- 11/07/08 16:39:42 (2 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/windows/logtalk.iss (modified) (1 diff)
-
UPGRADING.txt (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/bplgt.sh
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; 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
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/scripts/windows/logtalk.iss
r4572 r4581 199 199 else 200 200 InstalledVersion := -1; 201 if IsAdminLoggedOn and (InstalledVersion >= 0) and (InstalledVersion < 233 2) then201 if IsAdminLoggedOn and (InstalledVersion >= 0) and (InstalledVersion < 2333) 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).' -
trunk/UPGRADING.txt
r4572 r4581 219 219 file line number where a term starts. Older config files are incompatible with 220 220 this new Logtalk version. 221 222 Logtalk 2.33.3 adds a new read-only compiler flag, "prolog", which is defined 223 in the config files. Older config files are incompatible with this new Logtalk 224 version.
