Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004657OCamlOCaml generalpublic2008-11-29 15:362013-09-04 18:06
Reporterglondu 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version3.11.0+beta 
Target VersionFixed in Version 
Summary0004657: Compilation of ocaml fails in labltk with parallel jobs
DescriptionOn my computer, the compilation of ocaml always fails when called this way:

  { ./configure && MAKEFLAGS=-j3 make world; } > /tmp/build.log 2>&1

Attached is the build.log file produced by the command above. I guess it is because of some missing dependency in labltk Makefiles.
TagsNo tags attached.
Attached Fileslog file icon build.log [^] (279,213 bytes) 2008-11-29 15:36
log file icon build-failure.log [^] (125,138 bytes) 2008-11-29 15:48

- Relationships
duplicate of 0004243resolveddoligez Dependencies are missing in Makefiles 

-  Notes
(0004779)
glondu (reporter)
2008-11-29 15:48

When redirecting the output, the failure is not systematic. I managed to get a failure log with the following command:

  { ./configure && MAKEFLAGS=-j3 make world; } 2>&1|tee /tmp/build-failure.log
(0004781)
garrigue (manager)
2008-11-30 02:33

The Objective Caml distribution has never supported parallel make.
You can see it by looking at the target "all" in the main Makefile, which
includes no sequencing whatsoever.
You can try to use parallel make, but you are on your own when it fails...
(0004782)
glondu (reporter)
2008-11-30 15:47

If dependencies between targets were properly defined, "all" as it is now doesn't startle me (but of course, it wouldn't do the same as "world"). Nonetheless, the explicit sequencing in other targets (world, coreboot, etc.) suggests some support for parellel make. And it seems to me that ocamlbuild also supports parallel builds.

Do you have any idea on how hard it would be to make OCaml parallel-build-safe?
(0004787)
doligez (administrator)
2008-12-03 14:16

It's not hard to twiddle the makefiles to get a parallel make to work, but it's very hard to have any level of confidence about the parallel-safety. I don't know if there are tools to analyze makefiles for this.

So maybe someday our makefiles will be parallelizable but don't hold your breath.

(0004984)
pipping (reporter)
2009-06-07 11:08

This is a duplicate of bug 0004243.
(0010311)
doligez (administrator)
2013-09-04 18:06

Closing this PR as 0004243 was fixed.

- Issue History
Date Modified Username Field Change
2008-11-29 15:36 glondu New Issue
2008-11-29 15:36 glondu File Added: build.log
2008-11-29 15:48 glondu Note Added: 0004779
2008-11-29 15:48 glondu File Added: build-failure.log
2008-11-30 02:33 garrigue Note Added: 0004781
2008-11-30 15:47 glondu Note Added: 0004782
2008-12-03 14:16 doligez Note Added: 0004787
2008-12-03 14:16 doligez Severity major => feature
2008-12-03 14:16 doligez Status new => acknowledged
2009-06-07 11:08 pipping Note Added: 0004984
2009-06-08 18:13 doligez Relationship added duplicate of 0004243
2013-09-04 18:06 doligez Note Added: 0010311
2013-09-04 18:06 doligez Status acknowledged => resolved
2013-09-04 18:06 doligez Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker