source: trunk/dports/math/ProofGeneral/Portfile

Last change on this file was 142494, checked in by khindenburg@…, 23 months ago

ProofGeneral: update to 4.2; maintainer timeout #48949

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.6 KB
Line 
1# $Id: Portfile 142494 2015-11-13 01:29:04Z ryandesign@macports.org $
2
3PortSystem        1.0
4
5name              ProofGeneral
6version           4.2
7categories        math
8maintainers       mww
9platforms         darwin
10description       An emacs mode for interactive prooving
11long_description  The aim of Proof General is to provide powerful \
12                  and configurable interfaces which help user-interaction \
13                  with proof assistants. Proof General targets power users \
14                  rather than novices, but is designed to be useful to \
15                  both. Proof General leads to an environment for \
16                  serious proof engineering of interactively-constructed \
17                  proofs.
18homepage          http://proofgeneral.inf.ed.ac.uk/
19master_sites      ${homepage}/releases/
20extract.suffix    .tgz
21
22checksums         rmd160  2483609dac210104193e4b4c85131461da21baba \
23                  sha256  3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27
24
25use_configure     no
26
27build             {}
28
29destroot {
30    xinstall -m 755 -d ${destroot}${prefix}/share
31    file copy ${worksrcpath} ${destroot}${prefix}/share
32    ln -s ${prefix}/share/ProofGeneral-${version} ${destroot}${prefix}/share/ProofGeneral
33    ln -s ${prefix}/share/ProofGeneral-${version}/bin/proofgeneral ${destroot}${prefix}/bin/proofgeneral
34}
35
36post-install {
37     ui_msg "\nTo use ProofGeneral with Emacs, add the following line to your ~/.emacs file:\n\
38(load-file \"${prefix}/share/ProofGeneral/generic/proof-site.el\")\n"
39}
40
41livecheck.url   http://proofgeneral.inf.ed.ac.uk/releases/?C=M\;O=D
42livecheck.type  regex
43livecheck.regex ProofGeneral-(\[0-9.\]+).tgz
Note: See TracBrowser for help on using the repository browser.