Changeset 4265

Show
Ignore:
Timestamp:
05/15/08 14:30:39 (7 weeks ago)
Author:
pmoura
Message:
Updated compatibility information for SWI-Prolog.
Location:
trunk
Files:
7 modified

Legend:

Unmodified
Added
Removed
  • trunk/configs/NOTES.txt

    r4233 r4265  
    417417 
    418418 
    419 SWI Prolog 5.6.23 and later versions 
     419SWI Prolog 5.6.43 and later versions 
    420420 
    421421    swi.config 
  • trunk/configs/swi.config

    r4264 r4265  
    44%  Release 2.31.6 
    55% 
    6 %  configuration file for SWI Prolog 5.6.x and later versions 
    7 % 
    8 %  last updated: April 10, 2008 
     6%  configuration file for SWI Prolog 5.6.43 and later versions 
     7% 
     8%  last updated: May 15, 2008 
    99%  
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
  • trunk/scripts/debian/postinst

    r4233 r4265  
    4646echo "* Quintus Prolog (version 3.5):            quintuslgt" 
    4747echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
    48 echo "* SWI-Prolog (version 5.6.23 or later):    swilgt" 
     48echo "* SWI-Prolog (version 5.6.43 or later):    swilgt" 
    4949echo "* XSB (version 3.1 or later):              xsblgt     (first run must use sudo)" 
    5050echo "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)" 
  • trunk/scripts/install.sh

    r4233 r4265  
    9090echo "* Quintus Prolog (version 3.5):            quintuslgt" 
    9191echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
    92 echo "* SWI-Prolog (version 5.6.16 or later):    swilgt" 
     92echo "* SWI-Prolog (version 5.6.43 or later):    swilgt" 
    9393echo "* XSB (version 3.1 or later):              xsblgt     (first run must use sudo)" 
    9494echo "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)" 
  • trunk/scripts/linux/logtalk.spec

    r4233 r4265  
    142142echo "* Quintus Prolog (version 3.5):            quintuslgt" 
    143143echo "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
    144 echo "* SWI-Prolog (version 5.6.23 or later):    swilgt" 
     144echo "* SWI-Prolog (version 5.6.43 or later):    swilgt" 
    145145echo "* XSB (version 3.1 or later):              xsblgt     (first run must use sudo)" 
    146146echo "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)" 
  • trunk/scripts/macosx/Portfile

    r4233 r4265  
    6060    ui_msg "* Quintus Prolog (version 3.5):            quintuslgt" 
    6161    ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
    62     ui_msg "* SWI-Prolog (version 5.6.23 or later):    swilgt" 
     62    ui_msg "* SWI-Prolog (version 5.6.43 or later):    swilgt" 
    6363    ui_msg "* XSB (version 3.1 or later):              xsblgt     (first run must use sudo)" 
    6464    ui_msg "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)" 
  • trunk/scripts/windows/logtalk.iss

    r4233 r4265  
    5858Name: "prolog\quintus"; Description: "Quintus Prolog integration (version 3.5)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    5959Name: "prolog\sicstus"; Description: "SICStus Prolog integration (versions 3.12.x, 4.0.x)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    60 Name: "prolog\swi"; Description: "SWI-Prolog integration (version 5.6.23 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
     60Name: "prolog\swi"; Description: "SWI-Prolog integration (version 5.6.43 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    6161Name: "prolog\xsb"; Description: "XSB integration (version 3.1 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    6262Name: "prolog\yap"; Description: "YAP integration (version 5.1.2 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning