Changeset 102359


Ignore:
Timestamp:
Feb 1, 2013, 1:49:41 AM (7 years ago)
Author:
ecronin@…
Message:

coq: update to 8.4pl1

Maintainer timeout.

Closes #37425

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/lang/coq/Portfile

    r98282 r102359  
    44
    55name        coq
    6 version     8.4
     6version     8.4pl1
    77revision    1
    88platforms   darwin
     
    2020  Camlp4.  For more information, see <${homepage}>.
    2121
    22 checksums           rmd160  6824f9542c823c7d943a59acefb90ff9c9dbe37a \
    23                     sha256  f46ae5b6f0bea9dc299de6f3c020ee75c40581e32a1832e9a290d098a6a2424d
     22checksums           rmd160  fa472852de474ed5b83ddd4bd5a303f32b5dba94 \
     23                    sha256  5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80
    2424
    25 # coq 8.3pl4 is incompatible with OCaml 4.00 -- for now use ocaml3
    26 # TODO: verify if this is still the case
    27 depends_lib        port:ocaml3 port:ocaml3-camlp5
     25depends_lib        port:ocaml port:camlp5
    2826
    29 configure.env-append PATH=${prefix}/libexec/ocaml3:$env(PATH)
    3027configure.pre_args -prefix ${prefix}
    3128configure.args     -emacslib ${prefix}/share/emacs/site-lisp/ \
     
    3330                   -coqdocdir ${prefix}/share/coq/latex \
    3431                   -coqide none \
    35                    -with-doc no \
    36                    -camldir ${prefix}/libexec/ocaml3 \
    37                    -camlp5dir ${prefix}/lib/ocaml3/camlp5
    38 build.env-append    PATH=${prefix}/libexec/ocaml3:$env(PATH)
    39 build.target       world
     32                   -with-doc no
     33build.target       world
    4034
    41 destroot.target    install 
     35destroot.target    install
    4236destroot.destdir   COQINSTALLPREFIX=${destroot}
    4337
Note: See TracChangeset for help on using the changeset viewer.