Ticket #45252: Portfile-logtalk-devel.diff
File Portfile-logtalk-devel.diff, 2.2 KB (added by pmoura (Paulo Moura), 10 years ago) |
---|
-
Portfile
old new 5 5 6 6 name logtalk-devel 7 7 conflicts logtalk 8 version 3.00.0-rc 28 version 3.00.0-rc3 9 9 10 10 categories lang 11 11 maintainers logtalk.org:pmoura … … 25 25 26 26 fetch.type git 27 27 git.url git://github.com/LogtalkDotOrg/logtalk3.git 28 git.branch f38e5186349c992d680f5cabddd8c9582e16d92f28 git.branch 5a1263479e7cb2eef263ab3b159dbbe8317b677c 29 29 30 30 distname logtalk-${version} 31 31 … … 60 60 ui_msg "* the scripts!):" 61 61 ui_msg "*" 62 62 ui_msg "* B-Prolog (version 7.8 or later): bplgt" 63 ui_msg "* CxProlog (version 0.97. 6or later): cxlgt"63 ui_msg "* CxProlog (version 0.97.7 or later): cxlgt" 64 64 ui_msg "* ECLiPSe (version 6.1#143 or later): eclipselgt" 65 ui_msg "* GNU Prolog (version 1.4.1 or later): gplgt" 65 ui_msg "* GNU Prolog (version 1.4.2 or later): gplgt" 66 ui_msg "* Lean Prolog (version 3.8.8 or later): lplgt (experimental)" 66 67 ui_msg "* Qu-Prolog (version 9.0 or later): qplgt" 68 ui_msg "* Quintus Prolog (version 3.3 or later): quintuslgt (experimental)" 67 69 ui_msg "* SICStus Prolog (version 4.1.0 or later): sicstuslgt" 68 70 ui_msg "* SWI-Prolog (version 6.0.0 or later): swilgt" 69 ui_msg "* XSB (version 3.3 or later): xsblgt (first run must use sudo)" 70 ui_msg "* XSB 64 bits (version 3.3 or later): xsb64lgt (first run must use sudo)" 71 ui_msg "* XSB MT (version 3.3 or later): xsbmtlgt (first run must use sudo)" 72 ui_msg "* XSB MT 64 bits (version 3.3 or later): xsbmt64lgt (first run must use sudo)" 73 ui_msg "* YAP (version 6.0.2 or later): yaplgt" 71 ui_msg "* XSB (version 3.5.0 or later): xsblgt (first run may require sudo)" 72 ui_msg "* XSB MT (version 3.5.0 or later): xsbmtlgt (first run may require sudo)" 73 ui_msg "* YAP (version 6.3.4 or later): yaplgt" 74 74 ui_msg "*" 75 75 ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to" 76 76 ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk"