Changeset 3991 for trunk/scripts

Show
Ignore:
Timestamp:
12/29/07 07:17:43 (13 months ago)
Author:
pmoura
Message:

Updated the K-Prolog integration scripts to use the new 6.0.1 version by default. Updated the Linux (RMP and Debian) and MacOS X package build scripts to include Prolog version compatibility information. Minor documentation improvements.

Location:
trunk/scripts
Files:
4 modified

Legend:

Unmodified
Added
Removed

  • trunk/scripts/debian/postinst

    r3986 r3991  
    3737echo "with selected back-end Prolog compilers:" 
    3838echo 
    39 echo "  B-Prolog:       bplgt       (first run must use sudo)" 
    40 echo "  CIAO:           ciaolgt     (first run must use sudo)" 
    41 echo "  CxProlog:       cxlgt" 
    42 echo "  ECLiPSe:        eclipselgt" 
    43 echo "  GNU Prolog:     gplgt" 
    44 echo "  K-Prolog:       plclgt" 
    45 echo "  Qu-Prolog:      qplgt" 
    46 echo "  SICStus Prolog: sicstuslgt" 
    47 echo "  SWI-Prolog:     swilgt" 
    48 echo "  XSB:            xsblgt      (first run must use sudo)" 
    49 echo "  XSB (MT):       xsbmtlgt    (first run must use sudo)" 
    50 echo "  YAP:            yaplgt" 
     39echo "  B-Prolog (version 7.0 or later):         bplgt    (first run must use sudo)" 
     40echo "  CIAO (version 1.10#5 or later):          ciaolgt  (first run must use sudo)" 
     41echo "  CxProlog (version 0.96.1 or later):      cxlgt" 
     42echo "  ECLiPSe (version 5.10#26 or later):      eclipselgt" 
     43echo "  GNU Prolog (version 1.2.16 or later):    gplgt" 
     44echo "  K-Prolog (version 6.0.1 or later):       plclgt" 
     45echo "  Qu-Prolog (version 8.1 or later):        qplgt" 
     46echo "  SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
     47echo "  SWI-Prolog (version 5.6.16 or later):    swilgt" 
     48echo "  XSB (version 3.1 or later):              xsblgt   (first run must use sudo)" 
     49echo "  XSB MT (CVS version):                    xsbmtlgt (first run must use sudo)" 
     50echo "  YAP (version 5.1.2 or later):            yaplgt" 
    5151echo 
    5252echo "The Prolog integration scripts can be found on \"/usr/bin\"." 

  • trunk/scripts/linux/logtalk.spec

    r3986 r3991  
    124124echo "with selected back-end Prolog compilers:" 
    125125echo 
    126 echo "  B-Prolog:       bplgt       (first run must use sudo)" 
    127 echo "  CIAO:           ciaolgt     (first run must use sudo)" 
    128 echo "  CxProlog:       cxlgt" 
    129 echo "  ECLiPSe:        eclipselgt" 
    130 echo "  GNU Prolog:     gplgt" 
    131 echo "  K-Prolog:       plclgt" 
    132 echo "  Qu-Prolog:      qplgt" 
    133 echo "  SICStus Prolog: sicstuslgt" 
    134 echo "  SWI-Prolog:     swilgt" 
    135 echo "  XSB:            xsblgt      (first run must use sudo)" 
    136 echo "  XSB (MT):       xsbmtlgt    (first run must use sudo)" 
    137 echo "  YAP:            yaplgt" 
     126echo "  B-Prolog (version 7.0 or later):         bplgt    (first run must use sudo)" 
     127echo "  CIAO (version 1.10#5 or later):          ciaolgt  (first run must use sudo)" 
     128echo "  CxProlog (version 0.96.1 or later):      cxlgt" 
     129echo "  ECLiPSe (version 5.10#26 or later):      eclipselgt" 
     130echo "  GNU Prolog (version 1.2.16 or later):    gplgt" 
     131echo "  K-Prolog (version 6.0.1 or later):       plclgt" 
     132echo "  Qu-Prolog (version 8.1 or later):        qplgt" 
     133echo "  SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
     134echo "  SWI-Prolog (version 5.6.16 or later):    swilgt" 
     135echo "  XSB (version 3.1 or later):              xsblgt   (first run must use sudo)" 
     136echo "  XSB MT (CVS version):                    xsbmtlgt (first run must use sudo)" 
     137echo "  YAP (version 5.1.2 or later):            yaplgt" 
    138138echo 
    139139echo "The Prolog integration scripts can be found on \"$RPM_INSTALL_PREFIX/bin\"." 

  • trunk/scripts/macosx/Portfile

    r3986 r3991  
    5151    ui_msg "*  the scripts!):" 
    5252    ui_msg "*" 
    53     ui_msg "*    B-Prolog:       bplgt        (first run must use sudo)" 
    54     ui_msg "*    CIAO:           ciaolgt      (first run must use sudo)" 
    55     ui_msg "*    CxProlog:       cxlgt" 
    56     ui_msg "*    ECLiPSe:        eclipselgt" 
    57     ui_msg "*    GNU Prolog:     gplgt" 
    58     ui_msg "*    K-Prolog:       plclgt" 
    59     ui_msg "*    Qu-Prolog:      qplgt" 
    60     ui_msg "*    SICStus Prolog: sicstuslgt" 
    61     ui_msg "*    SWI-Prolog:     swilgt" 
    62     ui_msg "*    XSB:            xsblgt       (first run must use sudo)" 
    63     ui_msg "*    XSB (MT):       xsbmtlgt    (first run must use sudo)" 
    64     ui_msg "*    YAP:            yaplgt" 
     53    ui_msg "*  B-Prolog (version 7.0 or later):         bplgt    (first run must use sudo)" 
     54    ui_msg "*  CIAO (version 1.10#5 or later):          ciaolgt  (first run must use sudo)" 
     55    ui_msg "*  CxProlog (version 0.96.1 or later):      cxlgt" 
     56    ui_msg "*  ECLiPSe (version 5.10#26 or later):      eclipselgt" 
     57    ui_msg "*  GNU Prolog (version 1.2.16 or later):    gplgt" 
     58    ui_msg "*  K-Prolog (version 6.0.1 or later):       plclgt" 
     59    ui_msg "*  Qu-Prolog (version 8.1 or later):        qplgt" 
     60    ui_msg "*  SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
     61    ui_msg "*  SWI-Prolog (version 5.6.16 or later):    swilgt" 
     62    ui_msg "*  XSB (version 3.1 or later):              xsblgt   (first run must use sudo)" 
     63    ui_msg "*  XSB MT (CVS version):                    xsbmtlgt (first run must use sudo)" 
     64    ui_msg "*  YAP (version 5.1.2 or later):            yaplgt" 
    6565    ui_msg "*" 
    66     ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to" 
    67     ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk" 
    68     ui_msg "* and the environment variable LOGTALKUSER to your local configuration" 
    69     ui_msg "* directory (usually ~/logtalk), which you must create by running the" 
    70     ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details" 
    71     ui_msg "* on how to customize your working environment." 
     66    ui_msg "*  Remember to set the environment variable LOGTALKHOME to the path to" 
     67    ui_msg "*  the Logtalk distribution: ${prefix}/share/logtalk" 
     68    ui_msg "*  and the environment variable LOGTALKUSER to your local configuration" 
     69    ui_msg "*  directory (usually ~/logtalk), which you must create by running the" 
     70    ui_msg "*  command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details" 
     71    ui_msg "*  on how to customize your working environment." 
    7272    ui_msg "****************************************************************************" 
    7373} 

  • trunk/scripts/windows/logtalk.iss

    r3986 r3991  
    5555Name: "prolog\eclipse"; Description: "ECLiPSe integration (version 5.10#26 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    5656Name: "prolog\gprolog"; Description: "GNU Prolog integration (version 1.2.16 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    57 Name: "prolog\plc"; Description: "K-Prolog integration (version 5.1.4 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    58 Name: "prolog\sicstus"; Description: "SICStus Prolog integration (versions 3.12.x, 4.0)"; Types: full prolog custom; Flags: disablenouninstallwarning 
     57Name: "prolog\plc"; Description: "K-Prolog integration (version 6.0.1 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
     58Name: "prolog\sicstus"; Description: "SICStus Prolog integration (versions 3.12.x, 4.0.x)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    5959Name: "prolog\swi"; Description: "SWI-Prolog integration (version 5.6.16 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning 
    6060Name: "prolog\xsb"; Description: "XSB integration (version 3.1 or later)"; Types: full prolog custom; Flags: disablenouninstallwarning