From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D55227EEEF for ; Wed, 24 Jun 2015 15:15:56 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vincenzoml@gmail.com) identity=pra; client-ip=209.85.212.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vincenzoml@gmail.com"; x-sender="vincenzoml@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of vincenzoml@gmail.com designates 209.85.212.174 as permitted sender) identity=mailfrom; client-ip=209.85.212.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vincenzoml@gmail.com"; x-sender="vincenzoml@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f174.google.com) identity=helo; client-ip=209.85.212.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vincenzoml@gmail.com"; x-sender="postmaster@mail-wi0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CgAgCqrIpVlK7UVdFbhESDHqkahg+SKQKBSUwBAQEBAQESAQEBAQcLCwkfMIQjAQEDARIRHQEbHgMBCwYDAgQHNwICIgERAQUBHAYBEiKHdwEDCgiZXpBrPjGLP4FrgnmLJgoZJw1XhQgBAQEBBgEBAQEBARYBBQ6CP4h9hQ2CaIFDBZQFi1GWbTWBFheCTIE9PjGCSAEBAQ X-IPAS-Result: A0CgAgCqrIpVlK7UVdFbhESDHqkahg+SKQKBSUwBAQEBAQESAQEBAQcLCwkfMIQjAQEDARIRHQEbHgMBCwYDAgQHNwICIgERAQUBHAYBEiKHdwEDCgiZXpBrPjGLP4FrgnmLJgoZJw1XhQgBAQEBBgEBAQEBARYBBQ6CP4h9hQ2CaIFDBZQFi1GWbTWBFheCTIE9PjGCSAEBAQ X-IronPort-AV: E=Sophos;i="5.13,671,1427752800"; d="scan'208";a="167058756" Received: from mail-wi0-f174.google.com ([209.85.212.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Jun 2015 15:15:56 +0200 Received: by wicgi11 with SMTP id gi11so46222165wic.0 for ; Wed, 24 Jun 2015 06:15:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :content-type; bh=qkDteiIfvh4tTJCsLfas+801OhKWtmmOaeYzR+JBt2U=; b=Ne87bKe9tstYxD0wpCm6h/PUxm8itV5TiUh8c87WN0AfxESqKZprRKeEbxOoLLVcGr smqbPxQL6olYmWuxIeqlYL/Dmhgh4ogKu7zvVvgC8BL7ZCUQ8MTYxwRU8q14Ii9zST+6 umKJ+75DvBRmlQRWYCyiDrANFUnv+BJCzjRO20iNtk4TWND/l/nZSbCjGam8HNlPEQaw L6afoI+BTP+2RRQo5nNp9QKKvKW+Uwg42s/EP6cegd/b5zhatImX6z2uTxiu4CvRp8CH x27b42/Q0vt1GBqRXFnNUaze6r3hXyFDvNDtrL7URhrPUKuWEyRNt1q/0OjRrj/3B+aP gDaQ== X-Received: by 10.194.189.80 with SMTP id gg16mr61512394wjc.9.1435151756091; Wed, 24 Jun 2015 06:15:56 -0700 (PDT) MIME-Version: 1.0 References: <558A7806.1090705@glondu.net> In-Reply-To: <558A7806.1090705@glondu.net> From: Vincenzo Ciancia Date: Wed, 24 Jun 2015 13:15:46 +0000 Message-ID: To: =?UTF-8?Q?St=C3=A9phane_Glondu?= , caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7bb03f9c9ee7450519434e95 Subject: Re: [Caml-list] macports: inconsistent assumptions over interface CamlinternalFormatBasics --047d7bb03f9c9ee7450519434e95 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Well, in the end they installed OPAM and everything went fine, but before that they tried removing the packages and then reinstalling. I guess there was some leftover cmi that was not deleted properly, but without access to the machine I can't do a proper check. Vincenzo Il giorno mer 24 giu 2015 alle ore 11:27 St=C3=A9phane Glondu ha scritto: > Le 23/06/2015 17:21, Vincenzo Ciancia a =C3=A9crit : > > I am using ubuntu and happily working in OCaml since decades. A > > colleague of mine (I can't access the machine directly) is trying to > > compile a program on osx; they used macports to install ocaml, > > ocamlgraph and ocamlcsv two days ago. Now what happens is that some > > files are compiled correctly, but then here is an error which I don't > > know how to fix: > > > > Error: The files /opt/local/lib/ocaml/pervasives.cmi > > and /opt/local/lib/ocaml/site-lib/csv/csv.cmi > > make inconsistent assumptions over interface > CamlinternalFormatBasics > > > > > > They already tried to rebuild all the packages depending on ocaml. Any > > advice? > > Are you sure they reinstalled the packages after rebuilding them? It > looks like a rebuild (and installation) of csv is needed, here. > > > Cheers, > > -- > St=C3=A9phane > --047d7bb03f9c9ee7450519434e95 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Well, in the end they installed OPAM and everything went f= ine, but before that they tried removing the packages and then reinstalling= . I guess there was some leftover cmi that was not deleted properly, but wi= thout access to the machine I can't do a proper check.

Vincenzo


Il giorno mer 24 giu 2015 alle ore 11:27 St=C3=A9phane Glondu &l= t;steph@glondu.net> ha scritto:<= br>
Le 23/06/2015 17:21, Vincenzo Cianc= ia a =C3=A9crit :
> I am using ubuntu and happily working in OCaml since decades. A
> colleague of mine (I can't access the machine directly) is trying = to
> compile a program on osx; they used macports to install ocaml,
> ocamlgraph and ocamlcsv two days ago. Now what happens is that some
> files are compiled correctly, but then here is an error which I don= 9;t
> know how to fix:
>
> Error: The files /opt/local/lib/ocaml/pervasives.cmi
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 and /opt/local/lib/ocaml/site-lib/csv/csv.c= mi
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 make inconsistent assumptions over interfac= e CamlinternalFormatBasics
>
>
> They already tried to rebuild all the packages depending on ocaml. Any=
> advice?

Are you sure they reinstalled the packages after rebuilding them? It
looks like a rebuild (and installation) of csv is needed, here.


Cheers,

--
St=C3=A9phane
--047d7bb03f9c9ee7450519434e95--