| 1 | # $Id: Portfile ????? ????-??-?? ??:??:??Z ???@macports.org $ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | |
|---|
| 5 | name coq |
|---|
| 6 | version 8.3pl1 |
|---|
| 7 | revision 1 |
|---|
| 8 | platforms darwin |
|---|
| 9 | categories lang math |
|---|
| 10 | maintainers loria.fr:reilles |
|---|
| 11 | homepage http://coq.inria.fr/ |
|---|
| 12 | master_sites ${homepage}V${version}/files/ |
|---|
| 13 | |
|---|
| 14 | description Proof assistant for higher-order logic |
|---|
| 15 | long_description \ |
|---|
| 16 | Coq is a proof assistant for higher-order logic,\ |
|---|
| 17 | which allows the development of computer programs consistent with \ |
|---|
| 18 | their formal specification. It is developed using Objective Caml and \ |
|---|
| 19 | Camlp4. For more information, see <${homepage}>. |
|---|
| 20 | |
|---|
| 21 | checksums md5 1869d22b337f5da59ba3bbe1433f9a3b \ |
|---|
| 22 | sha1 3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f \ |
|---|
| 23 | rmd160 687983bcaca723299b6ea902a1e1b07338209d55 |
|---|
| 24 | |
|---|
| 25 | use_parallel_build yes |
|---|
| 26 | configure.pre_args -prefix ${prefix} |
|---|
| 27 | configure.args -emacslib ${prefix}/share/emacs/site-lisp/ \ |
|---|
| 28 | -mandir ${prefix}/share/man \ |
|---|
| 29 | -coqdocdir ${prefix}/share/coq/latex \ |
|---|
| 30 | -coqide none \ |
|---|
| 31 | -with-doc no |
|---|
| 32 | depends_lib bin:ocamlc:ocaml port:camlp5 |
|---|
| 33 | build.target world |
|---|
| 34 | destroot.target install |
|---|
| 35 | destroot.destdir COQINSTALLPREFIX=${destroot} |
|---|
| 36 | |
|---|
| 37 | # ocaml is not universal |
|---|
| 38 | universal_variant no |
|---|
| 39 | |
|---|
| 40 | livecheck.type regex |
|---|
| 41 | livecheck.url ${homepage}/download/ |
|---|
| 42 | livecheck.regex "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">" |
|---|
| 43 | |
|---|
| 44 | post-activate { ui_msg "The style file for LaTeX documentation," |
|---|
| 45 | ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex." |
|---|
| 46 | ui_msg "Add this to your TEXINPUTS if you wish to" |
|---|
| 47 | ui_msg "use it." |
|---|
| 48 | } |
|---|
| 49 | |
|---|
| 50 | variant doc description {Build documentation} { |
|---|
| 51 | depends_build-append port:texlive \ |
|---|
| 52 | port:hevea \ |
|---|
| 53 | port:netpbm |
|---|
| 54 | configure.args-delete -with-doc no |
|---|
| 55 | configure.args-append -with-doc yes |
|---|
| 56 | use_parallel_build no |
|---|
| 57 | } |
|---|
| 58 | |
|---|
| 59 | variant coqide description {Install CoqIDE} { |
|---|
| 60 | depends_lib-append port:lablgtk2 |
|---|
| 61 | configure.args-delete -coqide none |
|---|
| 62 | configure.args-append -coqide opt |
|---|
| 63 | } |
|---|
| 64 | |
|---|
| 65 | # vim: set fenc=utf-8 ft=tcl et sw=4 ts=4 sts=4 : |
|---|
