source: trunk/dports/lang/coq/Portfile @ 58218

Last change on this file since 58218 was 58218, checked in by jann@…, 8 years ago

Version update from ticket #21415

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.9 KB
Line 
1# $Id: Portfile 58218 2009-09-24 10:40:54Z jann@macports.org $
2
3PortSystem  1.0
4
5name        coq
6version     8.2pl1
7platforms   darwin
8categories  lang math
9maintainers loria.fr:reilles
10homepage    http://coq.inria.fr/
11master_sites ${homepage}V${version}/files/
12
13description Proof assistant for higher-order logic
14long_description  \
15  Coq is a proof assistant for higher-order logic,\
16  which allows the development of computer programs consistent with \
17  their formal specification. It is developed using Objective Caml and \
18  Camlp4.  For more information, see <${homepage}>.
19
20checksums           md5     36eed48bc63ada8abf27f96eb126906c \
21                    sha1    4aed3302adc2edbaa5d97984512c1c13014bd649 \
22                    rmd160  dd5758a94bb3de49967cec76baa33eb5169659ce
23
24use_parallel_build yes
25configure.pre_args -prefix ${prefix}
26configure.args     -emacslib ${prefix}/share/emacs/site-lisp/ \
27                   -mandir ${prefix}/share/man \
28                   -coqdocdir ${prefix}/share/coq/latex \
29                   -coqide none \
30                   -with-doc no
31depends_lib        bin:ocamlc:ocaml port:camlp5
32build.target       world
33destroot.target    install
34destroot.destdir   COQINSTALLPREFIX=${destroot}
35patchfiles         patch-doc-tools-latex_filter.diff
36
37post-activate   { ui_msg "The style file for LaTeX documentation,"
38                  ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."
39                  ui_msg "Add this to your TEXINPUTS if you wish to"
40                  ui_msg "use it."
41                }
42
43variant doc description {Build documentation} {
44                  depends_build port:texlive
45                  depends_build port:hevea
46                  depends_build port:netpbm
47                  configure.args-delete -with-doc no
48                  configure.args-append -with-doc yes
49}
50
51variant coqide description {Install CoqIDE} {
52                  depends_lib port:lablgtk2
53                  configure.args-delete -coqide none
54                  configure.args-append -coqide opt
55}
Note: See TracBrowser for help on using the repository browser.