Portfile

# $Id: Portfile 20320 2006-11-01 22:53:16Z blair@macports.org $
PortSystem 1.0
name coq
version 8.0pl3
categories lang math
maintainers reilles@loria.fr
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 http://coq.inria.fr
master_sites ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/

distfiles ${name}-${version}.tar.gz:coq \

checksums ${name}-${version}.tar.gz sha1 b182f25b8e6591139281f7078d049aaa7f0408d8

configure.pre_args -prefix ${prefix}
configure.args -emacslib ${prefix}/share/emacs/site-lisp/
depends_build bin:ocamlc:ocaml
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."
}