Ticket #2443: Portfile

File Portfile, 1.2 KB (added by dem5302@…, 20 years ago)

ProofGeneral Portfile

Line 
1# $Id: $
2PortSystem        1.0
3name              proofgeneral
4version           3.5
5categories        math
6maintainers       dem5302@cs.rit.edu
7description       A xemacs mode for interactive prooving
8long_description  The aim of Proof General is to provide powerful \
9                  and configurable interfaces which help user-interaction \
10                  with proof assistants. Proof General targets power users \
11                  rather than novices, but is designed to be useful to \
12                  both. Proof General leads to an environment for \
13                  serious proof engineering of interactively-constructed \
14                  proofs.
15homepage          http://proofgeneral.inf.ed.ac.uk/
16master_sites      ${homepage}/releases/
17distfiles         ProofGeneral-${version}${extract.suffix}
18checksums         md5 2114f0ead1cb0b4c6be992aa7bf1529c
19worksrcdir        ProofGeneral
20depends_lib       bin:xemacs:xemacs
21
22configure {
23    reinplace s|DEST_PREFIX=/usr|DEST_PREFIX=${prefix}| ${workpath}/${worksrcdir}/Makefile
24    reinplace s|PREFIX=/usr|PREFIX=${destroot}${prefix}| ${workpath}/${worksrcdir}/Makefile
25}
26
27pre-build {
28    cd ${workpath}/${worksrcdir}
29    system "make clean"
30}