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

Last change on this file since 36889 was 36889, checked in by ryandesign@…, 9 years ago

coq: update to 8.1pl3; closes #13940 (maintainer timeout)

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.2 KB
Line 
1# $Id: Portfile 36889 2008-05-17 07:48:53Z ryandesign@macports.org $
2
3PortSystem  1.0
4
5name        coq
6version     8.1pl3
7categories  lang math
8maintainers reilles@loria.fr
9homepage    http://coq.inria.fr/
10master_sites ${homepage}V${version}/files/
11
12description Proof assistant for higher-order logic
13long_description  \
14  Coq is a proof assistant for higher-order logic,\
15  which allows the development of computer programs consistent with \
16  their formal specification. It is developed using Objective Caml and \
17  Camlp4.  For more information, see <${homepage}>.
18
19checksums \
20    md5 84311faf7865b2eab964990cdb365dca \
21    sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e \
22    rmd160 f8f4749e1014cb47a83915550713cf9ce1992e34
23
24use_parallel_build yes
25configure.pre_args -prefix ${prefix}
26configure.args     -emacslib ${prefix}/share/emacs/site-lisp/
27depends_lib        bin:ocamlc:ocaml port:camlp5
28build.target       world
29destroot.target    install
30destroot.destdir   COQINSTALLPREFIX=${destroot} \
31                   FULLMANDIR=${destroot}${prefix}/share/man/
32
33post-activate   { ui_msg "The style file for LaTeX documentation,"
34                  ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."
35                  ui_msg "Add this to your TEXINPUTS if you wish to"
36                  ui_msg "use it."
37                }
Note: See TracBrowser for help on using the repository browser.