Ticket #1542: Portfile

File Portfile, 751 bytes (added by reilles@…, 21 years ago)

The Portfile : it worked well for me

Line 
1
2PortSystem 1.0
3
4name            coq
5version         8.0beta
6categories      lang math
7maintainers             jtonio@users.sourceforge.net
8description             Proof assistant for higher-order logic
9long_description                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.0beta/
14checksums       md5 6b1a3a4a725a12a7a129d3cfbe6cdb62
15configure.pre_args      -prefix ${prefix}
16configure.args                  -emacslib ${prefix}/share/emacs/site-lisp/
17depends_build bin:ocamlc:ocaml
18build.target    world
19destroot.destdir ${destroot}${prefix}
20destroot.target install