Ticket #21415: Portfile.diff

File Portfile.diff, 2.2 KB (added by kiyoshi.coquser@…, 15 years ago)

Coq 8.2pl1 patch (revised)

  • Portfile

    old new  
    33PortSystem  1.0
    44
    55name        coq
    6 version     8.2
     6version     8.2pl1
    77platforms   darwin
    88categories  lang math
    99maintainers loria.fr:reilles
    … …  
    1717  their formal specification. It is developed using Objective Caml and \
    1818  Camlp4.  For more information, see <${homepage}>.
    1919
    20 checksums           md5     077c027e0f69e8ea240206ceb0f0d003 \
    21                     sha1    cac79093f1639c309b400aced13c749f278abbea \
    22                     rmd160  fb8506fa0c469a428a43649a13819bc18949570e
     20checksums           md5     36eed48bc63ada8abf27f96eb126906c \
     21                    sha1    4aed3302adc2edbaa5d97984512c1c13014bd649 \
     22                    rmd160  dd5758a94bb3de49967cec76baa33eb5169659ce
    2323
    2424use_parallel_build yes
    2525configure.pre_args -prefix ${prefix}
    26 configure.args     -emacslib ${prefix}/share/emacs/site-lisp/
     26configure.args     -emacslib ${prefix}/share/emacs/site-lisp/ \
     27                   -mandir ${prefix}/share/man \
     28                   -coqdocdir ${prefix}/share/coq/latex \
     29                   -coqide none \
     30                   -with-doc no
    2731depends_lib        bin:ocamlc:ocaml port:camlp5
    2832build.target       world
    2933destroot.target    install
    30 destroot.destdir   COQINSTALLPREFIX=${destroot} \
    31                    FULLMANDIR=${destroot}${prefix}/share/man/
     34destroot.destdir   COQINSTALLPREFIX=${destroot}
     35patchfiles         patch-doc-tools-latex_filter.diff
    3236
    3337post-activate   { ui_msg "The style file for LaTeX documentation,"
    3438                  ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."
    3539                  ui_msg "Add this to your TEXINPUTS if you wish to"
    3640                  ui_msg "use it."
    3741                }
     42
     43variant doc description {Build documentation} {
     44                  depends_build port:texlive
     45                  depends_build port:hevea
     46                  depends_build port:netpbm
     47                  configure.args-delete -with-doc no
     48                  configure.args-append -with-doc yes
     49}
     50
     51variant coqide description {Install CoqIDE} {
     52                  depends_lib port:lablgtk2
     53                  configure.args-delete -coqide none
     54                  configure.args-append -coqide opt
     55}