Changeset 4339 for trunk

Show
Ignore:
Timestamp:
07/05/08 12:30:41 (5 months ago)
Author:
pmoura
Message:

Updated the POSIX integration scripts and the Windows installer script to detect outdated versions of the Logtalk user folder (setting the compatibility version to 2.32.0 or later).

Location:
trunk
Files:
17 modified

Legend:

Unmodified
Added
Removed
  • trunk/integration/bplgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/ciaolgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/cxlgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/eclipselgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/gplgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/plclgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
     
    7171echo 
    7272 
    73 exec "$PLC"/plc -h 4096k -l 2048k -g 4096k -e "(consult('$LOGTALKHOME/integration/logtalk_plc.pl'), '\$root')." "$@" 
     73if plc -e "\$root, halt." 2>&1 | grep "K-Prolog Compiler version 6" 2>&1 >/dev/null; then 
     74    exec plc -h 4096k -l 2048k -g 4096k -e "(consult('$LOGTALKHOME/integration/logtalk_plc6.pl'), '\$root')." "$@" 
     75else 
     76    exec plc -h 4096k -l 2048k -g 4096k -e "(consult('$LOGTALKHOME/integration/logtalk_plc5.pl'), '\$root')." "$@" 
     77fi 
     78 
  • trunk/integration/qplgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/quintuslgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/sicstuslgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/swilgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/xsblgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/xsbmt64lgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/xsbmtlgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/integration/yaplgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..." 
  • trunk/RELEASE_NOTES.txt

    r4338 r4339  
    5656    "sicstus3.config" to avoid being mistaken for the SICStus Prolog 4  
    5757    config file. 
     58 
     59    Updated the POSIX integration scripts and the Windows installer script  
     60    to detect outdated versions of the Logtalk user folder (setting the  
     61    compatibility version to 2.32.0 or later). 
    5862 
    5963    Improved the Prolog migration guide on converting code that makes use  
  • trunk/scripts/windows/logtalk.iss

    r4328 r4339  
    195195  else 
    196196    InstalledVersion := -1; 
    197   if IsAdminLoggedOn and (InstalledVersion >= 0) and (InstalledVersion < 2313) then 
     197  if IsAdminLoggedOn and (InstalledVersion >= 0) and (InstalledVersion < 2320) then 
    198198  begin 
    199199    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

    r4325 r4339  
    198198recompilation of all categories. 
    199199 
     200Logtalk 2.32.0 adds a new compiler option, multifile_directive, to all config  
     201files. Older config files are incompatible with this new Logtalk version. 
     202 
    200203Logtalk version 2.32.1 changes representation of loaded entities therefore  
    201204implying recompilation of all source files.