Ticket #25501: Portfile-logtalk.diff
File Portfile-logtalk.diff, 1.9 KB (added by pmoura (Paulo Moura), 14 years ago) |
---|
-
Portfile
old new 2 2 3 3 PortSystem 1.0 4 4 name logtalk 5 version 2. 39.05 version 2.40.1 6 6 7 7 categories lang 8 8 maintainers logtalk.org:pmoura … … 19 19 homepage http://logtalk.org/ 20 20 master_sites ${homepage}files/ 21 21 22 checksums md5 22312e7f03d5e60d4fa3c3f014b7eada22 checksums md5 18cc69bd1aba380ea6f01f75aac3bc3f 23 23 24 24 distname lgt[strsed ${version} {g/\.//}] 25 25 … … 55 55 ui_msg "* back-end Prolog compilers (which must be properly installed for running" 56 56 ui_msg "* the scripts!):" 57 57 ui_msg "*" 58 ui_msg "* B-Prolog (version 7. 1or later): bplgt"58 ui_msg "* B-Prolog (version 7.4 or later): bplgt" 59 59 ui_msg "* Ciao (version 1.10): ciaolgt (first run must use sudo)" 60 60 ui_msg "* CxProlog (version 0.97.4 or later): cxlgt" 61 61 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" 63 64 ui_msg "* SICStus Prolog (versions 3.12.x, 4.x): sicstuslgt" 64 65 ui_msg "* SWI-Prolog (version 5.6.44 or later): swilgt" 65 66 ui_msg "* XSB (version 3.2 or later): xsblgt (first run must use sudo)" … … 72 73 ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk" 73 74 ui_msg "* and the environment variable LOGTALKUSER to your local configuration" 74 75 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." 77 78 ui_msg "*" 78 79 if {[file exists ${prefix}/share/mime/packages/logtalk.xml]} { 79 80 delete ${prefix}/share/mime/packages/logtalk.xml