Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006344OCamlOCaml backend (code generation)public2014-03-07 15:532014-03-25 02:45
Reportergildor 
Assigned Togildor 
PrioritynormalSeverityminorReproducibilitysometimes
StatusresolvedResolutionfixed 
Platformraspberry piOSOS Version
Product Version4.02.0+dev 
Target VersionFixed in Version 
Summary0006344: asmcomp/arch.cmi and asmcomp/mach.cmi make inconsistent assumptions over interface Arch on RPi only
DescriptionHi,

I got the following error 3 time in a row. I checked for deletion of file in recent commit but found nothing:

boot/ocamlrun ./ocamlopt -nostdlib -I stdlib -I otherlibs/dynlink -strict-sequence -w +33..39 -warn-error A -I utils -I parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel -c asmcomp/mach.ml
File "asmcomp/mach.ml", line 1:
Error: The files asmcomp/arch.cmi and asmcomp/mach.cmi
       make inconsistent assumptions over interface Arch
Steps To Reproducehttp://deci.ovh.le-gall.net:8080/job/ocaml/201/label=raspberrypi/console [^]
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0011079)
maranget (manager)
2014-03-21 18:15

I ran accross the same issue on ARM 32bits.
I solved it by bootstraping the compiler (make bootstrap)

--Luc
(0011091)
gildor (developer)
2014-03-25 02:45

Fixed as a side effect of r14479.

- Issue History
Date Modified Username Field Change
2014-03-07 15:53 gildor New Issue
2014-03-21 18:15 maranget Note Added: 0011079
2014-03-25 02:45 gildor Note Added: 0011091
2014-03-25 02:45 gildor Status new => resolved
2014-03-25 02:45 gildor Resolution open => fixed
2014-03-25 02:45 gildor Assigned To => gildor


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker