Ticket #25501: Portfile-logtalk.diff

File Portfile-logtalk.diff, 1.9 KB (added by pmoura (Paulo Moura), 14 years ago)
  • Portfile

    old new  
    22
    33PortSystem      1.0
    44name            logtalk
    5 version         2.39.0
     5version         2.40.1
    66
    77categories      lang
    88maintainers     logtalk.org:pmoura
     
    1919homepage                http://logtalk.org/
    2020master_sites    ${homepage}files/
    2121
    22 checksums               md5     22312e7f03d5e60d4fa3c3f014b7eada
     22checksums               md5     18cc69bd1aba380ea6f01f75aac3bc3f
    2323
    2424distname                lgt[strsed ${version} {g/\.//}]
    2525
     
    5555        ui_msg "* back-end Prolog compilers (which must be properly installed for running"
    5656        ui_msg "* the scripts!):"
    5757        ui_msg "*"
    58         ui_msg "* B-Prolog (version 7.1 or later):       bplgt"
     58        ui_msg "* B-Prolog (version 7.4 or later):       bplgt"
    5959        ui_msg "* Ciao (version 1.10):                   ciaolgt    (first run must use sudo)"
    6060        ui_msg "* CxProlog (version 0.97.4 or later):    cxlgt"
    6161        ui_msg "* ECLiPSe (version 6.0 or later):        eclipselgt"
    62         ui_msg "* Qu-Prolog (version 8.10 or later):     qplgt"
     62        ui_msg "* GNU Prolog (version 1.4.0 or later):   gplgt"
     63        ui_msg "* Qu-Prolog (version 8.11 or later):     qplgt"
    6364        ui_msg "* SICStus Prolog (versions 3.12.x, 4.x): sicstuslgt"
    6465        ui_msg "* SWI-Prolog (version 5.6.44 or later):  swilgt"
    6566        ui_msg "* XSB (version 3.2 or later):            xsblgt     (first run must use sudo)"
     
    7273        ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk"
    7374        ui_msg "* and the environment variable LOGTALKUSER to your local configuration"
    7475        ui_msg "* directory (usually ~/logtalk), which you must create by running the"
    75         ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details"
    76         ui_msg "* on how to customize your working environment."
     76        ui_msg "* command logtalk_user_setup. See the file \$LOGTALKHOME/CUSTOMIZE.txt"
     77        ui_msg "* for details on how to customize your working environment."
    7778        ui_msg "*"
    7879        if {[file exists ${prefix}/share/mime/packages/logtalk.xml]} {
    7980            delete ${prefix}/share/mime/packages/logtalk.xml