Bug 197389 - sci-mathematics/coq-8.1_p2 failed
|
Bug#:
197389
|
Product: Gentoo Linux
|
Version: 2007.0
|
Platform: AMD64
|
|
OS/Version: Linux
|
Status: RESOLVED
|
Severity: normal
|
Priority: P2
|
|
Resolution: FIXED
|
Assigned To: ml@gentoo.org
|
Reported By: greenrd@greenrd.org
|
|
Component: Applications
|
|
|
URL:
|
|
Summary: sci-mathematics/coq-8.1_p2 failed
|
|
Keywords:
|
|
Status Whiteboard:
|
|
Opened: 2007-10-29 10:16 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'.
*
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.
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. :(
bah I've just tried with -j20 and it seems fine here
well after all it seems in some very rare cases it fails due to parallel make,
so I've disabled it
