source: trunk/dports/lang/coq/Portfile

Last change on this file was 150370, checked in by cal@…, 14 months ago

coq: 8.5pl2, maintainer, closes #51867

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 2.2 KB
Line 
1# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2# $Id: Portfile 150370 2016-07-18 20:33:02Z ryandesign@macports.org $
3
4PortSystem          1.0
5
6name                coq
7version             8.5pl2
8platforms           darwin
9categories          lang math
10license             LGPL-2.1
11maintainers         piermont.com:perry openmaintainer
12
13description         Proof assistant for higher-order logic
14long_description    Coq is a proof assistant for higher-order logic, \
15                    which allows the development of computer programs \
16                    consistent with their formal specification. It is \
17                    developed using Objective Caml and Camlp4.
18homepage            http://coq.inria.fr/
19
20depends_lib         port:ocaml \
21                    port:camlp5
22
23master_sites        http://coq.inria.fr/distrib/V${version}/files/
24checksums           rmd160  55ddf2e77b42677c227fd9954789bf12410c63e7 \
25                    sha256  83239d1251bf6c54a9ca5045d738e469019b93ca601756bf982aab0654e4de73
26
27configure.pre_args  -prefix ${prefix}
28configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
29                    -mandir ${prefix}/share/man \
30                    -coqdocdir ${prefix}/share/coq/latex \
31                    -coqide no \
32                    -with-doc no
33build.target        world
34
35destroot.target     install
36destroot.destdir    COQINSTALLPREFIX=${destroot}
37
38# ocaml is not universal
39universal_variant   no
40
41notes "
42The style file for LaTeX documentation,\
43coqdoc.sty, is in ${prefix}/share/coq/latex.\
44Add this to your TEXINPUTS if you wish to\
45use it.
46"
47
48variant doc description {Build documentation} {
49    depends_build-append    port:hevea \
50                            port:netpbm \
51                            port:texlive \
52                            port:texlive-latex-extra
53    configure.args-delete   -with-doc no
54    configure.args-append   -with-doc yes
55    use_parallel_build      no
56}
57
58variant coqide description {Install CoqIDE} {
59    depends_lib-append      port:lablgtk2
60    configure.args-delete   -coqide none
61    configure.args-append   -coqide opt
62}
63
64livecheck.type      regex
65livecheck.url       ${homepage}/download/
66livecheck.regex     "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
Note: See TracBrowser for help on using the repository browser.