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

Bug #1740576 reported by Hector Garcia de Marina
12
This bug affects 2 people
Affects Status Importance Assigned to Milestone
ocaml (Ubuntu)
Confirmed
Undecided
Unassigned

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

Tags: artful
summary: - make inconsistent assumptions over implementation Unix
+ Files ocamlbuildlib.cmxa and unix.cmxa make inconsistent assumptions
+ over implementation Unix
tags: added: artful
Revision history for this message
Hector Garcia de Marina (noether) wrote :

It seems that the package that contains ocamlbuild has not being updated accordingly?

https://github.com/ocaml/ocamlbuild/issues/264

Revision history for this message
Launchpad Janitor (janitor) wrote :

Status changed to 'Confirmed' because the bug affects multiple users.

Changed in ocaml (Ubuntu):
status: New → Confirmed
Revision history for this message
Dominique Unruh (unruh-mmci) wrote :

This is independent of paparazzi.

Just typing 'ocamlbuild' in the shell produces the error.

Revision history for this message
Dominique Unruh (unruh-mmci) wrote :

The following workaround works for me:

sudo apt remove ocamlbuild
sudo opam install ocamlbuild

This avoids using the broken ocamlbuild from the repository but installs a separate one.

Revision history for this message
Kakadu (kakadout) wrote :

I tested ocamlbuild on Ubuntu 22.04 and it looks like this bug is gone.

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.