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 74E3B7EE49 for ; Sat, 14 Sep 2013 20:06:14 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=209.85.212.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of wojciech.meyer@gmail.com designates 209.85.212.171 as permitted sender) identity=mailfrom; client-ip=209.85.212.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@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-f171.google.com) identity=helo; client-ip=209.85.212.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-wi0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmMBAN2kNFLRVdSrm2dsb2JhbABbxQyBHRYOAQEBAQEGCwsJFCiCJQEBBAFAARsdAQMBCwYFCw0JJQ8BBA8RAQUBIhOHcAEDCQYEnA+MUYMHg3AKGScNZIhTAQUMj2cHhB4Dl3uQC0GETQ X-IPAS-Result: AmMBAN2kNFLRVdSrm2dsb2JhbABbxQyBHRYOAQEBAQEGCwsJFCiCJQEBBAFAARsdAQMBCwYFCw0JJQ8BBA8RAQUBIhOHcAEDCQYEnA+MUYMHg3AKGScNZIhTAQUMj2cHhB4Dl3uQC0GETQ X-IronPort-AV: E=Sophos;i="4.90,904,1371074400"; d="scan'208";a="32882358" Received: from mail-wi0-f171.google.com ([209.85.212.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Sep 2013 20:06:13 +0200 Received: by mail-wi0-f171.google.com with SMTP id hm2so1979650wib.10 for ; Sat, 14 Sep 2013 11:06:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=mVDzxNDyIxz5MeHN2DozTxkySf26pBGvOgZt13kXBOY=; b=D72tWWXNSH3s8FEgqzdrkFlcUeodafqzdOlViypwjXNgGYgChbe+L90/mgKP/f1eIU 5ak6LYYIydToFLhneU7j/Ved/6SQt8ASWPmIvvkj5H89bnj8VCeCXLDrUiNzyf1oX4ix kwK5i/FqD91/8W7B+7H7hhEp/7FKV4tTWj6GTwSODSl9HvTAL0fA5Ds0cPxkv/2+9sy7 hnPsZiN5BLHfRXhqSx9p5vCNhGarh0iBw+R5kEuPxiLOPimN64GR6q0nVmxBdiIqUjom mJCbnwJMLtmic36J0jV+uib78wTnXZECpmp44NBE9F7Q6v/Yn1LlMGGnv2RCdSZdQ0Cr bidA== X-Received: by 10.194.123.227 with SMTP id md3mr15595556wjb.17.1379181973685; Sat, 14 Sep 2013 11:06:13 -0700 (PDT) Received: from danmey-desktop.danmey.org (cpc2-cmbg12-0-0-cust796.5-4.cable.virginmedia.com. [86.9.203.29]) by mx.google.com with ESMTPSA id dx7sm11569016wib.8.1969.12.31.16.00.00 (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Sat, 14 Sep 2013 11:06:12 -0700 (PDT) From: Wojciech Meyer To: Xavier Leroy Cc: Philip , caml users References: <20130914175955.0d67fb25@asus> <52348FD2.4090702@inria.fr> Date: Sat, 14 Sep 2013 19:06:13 +0100 In-Reply-To: <52348FD2.4090702@inria.fr> (Xavier Leroy's message of "Sat, 14 Sep 2013 18:33:22 +0200") Message-ID: <871u4r1dnu.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Compile 4.01 on debian Xavier Leroy writes: > 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.) What I do usually in such situations when "make clean" does not cleanup everything, or some files clobber ocamlbuild hygiene conditions, is to just use very useful git command to remember: # git clean -dxf this will give you a fresh repository pointing to git revision, but not containing any intermediate files, which may affect the build. Again, as others say, use it on your own risk, you can easily delete some important files to you. More over the build takes significant time. But in the end it will give you always clean repository, but you have to reconfigure/rebuild it again yourself! Thanks, Wojciech