Inconsistent assumptions over interface Foreign

[ghost]

Building with jbuilder on 4.06.0. I have a very simplified version of the example code provided and I get:

Error: Files /home/x/.opam/4.06.0/lib/tsdl/tsdl.cmxa
       and /home/x/.opam/4.06.0/lib/ctypes/ctypes-foreign-threaded.cmxa
       make inconsistent assumptions over interface Foreign

[dbuenzli]

This looks like an install problem could you please try to remove ctypes and ctypes-foreign and reinstall tsdl.

[ghost]

Tried. Same story.
I tried to build tsdl from a git clone too:

ocamlfind ocamlopt -linkpkg -g -thread -I . -I test -I support -I src -package ctypes -package ctypes.foreign -package result -I src -I test src/tsdl.cmxa test/fmts.cmx test/test.cmx -o test/test.native
File "_none_", line 1:
Error: Files src/tsdl.cmxa
       and /home/x/.opam/4.06.0/lib/ctypes/ctypes-foreign-threaded.cmxa
       make inconsistent assumptions over interface Foreign
Command exited with code 2.

[dbuenzli]

Ah I think I know. /cc @yallop I suspect ctypes is not immune to the problem I describe here with the new --keep-locs as a default in 4.06.

[dbuenzli]

I opened yallop/ocaml-ctypes#552 to keep track of this. Closing this for now we'll reopen if I'm wrong.

[ghost]

I'm not familiar with that issue. Is there a work around?

[dbuenzli]

I'm not familiar with that issue. Is there a work around?

Use 4.05 or hack ctypes build system along the lines I mention in the issue there and pin to that.

[ghost]

I'll go with 4.05 cause I'm constrained for time.
If I get what I need with Tsdl working, I can come back to this.

You reckon that the ctype team will take care of this in a matter or days or weeks?

[dbuenzli]

You reckon that the ctype team will take care of this in a matter or days or weeks?

What do I know ? If that's important for you get in touch with the principal author of ctypes and a paycheck.

[ghost]

Thought you might familiar with the effort (resources, people) currently working in ctypes. Although it seems you are closer to the compiler team than ctypes. I'd rather provide a patch then a paycheck, if & when I can.