Opened 15 years ago

Closed 13 years ago

#21296 closed defect (fixed)

ocaml related ports cannot be built in parallel

Reported by: garrigue@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 1.8.0
Keywords: ocaml parallel Cc: reilles@…, mww@…
Port: camlp5 coq

Description

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.

Change History (2)

comment:1 Changed 15 years ago by jmroot (Joshua Root)

Cc: reilles@… added

comment:2 Changed 13 years ago by jmroot (Joshua Root)

Cc: mww@… added
Resolution: fixed
Status: newclosed

camlp5 has had parallel build disabled since r57526, and coq explicitly sets use_parallel_build yes, so presumably it works that way.

Note: See TracTickets for help on using tickets.