Portfile

# $Id: Portfile 20334 2006-11-02 00:36:29Z blair@macports.org $
PortSystem 1.0
name ProofGeneral
version 3.5
revision 1
categories math
maintainers dem5302@cs.rit.edu
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 \
with proof assistants. Proof General targets power users \
rather than novices, but is designed to be useful to \
both. Proof General leads to an environment for \
serious proof engineering of interactively-constructed \
proofs.
homepage http://proofgeneral.inf.ed.ac.uk/
master_sites ${homepage}/releases/
checksums md5 2114f0ead1cb0b4c6be992aa7bf1529c
depends_lib bin:xemacs:xemacs
build.target clean all

configure {
reinplace s|DEST_PREFIX=/usr|DEST_PREFIX=${prefix}| ${workpath}/${worksrcdir}/Makefile
reinplace s|PREFIX=/usr|PREFIX=${destroot}${prefix}| ${workpath}/${worksrcdir}/Makefile
}