From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4BF467EE7C for ; Tue, 26 Apr 2016 15:07:11 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.24,536,1454972400"; d="scan'208";a="175815858" Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Apr 2016 15:07:06 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.87) (envelope-from ) id 1av2hl-0001qe-RG for caml-list@inria.fr; Tue, 26 Apr 2016 15:07:05 +0200 Date: Tue, 26 Apr 2016 15:07:05 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20160426130705.GA7092@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20160426122742.GA2423@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Subject: Re: [Caml-list] opam switch 4.03.0: can't install menhir 20140422 Hi Daniel, Thanks a lot for your response. Daniel Bünzli (2016/04/26 14:39 +0200): > Only 20160303 will compile in 4.03.0. This release was needed to fix > the build system because of the new hygiene rules of ocamlbuild which > was split off the compiler in 4.03.0. Okay, thanks. Not sure I fully understand, because the reported error does not come from the fact ocamlbuild was not installed. It was installed in the 4.03.0 switch. Couldn't the older versions of menhir have an additional dependency? But then the error message would still be there so I'm guessing there is another issue I do not understand... Sébastien.