Native compilation of char.ml fails on RPi #6222
Comments
|
Comment author: gildor Latest changes integrated in this build. #134 (3 nov. 2013 10:35:06) [arm] r12 is destroyed for constants that are not a power of 2. — bmeurer / ViewSVN |
|
Comment author: meurer Yep, MLS is ARMv6T2 only. I'll fix that. |
|
Comment author: meurer Fixed in trunk. |
|
Comment author: gildor FTR, fixed in jenkins. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original bug ID: 6222
Reporter: gildor
Assigned to: meurer
Status: closed (set by @xavierleroy on 2015-12-11T18:24:20Z)
Resolution: fixed
Priority: normal
Severity: major
Platform: raspberry pi
OS: raspbian
OS Version: 7.0
Version: later
Category: standard library
Bug description
./Compflags char.cmx
/var/lib/jenkins/workspace/ocaml/label/raspberrypi/boot/ocamlrun /var/lib/jenkins/workspace/ocaml/label/raspberrypi/ocamlopt -warn-error A -nostdlib -g -c char.ml
/tmp/camlasmd0b3a7.s: Assembler messages:
/tmp/camlasmd0b3a7.s:262: Error: selected processor does not support ARM mode
mls r6,r6,r12,r5' /tmp/camlasmd0b3a7.s:276: Error: selected processor does not support ARM modemls r4,r4,r12,r3'File "char.ml", line 1:
Error: Assembler error, input left in file /tmp/camlasmd0b3a7.s
Steps to reproduce
Try to rebuild ocaml from sources.
Additional information
See attached camlasmd0b3a7.s.
File attachments
The text was updated successfully, but these errors were encountered: