Ticket #28843: Portfile

File Portfile, 2.2 KB (added by benoit.triquet@…, 14 years ago)

coq portfile update to upstream 8.3pl1

Line 
1# $Id: Portfile ????? ????-??-?? ??:??:??Z ???@macports.org $
2
3PortSystem  1.0
4
5name        coq
6version     8.3pl1
7revision    1
8platforms   darwin
9categories  lang math
10maintainers loria.fr:reilles
11homepage    http://coq.inria.fr/
12master_sites ${homepage}V${version}/files/
13
14description Proof assistant for higher-order logic
15long_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
21checksums           md5     1869d22b337f5da59ba3bbe1433f9a3b \
22                    sha1    3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f \
23                    rmd160  687983bcaca723299b6ea902a1e1b07338209d55
24
25use_parallel_build yes
26configure.pre_args -prefix ${prefix}
27configure.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
32depends_lib        bin:ocamlc:ocaml port:camlp5
33build.target       world
34destroot.target    install
35destroot.destdir   COQINSTALLPREFIX=${destroot}
36
37# ocaml is not universal
38universal_variant  no
39
40livecheck.type  regex
41livecheck.url   ${homepage}/download/
42livecheck.regex "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
43
44post-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
50variant 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
59variant 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 :