First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 197389
Alias:
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Gentoo Team for the ML programming language family <ml@gentoo.org>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Robin Green <greenrd@greenrd.org>
Add CC:
CC:
Remove selected CCs
URL:
Summary:
Status Whiteboard:
Keywords:

Filename Description Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 197389 depends on: Show dependency tree
Bug 197389 blocks:
Votes: 1    Show votes for this bug    Vote for this bug

Additional Comments: (this is where you put emerge --info)


Not eligible to see or edit group visibility for this bug.






View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   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'.
 *

------- Comment #1 From Alexis Ballier 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.

------- Comment #2 From Robin Green 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. :(

------- Comment #3 From Alexis Ballier 2007-10-30 21:32:25 0000 ------- 
bah I've just tried with -j20 and it seems fine here

------- Comment #4 From Alexis Ballier 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
First Last Prev Next    No search results available      Search page      Enter new bug