Red Hat Bugzilla – Bug 1252074
ocaml-biniou test_biniou fails on ppc64/ppc64le
Last modified: 2016-07-19 13:27:36 EDT
Description of problem: test_biniou fails on ppc64 and ppc64le.
Version-Release number of selected component (if applicable): 1.0.9
How reproducible: run 'make test' on a ppc64 or ppc64le guest.
Actual results: test fails with
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.StWRl9
+ umask 022
+ cd /builddir/build/BUILD
+ cd biniou-1.0.9
+ make test
ocamlfind ocamlopt -g -o test_biniou -dtypes -g \
-package "easy-format unix" -linkpkg \
Fatal error: exception File "bi_io.ml", line 264, characters 4-10: Assertion failed
Makefile:24: recipe for target 'test' failed
make: *** [test] Error 2
Additional info: issue reported upstream https://github.com/mjambon/biniou/issues/13
It looks like the problem is actually in the ocaml compiler for PPC. The bug was reported upstream .
The resolution for this is going to involve switching Fedora over
to use the new (nearly-)upstream combined ppc code generator
(https://github.com/ocaml/ocaml/pull/225). That's something for
next week however.
Fedora 22 changed to end-of-life (EOL) status on 2016-07-19. Fedora 22 is
no longer maintained, which means that it will not receive any further
security or bug fix updates. As a result we are closing this bug.
If you can reproduce this bug against a currently maintained version of
Fedora please feel free to reopen this bug against that version. If you
are unable to reopen this bug, please file a new report against the
current release. If you experience problems, please add a comment to this
Thank you for reporting this bug and we are sorry it could not be fixed.