# $Id: Portfile 36889 2008-05-17 07:48:53Z ryandesign@macports.org $

PortSystem  1.0

name        coq
version     8.1pl3
categories  lang math
maintainers reilles@loria.fr
homepage    http://coq.inria.fr/
master_sites ${homepage}V${version}/files/

description Proof assistant for higher-order logic
long_description  \
  Coq is a proof assistant for higher-order logic,\
  which allows the development of computer programs consistent with \
  their formal specification. It is developed using Objective Caml and \
  Camlp4.  For more information, see <${homepage}>.

checksums \
    md5 84311faf7865b2eab964990cdb365dca \
    sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e \
    rmd160 f8f4749e1014cb47a83915550713cf9ce1992e34

use_parallel_build yes
configure.pre_args -prefix ${prefix}
configure.args     -emacslib ${prefix}/share/emacs/site-lisp/
depends_lib        bin:ocamlc:ocaml port:camlp5
build.target       world 
destroot.target    install 
destroot.destdir   COQINSTALLPREFIX=${destroot} \
                   FULLMANDIR=${destroot}${prefix}/share/man/

post-activate	{ ui_msg "The style file for LaTeX documentation,"
		  ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."
		  ui_msg "Add this to your TEXINPUTS if you wish to"
		  ui_msg "use it."
		}