| 1 | |
|---|
| 2 | PortSystem 1.0 |
|---|
| 3 | |
|---|
| 4 | name coq |
|---|
| 5 | version 8.0beta |
|---|
| 6 | categories lang math |
|---|
| 7 | maintainers jtonio@users.sourceforge.net |
|---|
| 8 | description Proof assistant for higher-order logic |
|---|
| 9 | long_description Coq is a proof assistant for higher-order logic,\ |
|---|
| 10 | which allows the development of computer programs consistent with \ |
|---|
| 11 | their formal specification. It is developed using Objective Caml and\ |
|---|
| 12 | Camlp4. For more information, see <http://coq.inria.fr/>. |
|---|
| 13 | master_sites ftp://ftp.inria.fr/INRIA/coq/V8.0beta/ |
|---|
| 14 | checksums md5 6b1a3a4a725a12a7a129d3cfbe6cdb62 |
|---|
| 15 | configure.pre_args -prefix ${prefix} |
|---|
| 16 | configure.args -emacslib ${prefix}/share/emacs/site-lisp/ |
|---|
| 17 | depends_build bin:ocamlc:ocaml |
|---|
| 18 | build.target world |
|---|
| 19 | destroot.destdir ${destroot}${prefix} |
|---|
| 20 | destroot.target install |
|---|
