# $Id: Portfile 142494 2015-11-13 01:29:04Z khindenburg@macports.org $ PortSystem 1.0 name ProofGeneral version 4.2 categories math maintainers mww 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