Opened 15 years ago
Closed 14 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 14 years ago by jmroot (Joshua Root)
| Cc: | mww@… added |
|---|---|
| Resolution: | → fixed |
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
camlp5 has had parallel build disabled since r57526, and coq explicitly sets
use_parallel_build yes, so presumably it works that way.