Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 892666 - ocaml-bitstring is FTBFS on ARM
Summary: ocaml-bitstring is FTBFS on ARM
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: ocaml-bitstring
Version: 19
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Richard W.M. Jones
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: ARMTracker
TreeView+ depends on / blocked
 
Reported: 2013-01-07 14:46 UTC by Peter Robinson
Modified: 2013-11-05 13:40 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2013-11-05 13:40:04 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Peter Robinson 2013-01-07 14:46:20 UTC 
Running tests/test_18_extract_32_64_int
Fatal error: exception Assert_failure("tests/test_18_extract_32_64_int.ml", 41, 2)
make: *** [test] Error 1

http://arm.koji.fedoraproject.org/koji/packageinfo?packageID=5184
Comment 1 Richard W.M. Jones 2013-01-10 09:12:01 UTC 
Line 41 in this file:
http://code.google.com/p/bitstring/source/browse/trunk/tests/test_18_extract_32_64_int.ml

This does look like a genuine problem (endianness?), although
I'm not "seeing it" at the moment ...
Comment 2 Peter Robinson 2013-01-10 09:19:49 UTC 
Fedora ARM is little endian so I'm not sure whether that's the problem unless it assumes somewhere that arm is big endian (which is of course a possibility as it supports both but some what unlikely)
Comment 3 Richard W.M. Jones 2013-01-10 09:28:38 UTC 
This *doesn't* fail on my Chromebook.

However my Chromebook is running Fedora 17, OCaml 3.12.1, and
in OCaml 4.00 the ARM codegen was completely rewritten, so all
this tells me is that it could be a new codegen bug (and those
are always SO much fun ...)
Comment 4 Richard W.M. Jones 2013-01-10 09:30:32 UTC 
(In reply to comment #2)
> Fedora ARM is little endian so I'm not sure whether that's the problem
> unless it assumes somewhere that arm is big endian (which is of course a
> possibility as it supports both but some what unlikely)

ocaml-bitstring is pretty well tested on both endians.  I'm
thinking this must be a bug in the new OCaml arm codegen :-(
Comment 5 Peter Robinson 2013-01-10 09:36:24 UTC 
It's always failed in arm.koji (as have ocaml-cil and ocaml-gsl btw, jsut got around to bugs for those yet) so it might be something simpler.

http://arm.koji.fedoraproject.org/koji/packageinfo?packageID=5184
Comment 6 Fedora End Of Life 2013-04-03 19:43:00 UTC 
This bug appears to have been reported against 'rawhide' during the Fedora 19 development cycle.
Changing version to '19'.

(As we did not run this process for some time, it could affect also pre-Fedora 19 development
cycle bugs. We are very sorry. It will help us with cleanup during Fedora 19 End Of Life. Thank you.)

More information and reason for this action is here:
https://fedoraproject.org/wiki/BugZappers/HouseKeeping/Fedora19
Comment 7 Peter Robinson 2013-11-05 13:40:04 UTC 
Built on ARM on F-20+
Note You need to log in before you can comment on or make changes to this bug.