Changeset 75364


Ignore:
Timestamp:
Jan 23, 2011, 2:55:35 PM (9 years ago)
Author:
jmr@…
Message:

coq: disable parallel build with doc variant (#22182)

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

Legend:

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

    r62316 r75364  
    3434destroot.target    install
    3535destroot.destdir   COQINSTALLPREFIX=${destroot}
    36 patchfiles         patch-doc-tools-latex_filter.diff \
    37                    patch-tools-coq_makefile.ml4.diff
     36patchfiles         patch-tools-coq_makefile.ml4.diff
    3837
    3938livecheck.type  regex
     
    5352                  configure.args-delete -with-doc no
    5453                  configure.args-append -with-doc yes
     54                  use_parallel_build no
    5555}
    5656
Note: See TracChangeset for help on using the changeset viewer.