| 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 | } |
|---|
