ocaml-maint team mailing list archive

[Hector Garcia de Marina <1740576@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

Hi, I do not know whether this bug should be here. From the project
https://github.com/paparazzi/paparazzi , users with Ubuntu 17.10 are
experiencing the following problem

+ ocamlfind ocamlopt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
File "myocamlbuild.ml", line 1:
Error: Files /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa
       and /usr/lib/ocaml/unix.cmxa
       make inconsistent assumptions over implementation Unix
Command exited with code 2.

The maintainers of Paparazzi believe that this is an issue of the Ubuntu
distribution. In fact, it seems that other distributions are facing a
similar problem https://bugzilla.redhat.com/show_bug.cgi?id=1481916

** Affects: ocaml (Ubuntu)
     Importance: Undecided
         Status: New

** Summary changed:

- make inconsistent assumptions over implementation Unix
+ Files ocamlbuildlib.cmxa and unix.cmxa make inconsistent assumptions over implementation Unix

-- 
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is subscribed to ocaml in Ubuntu.
https://bugs.launchpad.net/bugs/1740576

Title:
  Files ocamlbuildlib.cmxa and unix.cmxa make inconsistent assumptions
  over implementation Unix

Status in ocaml package in Ubuntu:
  New

Bug description:
  Hi, I do not know whether this bug should be here. From the project
  https://github.com/paparazzi/paparazzi , users with Ubuntu 17.10 are
  experiencing the following problem

  + ocamlfind ocamlopt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
  File "myocamlbuild.ml", line 1:
  Error: Files /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa
         and /usr/lib/ocaml/unix.cmxa
         make inconsistent assumptions over implementation Unix
  Command exited with code 2.

  The maintainers of Paparazzi believe that this is an issue of the
  Ubuntu distribution. In fact, it seems that other distributions are
  facing a similar problem
  https://bugzilla.redhat.com/show_bug.cgi?id=1481916

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ocaml/+bug/1740576/+subscriptions