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

Last change on this file since 8168 was 8168, checked in by olegb, 13 years ago

Bug: 2145
Submitted by: reilles@… (Antoine Reilles)
Reviewed by: olegb@
Approved by:
Obtained from:
update to 8.0pl1

  • Property svn:eol-style set to native
File size: 807 bytes
Line 
1# $Id: Portfile,v 1.3 2004/09/04 13:39:02 olegb Exp $
2PortSystem 1.0
3name            coq
4version         8.0pl1
5categories      lang math
6maintainers     jtonio@users.sourceforge.net
7description     Proof assistant for higher-order logic
8long_description  \
9        Coq is a proof assistant for higher-order logic,\
10        which allows the development of computer programs consistent with \
11        their formal specification. It is developed using Objective Caml and \
12        Camlp4.  For more information, see <http://coq.inria.fr/>.
13master_sites    ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/
14checksums       md5 95237e64081d7306fdea49e1988bde12
15configure.pre_args      -prefix ${prefix}
16configure.args          -emacslib ${prefix}/share/emacs/site-lisp/
17depends_build   bin:ocamlc:ocaml
18build.target    world
19destroot.target install
20destroot.destdir COQINSTALLPREFIX=${destroot}
Note: See TracBrowser for help on using the repository browser.