From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <feucht@uni-koblenz.de>
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 7FDB77EE49
	for <caml-list@sympa.inria.fr>; Sat, 14 Sep 2013 18:40:32 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  feucht@uni-koblenz.de) identity=pra; client-ip=141.26.64.15;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="feucht@uni-koblenz.de";
  x-sender="feucht@uni-koblenz.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  feucht@uni-koblenz.de) identity=mailfrom;
  client-ip=141.26.64.15;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="feucht@uni-koblenz.de";
  x-sender="feucht@uni-koblenz.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@deliver.uni-koblenz.de) identity=helo;
  client-ip=141.26.64.15;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="feucht@uni-koblenz.de";
  x-sender="postmaster@deliver.uni-koblenz.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnoBAPWQNFKNGkAPnGdsb2JhbABbv1SFOIEdFg4BAQEBAQYWCTyCJQEBBAF+CwsYCSUPLRsGE4d9Crl8Fo9khB4Djy54h1SVGw
X-IPAS-Result: AnoBAPWQNFKNGkAPnGdsb2JhbABbv1SFOIEdFg4BAQEBAQYWCTyCJQEBBAF+CwsYCSUPLRsGE4d9Crl8Fo9khB4Djy54h1SVGw
X-IronPort-AV: E=Sophos;i="4.90,904,1371074400"; 
   d="asc'?scan'208";a="32879000"
Received: from deliver.uni-koblenz.de ([141.26.64.15])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Sep 2013 18:40:31 +0200
Received: from localhost (localhost [127.0.0.1])
	by deliver.uni-koblenz.de (Postfix) with ESMTP id 971B81A8562
	for <caml-list@inria.fr>; Sat, 14 Sep 2013 18:40:32 +0200 (CEST)
X-Virus-Scanned: amavisd-new at uni-koblenz.de
Received: from deliver.uni-koblenz.de ([127.0.0.1])
	by localhost (deliver.uni-koblenz.de [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id wR0-BpYC8_bb for <caml-list@inria.fr>;
	Sat, 14 Sep 2013 18:40:32 +0200 (CEST)
Received: from asus (dhcp250.uni-koblenz.de [141.26.71.250])
	(using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by deliver.uni-koblenz.de (Postfix) with ESMTPSA id 4A8241A8561
	for <caml-list@inria.fr>; Sat, 14 Sep 2013 18:40:32 +0200 (CEST)
Date: Sat, 14 Sep 2013 18:39:25 +0200
From: Philip <feucht@uni-koblenz.de>
To: caml users <caml-list@inria.fr>
Message-ID: <20130914183925.0336bc64@asus>
In-Reply-To: <52348FD2.4090702@inria.fr>
References: <20130914175955.0d67fb25@asus>
	<52348FD2.4090702@inria.fr>
X-Mailer: Claws Mail 3.8.1 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=PGP-SHA1;
 boundary="Sig_/av1QS9wS+4UwM=wa7f/1tIk"; protocol="application/pgp-signature"
Subject: Re: [Caml-list] Compile 4.01 on debian


--Sig_/av1QS9wS+4UwM=wa7f/1tIk
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: quoted-printable

On Sat, 14 Sep 2013 18:33:22 +0200
Xavier Leroy <Xavier.Leroy@inria.fr> wrote:

> On 14/09/13 17:59, Philip wrote:
> > Hi list, just pulled ocaml from git and made:
> >=20
> > ./configure make world.opt
> >=20
> > and got an error:
> >=20
> > Error: Files utils/ccomp.cmo and utils/misc.cmo make inconsistent
> > assumptions over interface List
>=20
> Sounds like you "git pull"-ed over an old working copy containing
> leftover compiled files from an earlier version of OCaml.
> "make clean" is strongly advised.
>=20
> (And, as others said, if you're tracking the OCaml trunk, it's at your
> own risks.)
>=20
> HTH,
>=20
> - Xavier Leroy

Thanks,
thought it must be that simple.

-Philip

--Sig_/av1QS9wS+4UwM=wa7f/1tIk
Content-Type: application/pgp-signature; name=signature.asc
Content-Disposition: attachment; filename=signature.asc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQEcBAEBAgAGBQJSNJE9AAoJEO5w0jzcjicdnC0IAKt/U6y7tmfgl7d3qubXIxpN
bS5Yft9DW1lnqsNXYpiRSnRyXnxd2+zh+Nq4TATq4QppCFOnHFuqwsBeFn978Z43
G+8IyTQP5fKogtgk5yTR977dmvHJqHEEYE1neGUPrjBd/l+D6zP8z2nN2dy+UsYK
MtIwMQfNBTwcyScF1Flczf7bslsOICKA6hGiAXbMMHtXa45hNNY5toWBX9CawbFJ
8Kjji3AGC2lLzel7tEDe0JliOY6jKS2qqcTI+hye12y4BWUP+ueR4EGurwNhNkSV
DXZcd/X3+73Kt29ZeYndbY/PRTJWFKNKQUF7zkEkGg2K2EObW3ilUleSUq4kczY=
=chhy
-----END PGP SIGNATURE-----

--Sig_/av1QS9wS+4UwM=wa7f/1tIk--