[MacPorts] #22182: coq +doc may fail to build with parallel building
MacPorts
noreply at macports.org
Tue Oct 20 23:47:25 PDT 2009
#22182: coq +doc may fail to build with parallel building
---------------------------------------+------------------------------------
Reporter: kiyoshi.coquser@… | Owner: macports-tickets@…
Type: update | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 1.8.1
Keywords: | Port: coq
---------------------------------------+------------------------------------
The command "port install coq +doc" occasionally fails to build.
Parallel building seems to affect this issue.
The patch attached this report will fix this issue.
NOTE:
patch-doc-tools-latex_filter.diff is obsolete with this patch.
--
Ticket URL: <http://trac.macports.org/ticket/22182>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list