1 | # $Id: $ |
---|
2 | PortSystem 1.0 |
---|
3 | name proofgeneral |
---|
4 | version 3.5 |
---|
5 | categories math |
---|
6 | maintainers dem5302@cs.rit.edu |
---|
7 | description A xemacs mode for interactive prooving |
---|
8 | long_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. |
---|
15 | homepage http://proofgeneral.inf.ed.ac.uk/ |
---|
16 | master_sites ${homepage}/releases/ |
---|
17 | distfiles ProofGeneral-${version}${extract.suffix} |
---|
18 | checksums md5 2114f0ead1cb0b4c6be992aa7bf1529c |
---|
19 | worksrcdir ProofGeneral |
---|
20 | depends_lib bin:xemacs:xemacs |
---|
21 | |
---|
22 | configure { |
---|
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 | |
---|
27 | pre-build { |
---|
28 | cd ${workpath}/${worksrcdir} |
---|
29 | system "make clean" |
---|
30 | } |
---|