From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Xavier.Leroy@inria.fr>
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 288A87EE49
	for <caml-list@sympa.inria.fr>; Sat, 14 Sep 2013 18:33:29 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=pra; client-ip=212.27.42.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=mailfrom;
  client-ip=212.27.42.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp4-g21.free.fr) identity=helo;
  client-ip=212.27.42.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="postmaster@smtp4-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmQBAKCONFLUGyoEnGdsb2JhbABbwhaCdoEdFg4BAQEBAQYNCQkUKIIlAQEFUyUBEAsYCRYPCQMCAQIBRQYNAQcBAYgDuXqPcweEHgOXe4Ywjmo
X-IPAS-Result: AmQBAKCONFLUGyoEnGdsb2JhbABbwhaCdoEdFg4BAQEBAQYNCQkUKIIlAQEFUyUBEAsYCRYPCQMCAQIBRQYNAQcBAYgDuXqPcweEHgOXe4Ywjmo
X-IronPort-AV: E=Sophos;i="4.90,904,1371074400"; 
   d="scan'208";a="32878522"
Received: from smtp4-g21.free.fr ([212.27.42.4])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Sep 2013 18:33:27 +0200
Received: from [192.168.1.2] (unknown [82.237.71.191])
	by smtp4-g21.free.fr (Postfix) with ESMTP id 178A54C8037;
	Sat, 14 Sep 2013 18:33:23 +0200 (CEST)
Message-ID: <52348FD2.4090702@inria.fr>
Date: Sat, 14 Sep 2013 18:33:22 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130804 Thunderbird/17.0.8
MIME-Version: 1.0
To: Philip <feucht@uni-koblenz.de>
CC: caml users <caml-list@inria.fr>
References: <20130914175955.0d67fb25@asus>
In-Reply-To: <20130914175955.0d67fb25@asus>
X-Enigmail-Version: 1.4.6
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Compile 4.01 on debian

On 14/09/13 17:59, Philip wrote:
> Hi list, just pulled ocaml from git and made:
> 
> ./configure make world.opt
> 
> and got an error:
> 
> Error: Files utils/ccomp.cmo and utils/misc.cmo make inconsistent
> assumptions over interface List

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.

(And, as others said, if you're tracking the OCaml trunk, it's at your
own risks.)

HTH,

- Xavier Leroy