197389 2007-10-29 10:16 0000 sci-mathematics/coq-8.1_p2 failed 2008-01-16 12:32:15 0000 1 1 1 Unclassified Gentoo Linux Applications 2007.0 AMD64 Linux RESOLVED FIXED P2 normal --- 1 1 greenrd@greenrd.org ml@gentoo.org sci@gentoo.org greenrd@greenrd.org 2007-10-29 10:16:46 0000 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'. * aballier@gentoo.org 2007-10-29 10:33:43 0000 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. greenrd@greenrd.org 2007-10-29 10:49:45 0000 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. :( aballier@gentoo.org 2007-10-30 21:32:25 0000 bah I've just tried with -j20 and it seems fine here aballier@gentoo.org 2008-01-16 12:32:15 0000 well after all it seems in some very rare cases it fails due to parallel make, so I've disabled it