PortSystem        1.0

name              ProofGeneral
version           4.2
categories        math
maintainers       nomaintainer
platforms         darwin
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 \
                  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/
extract.suffix    .tgz

checksums         rmd160  2483609dac210104193e4b4c85131461da21baba \
                  sha256  3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27

use_configure     no

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
}

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"
}

livecheck.url	http://proofgeneral.inf.ed.ac.uk/releases/?C=M\;O=D
livecheck.type	regex
livecheck.regex	ProofGeneral-(\[0-9.\]+).tgz
