Ticket #13692: Portfile-logtalk.diff

Portfile

@@ -1 @@
-# $Id: Portfile 31023 2007-11-14 02:46:55Z ryandesign@macports.org $
+# $Id: Portfile 26918 2007-07-11 15:28:15Z gwright@macports.org $
 
 PortSystem      1.0
 name            logtalk
-version         2.30.8
+version         2.31.0
 
 categories      lang
 maintainers     pmoura@logtalk.org
@@ -20 +20 @@
 homepage        http://logtalk.org/
 master_sites    ${homepage}files/
 
-checksums md5 b0f320850680a7456113fae3e2e86b01
+checksums md5 a5cd3891ceb0274eede49dbdb00d08dc
 
-distname lgt2308
+distname lgt[strsed ${version} {g/\.//}]
+extract.suffix .tar.bz2
 
 use_bzip2 yes
 
-use_configure   no
+configure       {}
 
 build           {}
 
 destroot        {
-        cd ${workpath}/${worksrcdir}/scripts
-        system "./install.sh ${destroot}/${prefix}"
+        system "cd ${workpath}/${worksrcdir}/scripts && ./install.sh ${destroot}/${prefix}"
 }
 
 post-pkg {
@@ -49 +49 @@
         ui_msg "*  back-end Prolog compilers (which must be properly installed for running"
         ui_msg "*  the scripts!):"
         ui_msg "*"
-        ui_msg "*    B-Prolog:       bplgt"
-        ui_msg "*    CIAO:           ciaolgt"
+        ui_msg "*    B-Prolog:       bplgt        (first run must use sudo)"
+        ui_msg "*    CIAO:           ciaolgt      (first run must use sudo)"
         ui_msg "*    CxProlog:       cxlgt"
         ui_msg "*    ECLiPSe:        eclipselgt"
         ui_msg "*    GNU Prolog:     gplgt"
@@ -58 +58 @@
         ui_msg "*    Qu-Prolog:      qplgt"
         ui_msg "*    SICStus Prolog: sicstuslgt"
         ui_msg "*    SWI-Prolog:     swilgt"
-        ui_msg "*    XSB:            xsblgt"
+        ui_msg "*    XSB:            xsblgt       (first run must use sudo)"
+        ui_msg "*    XSB (MT):       xsbmtlgt     (first run must use sudo)"
         ui_msg "*    YAP:            yaplgt"
         ui_msg "*"
         ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to"
         ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk"
         ui_msg "* and the environment variable LOGTALKUSER to your local configuration"
-        ui_msg "* directory (usually ~/logtalk), which you can create by running the"
+        ui_msg "* directory (usually ~/logtalk), which you must create by running the"
         ui_msg "* command cplgtdirs. See the file \$LOGTALKHOME/CUSTOMIZE.txt for details"
         ui_msg "* on how to customize your working environment."
         ui_msg "****************************************************************************"