Revision: 31746 http://trac.macosforge.org/projects/macports/changeset/31746 Author: mww@macports.org Date: 2007-12-05 10:04:01 -0800 (Wed, 05 Dec 2007) Log Message: ----------- * version 3.7pre071112_0 * take maintainership * dem5302@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@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`