You've already forked macports-ports
mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
Kurt Hindenburg
42 lines
1.6 KiB
Plaintext
42 lines
1.6 KiB
Plaintext
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
|