Bug 197389 – sci-mathematics/coq-8.1_p2 failed

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Robin Green 2007-10-29 10:16:46 UTC]

I upgraded to dev-lang/ocaml-3.09.3-r1. After doing so I ran /usr/sbin/ocaml-rebuild.sh -f, and got this error:

OCAMLC    contrib/jprover/jlogic.ml
Files lib/util.cmo and lib/compat.cmo
make inconsistent assumptions over interface Compat
make: *** [lib/lib.cma] Error 2
make: *** Waiting for unfinished jobs....
 *
 * ERROR: sci-mathematics/coq-8.1_p2 failed.
 * Call stack:
 *           ebuild.sh, line 1695:  Called dyn_compile
 *           ebuild.sh, line 1033:  Called qa_call 'src_compile'
 *           ebuild.sh, line   44:  Called src_compile
 *   coq-8.1_p2.ebuild, line   56:  Called die
 * The specific snippet of code:
 *      emake worldnodep || die "make failed"
 *  The die message:
 *   make failed
 *
 * If you need support, post the topmost build error, and the call stack if relevant.
 * A complete build log is located at '/var/tmp/portage/sci-mathematics/coq-8.1_p2/temp/build.log'.
 *

[Comment 1 Alexis Ballier 2007-10-29 10:33:43 UTC]

hmm could you try with another ocaml-rebuild.sh -f run ? also with MAKEOPTS="-j1", perhaps that could help but both should be sane; I dont fully understand what could have gone wrong.

[Comment 2 Robin Green 2007-10-29 10:49:45 UTC]

Yeah, MAKEOPTS was set to "-j5". If I set it to "", it works.

I know I previously reported it builded in parallel with the previous version of ocaml, but maybe I was just lucky that time. :(

[Comment 3 Alexis Ballier 2007-10-30 21:32:25 UTC]

bah I've just tried with -j20 and it seems fine here

[Comment 4 Alexis Ballier 2008-01-16 12:32:15 UTC]

well after all it seems in some very rare cases it fails due to parallel make, so I've disabled it