[37350] trunk/dports/math/ProofGeneral

[mww at macports.org]

Revision: 37350
          http://trac.macosforge.org/projects/macports/changeset/37350
Author:   mww at macports.org
Date:     2008-06-04 02:53:09 -0700 (Wed, 04 Jun 2008)

Log Message:
-----------
version 3.7.1pre080526

Modified Paths:
--------------
    trunk/dports/math/ProofGeneral/Portfile

Removed Paths:
-------------
    trunk/dports/math/ProofGeneral/files/

Modified: trunk/dports/math/ProofGeneral/Portfile
===================================================================
--- trunk/dports/math/ProofGeneral/Portfile	2008-06-04 08:32:15 UTC (rev 37349)
+++ trunk/dports/math/ProofGeneral/Portfile	2008-06-04 09:53:09 UTC (rev 37350)
@@ -3,10 +3,10 @@
 PortSystem        1.0
 
 name              ProofGeneral
-version           3.7pre071112
+version           3.7.1pre080526
 categories        math
 maintainers       mww
-description       A xemacs mode for interactive prooving
+description       An emacs mode for interactive prooving
 long_description  The aim of Proof General is to provide powerful \
                   and configurable interfaces which help user-interaction \
                   with proof assistants. Proof General targets power users \
@@ -16,25 +16,25 @@
                   proofs.
 homepage          http://proofgeneral.inf.ed.ac.uk/
 master_sites      ${homepage}/releases/
-checksums         sha1 bdbc3ff0856894b2c9c72855cb7c4a845e4177ea
-patchfiles        patch-bin-proofgeneral
+extract.suffix    .tgz
+checksums         sha1 710522108d353ef80f8d83bfe11f8c08916da4d8
 
-depends_build     port:texinfo
-depends_lib       port:xemacs port:isabelle
+use_configure     no
 
-configure {
-    reinplace "s|^DEST_PREFIX=.*|DEST_PREFIX=${prefix}|g" ${worksrcpath}/Makefile
-    reinplace "s|^PREFIX=.*|PREFIX=${destroot}${prefix}|g" ${worksrcpath}/Makefile
-    reinplace "s|^EMACS=.*|EMACS=xemacs|g" ${worksrcpath}/Makefile
-    reinplace "s|/sbin/install-info|${prefix}/bin/install-info|g" ${worksrcpath}/Makefile
-    reinplace "s|@EMACS@|${prefix}/bin/xemacs|g" ${worksrcpath}/bin/proofgeneral
+build             {}
+
+destroot {
+    xinstall -m 755 -d ${destroot}${prefix}/share
+    file copy ${worksrcpath} ${destroot}${prefix}/share
+    ln -s ${prefix}/share/ProofGeneral-${version} ${destroot}${prefix}/share/ProofGeneral
+    ln -s ${prefix}/share/ProofGeneral-${version}/bin/proofgeneral ${destroot}${prefix}/bin/proofgeneral
 }
 
-build.target      clean all
+post-install {
+     ui_msg "\nTo use ProofGeneral with Emacs, add the following line to your ~/.emacs file:\n\
+(load-file \"${prefix}/share/ProofGeneral/generic/proof-site.el\")\n"
+}
 
-destroot.target   install install-doc
-destroot.destdir
-
-livecheck.url	http://proofgeneral.inf.ed.ac.uk/releases/?M=D
+livecheck.url	http://proofgeneral.inf.ed.ac.uk/releases/prereltag.txt
 livecheck.check	regex
-livecheck.regex	ProofGeneral-(\[pre0-9.\]+).tgz
+livecheck.regex	(\[a-zA-Z0-9.\]+)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20080604/96a64cb2/attachment-0001.htm