build may be picking up wrong version of "uint64.h"

Question

build may be picking up wrong version of "uint64.h"

mk270 opened this issue 11 years ago · 7 comments

mk270 commented 11 years ago

The reference to #include <uint64.h> on my system is not finding the OCaml uint package

when compiling the stubs C file

Answer 1 · 2014-06-01T09:21:34.000Z

How did you install uint and zmq?

Answer 2 · 2014-06-01T10:34:36.000Z

with opam

I think they may be getting the /usr/include/uint64.h from "libowfat-dev", whatever that is

Answer 3 · 2014-06-11T09:10:49.000Z

The only versions of uint64.h I have comes from opam, and the package compiles without a problem:

$ locate uint64.h
~/.opam/4.00.1/include/ocaml_uint/uint64.h
~/.opam/4.00.1/lib/uint/uint64.h

Answer 4 · 2014-06-11T13:22:16.000Z

I've proposed a solution in #22. @andersfugmann you should be able to reproduce the problem by installing the Debian package libowfat-dev on your system.

Answer 5 · 2014-06-11T20:38:40.000Z

I Cannot reproduce the problem, even with libowfat-dev installed.

@jj-issuu - I think the problem reported is not that the wrong file was picked up, but rather that uint64.h was not found.

My best guess would be that 'oasis setup' was run before uint package was installed, and include paths was not setup correctly.

@mk270 can you reproduce after a 'opam update; opam upgrade -y; opam install zmq'

Answer 6 · 2014-06-12T13:54:27.000Z

it doesn't want to install uint, when I do that

Answer 7 · 2014-06-13T21:40:17.000Z

Thanks.
Could you provide the output of 'opam info uint' and
the the output of 'opam install zmq'? - Assuming that you still have trouble installing the uint package.
Perhaps a 'opam remove uint; opam install zmq' would help?