Re: [MirageOS-devel] Installing tls - failing to install ctypes and conf-gmp

[Anil Madhavapeddy <avsm2@xxxxxxxxxxxx>]

Hi Johann, (CCing the mirageos-devel list where such questions can help others 
as well)

The first error with gmp is due to not having the libgmp C library installed.  
You can get this on Ubuntu by `apt-get install libgmp-dev` (or similar, I don't 
have an Ubuntu box handy to find out atm).

The second error is due to you using 4.03.0+trunk (the bleeding edge version of 
OCaml that is unreleased).  You should use 4.02.1 or 4.01.0 instead, as you're 
not doing compiler hacking and just want to use the TLS libraries themselves.

-anil

> On 23 Dec 2014, at 23:05, J. Beleites <jcb98@xxxxxxxxx> wrote:
> 
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> Hi,
> 
> I've been trying to install ocaml-tls with "opam install tls" but the
> installation keeps on failing to install ctypes.0.3.4 and conf-gmp.1
> (this is also true when I try to install either of them manually).
> I've tried using using ocaml versions 4.01.0, 4.02.1 and 4.03.0+trunk
> if that makes any difference, all with the same result. I'm using opam
> 1.2.0 on Ubuntu 14.04.
> 
> For conf-gmp I keep on getting the following error while trying to
> install:
> 
> # test.c:1:17: fatal error: gmp.h: No such file or directory
> #  #include <gmp.h>
> #                  ^
> # compilation terminated.
> 
> 
> Trying to install ctypes gives:
> 
> # ...[truncated]
> #     case Uint64_t: b = ctypes_copy_uint64(*(uint64 *)buf); break;
> #                                                     ^
> #
> /home/jocbe/.opam/4.03.0+trunk/build/ctypes.0.3.4/src/ctypes/type_info_stubs.c:
> In function âctypes_writeâ:
> #
> /home/jocbe/.opam/4.03.0+trunk/build/ctypes.0.3.4/src/ctypes/type_info_stubs.c:92:21:
> error: âuint64â undeclared (first use in this function)
> #     case Uint64_t: *(uint64 *)buf = Uint64_val(v); break;
> #                      ^
> #
> /home/jocbe/.opam/4.03.0+trunk/build/ctypes.0.3.4/src/ctypes/type_info_stubs.c:92:29:
> error: expected expression before â)â token
> #     case Uint64_t: *(uint64 *)buf = Uint64_val(v); break;
> #                              ^
> # make: *** [_build/src/ctypes/type_info_stubs.o] Error 2
> 
> 
> I am not sure what I am doing wrong. Am I missing something obvious here?
> 
> Thank you! (And sorry for bothering you during the Christmas time).
> 
> Johann
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1
> 
> iQEcBAEBAgAGBQJUmfVDAAoJEOuX0wv5Pf0IS8UH/RDyDYnoxbz7TA4meHE9hIu6
> pZ5ImWPzAgfIr4ghuDJPQ4AZImsAqTGlovD76GAnmI0xyzJQIraMnZwmAA4pe+oD
> +7y3HoFFWLUmNwXIW3DHIZYcxWcJYKHomEBLVjUl2HOisGRh7cj+ZlgIkE2dKUt6
> iigN9qO3TN73nRF2TGRKZZthxgnMijg9LHLPEXQXCJ2pPNQKrZ755EEbszdh1liG
> zsSSbKDu3JLpwbjlIzjBucBfqfIAFPo4h5AldpHXHwiH7L93JBgVEg9DJlKRTgZy
> u0a6et7yx7OXaNjU4guVAbW9lu54neS7dI2hxSN/WdY+VMJIYl54nsYTD4Fy3LU=
> =gd+v
> -----END PGP SIGNATURE-----
> 


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel