# $Id: Portfile,v 1.3 2005/03/28 02:15:01 jkh Exp $
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
}
