From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 677305D5 for ; Mon, 10 Feb 2020 10:33:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,424,1574118000"; d="scan'208";a="435238807" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Feb 2020 11:33:47 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5A1587F41A; Mon, 10 Feb 2020 11:33:46 +0100 (CET) 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 E4F067F3AB for ; Mon, 10 Feb 2020 11:33:42 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.70,424,1574118000"; d="scan'208";a="435238755" Received: from dt-64014.paris.inria.fr (HELO [128.93.64.14]) ([128.93.64.14]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 10 Feb 2020 11:33:18 +0100 To: David Allsopp , Jeremie Dimino Cc: caml users References: <7df93c09-6cda-fae5-d9e4-a915881ba3fa@inria.fr> <002401d5dffb$848f0b10$8dad2130$@metastack.com> From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: Date: Mon, 10 Feb 2020 11:33:18 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 In-Reply-To: <002401d5dffb$848f0b10$8dad2130$@metastack.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] dune for OCaml < 4.07? Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= X-Loop: caml-list@inria.fr X-Sequence: 17994 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hello David, > TL;DR for installing Menhir on OCaml 4.02-4.06 using opam, you don't need to do anything. Thanks for your prompt reply, which sounds reassuring! However, attempting to install dune 2.2.0 on a pre-4.07 switch (for instance, 4.02.3) results in the following failure: $ opam install dune.2.2.0 The following dependencies couldn't be met: - dune → ocaml >= 4.07 → ocaml-variants >= 4.07.0 conflict with the base packages of this switch - dune → ocaml >= 4.07 → ocaml-system >= 4.07.0 unmet availability conditions, e.g. sys-ocaml-version = "4.07.0" - dune → ocaml >= 4.07 → ocaml-base-compiler >= 4.07.0 base of this switch (use `--unlock-base' to force) I have run "opam update" first. Is there something else I should do to convince opam that it is possible to install dune? -- François Pottier francois.pottier@inria.fr http://cambium.inria.fr/~fpottier/