Bug 1481916 - Inconsistent assumptions over implementation Unix
Summary: Inconsistent assumptions over implementation Unix
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: ocaml-lwt
Version: 26
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Richard W.M. Jones
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2017-08-16 02:55 UTC by Ben Rosser
Modified: 2017-08-31 14:57 UTC (History)
3 users (show)

Fixed In Version: ocaml-lwt-2.5.0-9.fc26
Clone Of:
Environment:
Last Closed: 2017-08-31 14:57:08 UTC
Type: Bug
Embargoed:


Attachments (Terms of Use)

Description Ben Rosser 2017-08-16 02:55:26 UTC
Description of problem:

I attempted to build ocaml-lambda-term (as part of packaging utop; I'm simultaneously working on that and opam) on Fedora 26. lwt is a dependency.

I tried to build lambda-term 1.10.1, as it claims to support lwt >= 2.4.0, so it should work fine with our version of lwt: http://opam.ocaml.org/packages/lambda-term/lambda-term.1.10.1/

(I previously attempted to build lambda-term 1.11, which is the latest release, and had the same issue. But it claims to require a newer lwt).

The build mostly succeeds, except this happens when linking:

+ /usr/bin/ocamlfind ocamlopt -g -I src -linkpkg -package lwt -package lwt.react -package lwt.unix -package zed src/lambda-term.cmxa examples/events.cmx -o examples/events.native
File "_none_", line 1:
Error: Files /usr/lib64/ocaml/lwt/lwt-unix.cmxa
       and /usr/lib64/ocaml/unix.cmxa
       make inconsistent assumptions over implementation Unix
Command exited with code 2.

This seems concerning.

Note that if I try to build lambda-term on Fedora 25, it works without incident. Since the version of lwt is the same across both, perhaps there's some compatibility issue between the version of lwt we're shipping and ocaml 4.04?

Version-Release number of selected component (if applicable): 2.5.0-8.fc26

How reproducible: Always.


Steps to Reproduce:
1. Install ocaml-lwt-devel, ocaml-camomile-devel, ocaml-ocamldoc, ocaml-ocamlbuild.
2. Install ocaml-zed; I have submitted a review request for it here: https://bugzilla.redhat.com/show_bug.cgi?id=1481913 [1], and for F26 a RPM is available from this copr repository: https://copr.fedorainfracloud.org/coprs/tc01/ocaml-utils/.
3. Grab the 1.10.1 lambda-term sources (https://github.com/diml/lambda-term/archive/1.10.1.tar.gz) and extract them.
4. ./configure; make

Actual results: Build fails with the error message above.

Expected results: Build succeeds (or at least, gets past this step).

Additional info:

[1] Incidentally, I noticed the comment in the lwt spec about jbuilder. opam now needs jbuilder to compile, as does ocaml-zed, so while working on all this I submitted a spec for jbuilder too: https://bugzilla.redhat.com/show_bug.cgi?id=1481912. I imagine updating to newer lwt would solve this issue.

Comment 1 Richard W.M. Jones 2017-08-22 11:48:54 UTC
https://koji.fedoraproject.org/koji/taskinfo?taskID=21396938

Comment 2 Fedora Update System 2017-08-22 11:57:09 UTC
ocaml-lwt-2.5.0-9.fc26 has been submitted as an update to Fedora 26. https://bodhi.fedoraproject.org/updates/FEDORA-2017-70ac9576f1

Comment 3 Fedora Update System 2017-08-23 09:04:08 UTC
ocaml-lwt-2.5.0-9.fc26 has been pushed to the Fedora 26 testing repository. If problems still persist, please make note of it in this bug report.
See https://fedoraproject.org/wiki/QA:Updates_Testing for
instructions on how to install test updates.
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-70ac9576f1

Comment 4 Fedora Update System 2017-08-31 14:57:08 UTC
ocaml-lwt-2.5.0-9.fc26 has been pushed to the Fedora 26 stable repository. If problems still persist, please make note of it in this bug report.


Note You need to log in before you can comment on or make changes to this bug.