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

["J. Beleites" <jcb98@xxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Anil,

Thank you, that worked! Turned out I also needed to install libffi
(apt-get install libffi-dev) for ctypes to compile. All seems to work now!

Johann


On 24.12.2014 18:04, Anil Madhavapeddy wrote:
> 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:
>> 
> 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

iQEcBAEBAgAGBQJUnH2qAAoJEOuX0wv5Pf0IyPwH/iIAurj0RxjZg9qTr/WDkTbP
SSJL3ih8WuC+NAw9XMdFIvTdSDx1ByBfWXajVNX1pcOODFR3q01BjiPWdraCXLdc
xlPQgnsAFT6A3bc4sAlKqD2xXyQGmytjZ3FEO4fOQY8Qp3Hkpgyt4Qw55LOQj3hD
ETvociQjlFsQ5skocq8jD1kI3osDCDKQzy48BlwGgm+yaYmsMjLAzR88EM9CoHjV
JtC8H/RP0f7X71BPKjiXs0lCcaxm8CuH/ac0tBBByHWH8UxGfE1Ft1rPuuVe9z90
OWkuea+a+hJmRUNvfqB2I0x0NocWYJKz9x8Qhkoy0U4QLA6yaAnJjKR1d9zRiC8=
=pTeF
-----END PGP SIGNATURE-----

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