[MacPorts] #21296: ocaml related ports cannot be built in parallel
#21296: ocaml related ports cannot be built in parallel ------------------------------------------+--------------------------------- Reporter: garrigue@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Keywords: ocaml parallel | Port: camlp5 coq ------------------------------------------+--------------------------------- Most ocaml related ports cannot be built in parallel, as they implicitly expect make to call dependencies sequentially. I had to add the option "use_parallel_build no" manually to camlp5 and coq, but this would probably a good idea to all ports depending on lang/ocaml. -- Ticket URL: <http://trac.macports.org/ticket/21296> MacPorts <http://www.macports.org/> Ports system for Mac OS
#21296: ocaml related ports cannot be built in parallel ------------------------------------------+--------------------------------- Reporter: garrigue@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Keywords: ocaml parallel | Port: camlp5 coq ------------------------------------------+--------------------------------- Changes (by jmr@…): * cc: reilles@… (added) -- Ticket URL: <http://trac.macports.org/ticket/21296#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#21296: ocaml related ports cannot be built in parallel -------------------------------------------+-------------------------------- Reporter: garrigue@… | Owner: macports-tickets@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Resolution: fixed | Keywords: ocaml parallel Port: camlp5 coq | -------------------------------------------+-------------------------------- Changes (by jmr@…): * cc: mww@… (added) * status: new => closed * resolution: => fixed Comment: camlp5 has had parallel build disabled since r57526, and coq explicitly sets `use_parallel_build yes`, so presumably it works that way. -- Ticket URL: <https://trac.macports.org/ticket/21296#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts