Bug List: (This bug is not in your last search results)   Show last search results      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
Bug List: (This bug is not in your last search results)   Show last search results      Search page      Enter new bug