[31746] trunk/dports/math/ProofGeneral

[mww at macports.org]

Revision: 31746
          http://trac.macosforge.org/projects/macports/changeset/31746
Author:   mww at macports.org
Date:     2007-12-05 10:04:01 -0800 (Wed, 05 Dec 2007)

Log Message:
-----------
* version 3.7pre071112_0
* take maintainership
* dem5302 at cs.rit.edu (former maintainer) is not in trac nor reachable via mail
* make ready-to-use with isabelle
* install docs

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

Added Paths:
-----------
    trunk/dports/math/ProofGeneral/files/
    trunk/dports/math/ProofGeneral/files/patch-bin-proofgeneral

Modified: trunk/dports/math/ProofGeneral/Portfile
===================================================================
--- trunk/dports/math/ProofGeneral/Portfile	2007-12-05 17:33:20 UTC (rev 31745)
+++ trunk/dports/math/ProofGeneral/Portfile	2007-12-05 18:04:01 UTC (rev 31746)
@@ -1,10 +1,11 @@
 # $Id$
+
 PortSystem        1.0
+
 name              ProofGeneral
-version           3.5
-revision          1
+version           3.7pre071112
 categories        math
-maintainers       dem5302 at cs.rit.edu
+maintainers       mww
 description       A xemacs mode for interactive prooving
 long_description  The aim of Proof General is to provide powerful \
                   and configurable interfaces which help user-interaction \
@@ -15,11 +16,22 @@
                   proofs.
 homepage          http://proofgeneral.inf.ed.ac.uk/
 master_sites      ${homepage}/releases/
-checksums         md5 2114f0ead1cb0b4c6be992aa7bf1529c
-depends_lib       bin:xemacs:xemacs
-build.target      clean all
+checksums         sha1 bdbc3ff0856894b2c9c72855cb7c4a845e4177ea
+patchfiles        patch-bin-proofgeneral
 
+depends_build     port:texinfo
+depends_lib       port:xemacs port:isabelle
+
 configure {
-    reinplace s|DEST_PREFIX=/usr|DEST_PREFIX=${prefix}| ${workpath}/${worksrcdir}/Makefile
-    reinplace s|PREFIX=/usr|PREFIX=${destroot}${prefix}| ${workpath}/${worksrcdir}/Makefile
+    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.target      clean all
+
+destroot.target   install install-doc
+destroot.destdir
+

Added: trunk/dports/math/ProofGeneral/files/patch-bin-proofgeneral
===================================================================
--- trunk/dports/math/ProofGeneral/files/patch-bin-proofgeneral	                        (rev 0)
+++ trunk/dports/math/ProofGeneral/files/patch-bin-proofgeneral	2007-12-05 18:04:01 UTC (rev 31746)
@@ -0,0 +1,15 @@
+--- bin/proofgeneral	2007-11-12 22:42:12.000000000 +0100
++++ bin/proofgeneral	2007-12-05 18:49:09.000000000 +0100
+@@ -24,11 +24,7 @@
+ 
+ # Try to find a default Emacs executable 
+ if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
+-    if which emacs > /dev/null; then 
+-	EMACS=`which emacs`
+-    else 
+-	EMACS=`which xemacs`
+-    fi
++	EMACS=@EMACS@
+ fi
+ 
+ NAME=`basename $0`

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071205/6e88fbf9/attachment.html