Ticket #15199: Portfile-logtalk.diff

File Portfile-logtalk.diff, 3.9 KB (added by pmoura (Paulo Moura), 17 years ago)

  • Portfile

    old new  
    33PortSystem      1.0
    44
    55name            logtalk
    6 version         2.31.4
     6version         2.31.5
    77
    88categories      lang
    99maintainers     pmoura@logtalk.org
    … …  
    2121homepage        http://logtalk.org/
    2222master_sites    ${homepage}files/
    2323
    24 checksums               md5 6a8320dd196827af2a08f3a554f9ab84
     24checksums               md5 4eefd93e083d5b973d64fd27ead2c172
    2525
    2626distname                lgt[strsed ${version} {g/\.//}]
    2727
    … …  
    4747
    4848post-activate {
    4949        ui_msg "****************************************************************************"
    50         ui_msg "*  Integration scripts have been created for running Logtalk with selected"
    51         ui_msg "*  back-end Prolog compilers (which must be properly installed for running"
    52         ui_msg "*  the scripts!):"
     50        ui_msg "* Integration scripts have been created for running Logtalk with selected"
     51        ui_msg "* back-end Prolog compilers (which must be properly installed for running"
     52        ui_msg "* the scripts!):"
    5353        ui_msg "*"
    54         ui_msg "*  B-Prolog (version 7.0 or later):         bplgt    (first run must use sudo)"
    55         ui_msg "*  CIAO (version 1.10#5 or later):          ciaolgt  (first run must use sudo)"
    56         ui_msg "*  CxProlog (version 0.96.1 or later):      cxlgt"
    57         ui_msg "*  ECLiPSe (version 5.10#26 or later):      eclipselgt"
    58         ui_msg "*  GNU Prolog (version 1.2.16 or later):    gplgt"
    59         ui_msg "*  K-Prolog (version 5.1.2a or later):      plclgt"
    60         ui_msg "*  Qu-Prolog (version 8.1 or later):        qplgt"
    61         ui_msg "*  Quintus Prolog (version 3.5):            quintuslgt"
    62         ui_msg "*  SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt"
    63         ui_msg "*  SWI-Prolog (version 5.6.16 or later):    swilgt"
    64         ui_msg "*  XSB (version 3.1 or later):              xsblgt   (first run must use sudo)"
    65         ui_msg "*  XSB MT (CVS version):                    xsbmtlgt (first run must use sudo)"
    66         ui_msg "*  YAP (version 5.1.2 or later):            yaplgt"
     54        ui_msg "* B-Prolog (version 7.0 or later):         bplgt      (first run must use sudo)"
     55        ui_msg "* CIAO (version 1.10#5 or later):          ciaolgt    (first run must use sudo)"
     56        ui_msg "* CxProlog (version 0.96.1 or later):      cxlgt"
     57        ui_msg "* ECLiPSe (version 5.10#26 or later):      eclipselgt"
     58        ui_msg "* GNU Prolog (version 1.2.16 or later):    gplgt"
     59        ui_msg "* K-Prolog (version 5.1.x):                plclgt"
     60        ui_msg "* Qu-Prolog (version 8.1 or later):        qplgt"
     61        ui_msg "* Quintus Prolog (version 3.5):            quintuslgt"
     62        ui_msg "* SICStus Prolog (versions 3.12.x, 4.0.x): sicstuslgt"
     63        ui_msg "* SWI-Prolog (version 5.6.23 or later):    swilgt"
     64        ui_msg "* XSB (version 3.1 or later):              xsblgt     (first run must use sudo)"
     65        ui_msg "* XSB MT (CVS version):                    xsbmtlgt   (first run must use sudo)"
     66        ui_msg "* XSB MT 64 bits (CVS version):            xsbmt64lgt (first run must use sudo)"
     67        ui_msg "* YAP (version 5.1.2 or later):            yaplgt"
    6768        ui_msg "*"
    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."
     69        ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to"
     70        ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk"
     71        ui_msg "* and the environment variable LOGTALKUSER to your local configuration"
     72        ui_msg "* directory (usually ~/logtalk), which you must create by running the"
     73        ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details"
     74        ui_msg "* on how to customize your working environment."
    7475        ui_msg "****************************************************************************"
    7576}