Show
Ignore:
Timestamp:
03/17/08 12:44:15 (10 months ago)
Author:
pmoura
Message:

Added an integration script, "xsbmt64lgt", for using Logtalk with the multi-threaded, 64 bits version of XSB.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/scripts/macosx/Portfile

    r4102 r4132  
    4747post-activate { 
    4848    ui_msg "****************************************************************************" 
    49     ui_msg "*  Integration scripts have been created for running Logtalk with selected" 
    50     ui_msg "*  back-end Prolog compilers (which must be properly installed for running" 
    51     ui_msg "*  the scripts!):" 
     49    ui_msg "* Integration scripts have been created for running Logtalk with selected" 
     50    ui_msg "* back-end Prolog compilers (which must be properly installed for running" 
     51    ui_msg "* the scripts!):" 
    5252    ui_msg "*" 
    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 5.1.2a or later):      plclgt" 
    59     ui_msg "*  Qu-Prolog (version 8.1 or later):        qplgt" 
    60     ui_msg "*  Quintus Prolog (version 3.5):            quintuslgt" 
    61     ui_msg "*  SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
    62     ui_msg "*  SWI-Prolog (version 5.6.16 or later):    swilgt" 
    63     ui_msg "*  XSB (version 3.1 or later):              xsblgt   (first run must use sudo)" 
    64     ui_msg "*  XSB MT (CVS version):                    xsbmtlgt (first run must use sudo)" 
    65     ui_msg "*  YAP (version 5.1.2 or later):            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 5.1.2a or later):      plclgt" 
     59    ui_msg "* Qu-Prolog (version 8.1 or later):        qplgt" 
     60    ui_msg "* Quintus Prolog (version 3.5):            quintuslgt" 
     61    ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt" 
     62    ui_msg "* SWI-Prolog (version 5.6.16 or later):    swilgt" 
     63    ui_msg "* XSB (version 3.1 or later):              xsblgt     (first run must use sudo)" 
     64    ui_msg "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)" 
     65    ui_msg "* XSB MT 64 bits (CVS version):            xsbmt64lgt (first run must use sudo)" 
     66    ui_msg "* YAP (version 5.1.2 or later):            yaplgt" 
    6667    ui_msg "*" 
    67     ui_msg "*  Remember to set the environment variable LOGTALKHOME to the path to" 
    68     ui_msg "*  the Logtalk distribution: ${prefix}/share/logtalk" 
    69     ui_msg "*  and the environment variable LOGTALKUSER to your local configuration" 
    70     ui_msg "*  directory (usually ~/logtalk), which you must create by running the" 
    71     ui_msg "*  command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details" 
    72     ui_msg "*  on how to customize your working environment." 
     68    ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to" 
     69    ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk" 
     70    ui_msg "* and the environment variable LOGTALKUSER to your local configuration" 
     71    ui_msg "* directory (usually ~/logtalk), which you must create by running the" 
     72    ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details" 
     73    ui_msg "* on how to customize your working environment." 
    7374    ui_msg "****************************************************************************" 
    7475}