[MacPorts] #22182: coq +doc may fail to build with parallel building
#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
#22182: coq +doc may fail to build with parallel building ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: haspatch | Port: coq ---------------------------------------+------------------------------------ Changes (by macsforever2000@…): * keywords: => haspatch * owner: macports-tickets@… => reilles@… -- Ticket URL: <http://trac.macports.org/ticket/22182#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22182: coq +doc may fail to build with parallel building ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Keywords: haspatch | Port: coq ---------------------------------------+------------------------------------ Changes (by macsforever2000@…): * type: update => defect -- Ticket URL: <http://trac.macports.org/ticket/22182#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#22182: coq +doc may fail to build with parallel building ----------------------------------------+----------------------------------- Reporter: kiyoshi.coquser@… | Owner: reilles@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Resolution: fixed | Keywords: haspatch Port: coq | ----------------------------------------+----------------------------------- Changes (by jmr@…): * status: new => closed * resolution: => fixed Comment: r75364 -- Ticket URL: <https://trac.macports.org/ticket/22182#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts