Changeset 84101


Ignore:
Timestamp:
Sep 17, 2011, 3:58:26 AM (9 years ago)
Author:
jmr@…
Message:

coq: update to 8.3pl1 (#28843)

Location:
trunk/dports/lang/coq
Files:
1 deleted
1 edited

Legend:

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

    r75734 r84101  
    44
    55name        coq
    6 version     8.2pl1
    7 revision    1
     6version     8.3pl1
    87platforms   darwin
    98categories  lang math
     
    1918  Camlp4.  For more information, see <${homepage}>.
    2019
    21 checksums           md5     36eed48bc63ada8abf27f96eb126906c \
    22                     sha1    4aed3302adc2edbaa5d97984512c1c13014bd649 \
    23                     rmd160  dd5758a94bb3de49967cec76baa33eb5169659ce
     20checksums           md5     1869d22b337f5da59ba3bbe1433f9a3b \
     21                    sha1    3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f \
     22                    rmd160  687983bcaca723299b6ea902a1e1b07338209d55
    2423
    2524use_parallel_build yes
     
    3433destroot.target    install
    3534destroot.destdir   COQINSTALLPREFIX=${destroot}
    36 patchfiles         patch-tools-coq_makefile.ml4.diff
    3735
    3836# ocaml is not universal
     
    4341livecheck.regex "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
    4442
    45 post-activate   { ui_msg "The style file for LaTeX documentation,"
    46                   ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."
    47                   ui_msg "Add this to your TEXINPUTS if you wish to"
    48                   ui_msg "use it."
    49                 }
     43notes "The style file for LaTeX documentation,\
     44coqdoc.sty, is in ${prefix}/share/coq/latex.\
     45Add this to your TEXINPUTS if you wish to\
     46use it."
    5047
    5148variant doc description {Build documentation} {
Note: See TracChangeset for help on using the changeset viewer.