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 ESMTPS id 65B675D5 for ; Mon, 10 Feb 2020 10:19:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,424,1574118000"; d="scan'208";a="435235505" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Feb 2020 11:19:19 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8458C7F408; Mon, 10 Feb 2020 11:19:19 +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 29B167F3AB for ; Mon, 10 Feb 2020 11:19:11 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail149058.authsmtp.co.uk IronPort-PHdr: =?us-ascii?q?9a23=3A6OhPtB/77IFeGP9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0+gWIJqq85mqBkHD//Il1AaPAdyHrawdwLOM++C4ACpcuM3H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjeu8UMgIZuN6k9xgbXrnBVf+?= =?us-ascii?q?ha2X5kKUickhrh6Mq85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y7jQds0GS2VfQslRVjRBAoKi?= =?us-ascii?q?YIsJE+oBJvtTo43kq1cTsReyGQygCeXywTFKm3D2x7U33eQ/HwHI3gMuAtwAsH?= =?us-ascii?q?PXotr6KKgcXue7zLXTwDXfdvNW1ivx5JbUfh0jp/yHQLJ+cdDWyUkqDw7JgFue?= =?us-ascii?q?ppb7PzOUy+sGrnSW7+5kVeK0jG4nsxlxrjayzcorl4bJnJgaxknC9Spnzoc1Ps?= =?us-ascii?q?a1SEtlbt64CpRQrD2aOJFqTcMhWW1npCE6yrgftJO9YSMExpMnxxvFZPyGdYiF?= =?us-ascii?q?+h3jVOeNITd4mXJqY6iziAq18UilzOD3S8q60E5SoydEjNXArG0B2hLJ5sSaRf?= =?us-ascii?q?Zw+l2t1DaM2gzL9+1JIkA5mbDaJpMl2LI8i5UevETZEiPomEj7g6mbfVg+9Oey?= =?us-ascii?q?8eToeLDmq4ecN4BqjgH+NbwjmsuiAeQkNwgBRWmb+eCh2LDs+UD1XLVHg/4snq?= =?us-ascii?q?bDrZDaOcQbprW8Aw9JyoYv8QqwDzC83NQFnnkLNFNFeBSZgIj1I1zDIe70Ae2i?= =?us-ascii?q?j1miijtn2v/LM7n7DpjNLXXPiLLhcqx8605Yxgoz19df55dMB74cOvL8QFb9tN?= =?us-ascii?q?rGAR43KAy52OPnB8th1owEQmKPHrWWP7/RsVOS+u0vJOyMaJcPuDnhM/gl++Lu?= =?us-ascii?q?jXghlF8TZamp2ocXaGy5Hvt4OUWUenvtgtYEEWgRpAoxVvbmiFyEUT5JZna9Rb?= =?us-ascii?q?gw5j8hCIi+F4fMWpitgKCd3Ce8BpBZenpJClWIEXvxc4WEWuwMaD6JL896kj0E?= =?us-ascii?q?UKChRJU72RGvsg/60btnIfDO9i0Wr5KwnORysqecuws787NzDt+q62aRU2B5hC?= =?us-ascii?q?xCD2s4xql5qkt80RGb1rRkgvFCPd1V/fJAFAkgY9qUhc53Ed33Ww+JUtaMSVCh?= =?us-ascii?q?CJ3yAz0wS9M3xPcMakBwAMm4gx3fmSGtBulGuaaMAcl+3qvC3nS5DsJ50HHezO?= =?us-ascii?q?Np21U8S45JOHK9rqty6wHIG4fCkAOSkKP8JvdU5zLE6GrWlTnGh0pfSgMlFPyd?= =?us-ascii?q?BSlDNHuTlszw4wb5d5HrEa4ua1YTzMOeI7BWY9bqy15BQaW7YYWMUyeKg261QC?= =?us-ascii?q?2w6PaJZYvudX8a2XyAWk0JjwkI4X+NNk41ASLz+juDXgwrLkrmZgbXycc7qH6/?= =?us-ascii?q?SRRsnQaXc0ho1r7spk9N2KzaQu4P3qkBpD9noDIyAVXvh98=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CeAACzLUFefTqVDT5mGwEBAQEBAQEFA?= =?us-ascii?q?QEBEQEBAwMBAQGBe4MVVzAqg1VAiQOGFIIRgz6GMoUljCYJAQMBCgEBJwYCAQG?= =?us-ascii?q?De0UCgkUcBwEENBMCEAEBBAEBAQIBAgMEARMBAQsUCIVnDII7KQGDAQEBAQQIA?= =?us-ascii?q?gIXBVENAwIHAg0LAgImAgIZIxsCBAEdBYMXglYpAQqRCpsEdYEBMYQ1AYYjBoE?= =?us-ascii?q?OKowjgROBB4QkPoJkAoR1gl4EkFefGwqCOgN6hk+PG5sPjmSIbJI5AgQLAhWBa?= =?us-ascii?q?YF6cFCCbT4RGA2SEIpUQjECAYEABSETC40hAQE?= X-IPAS-Result: =?us-ascii?q?A0CeAACzLUFefTqVDT5mGwEBAQEBAQEFAQEBEQEBAwMBAQG?= =?us-ascii?q?Be4MVVzAqg1VAiQOGFIIRgz6GMoUljCYJAQMBCgEBJwYCAQGDe0UCgkUcBwEEN?= =?us-ascii?q?BMCEAEBBAEBAQIBAgMEARMBAQsUCIVnDII7KQGDAQEBAQQIAgIXBVENAwIHAg0?= =?us-ascii?q?LAgImAgIZIxsCBAEdBYMXglYpAQqRCpsEdYEBMYQ1AYYjBoEOKowjgROBB4QkP?= =?us-ascii?q?oJkAoR1gl4EkFefGwqCOgN6hk+PG5sPjmSIbJI5AgQLAhWBaYF6cFCCbT4RGA2?= =?us-ascii?q?SEIpUQjECAYEABSETC40hAQE?= X-IronPort-AV: E=Sophos;i="5.70,424,1574118000"; d="scan'208";a="435235445" X-MGA-submission: =?us-ascii?q?MDF3pzE61ZT1YOWWTgA+OiC9DVhq5Gq9SP8Gi4?= =?us-ascii?q?TpCJvcn31JoCV76RgKSk59XbU5331Ctr91xwDeXD+Vj+DVE35DCqnGtF?= =?us-ascii?q?7V9JZabN2m1ibrdFKnpkHSHRncZyvzK3fmwHWYhomVPuseIiwyyS3Lta?= =?us-ascii?q?GP9PG/KV5gdSQS8izxX2AWUg=3D=3D?= Received: from outmail149058.authsmtp.co.uk ([62.13.149.58]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Feb 2020 11:19:06 +0100 Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt17.authsmtp.com. (8.15.2/8.15.2) with ESMTP id 01AAJ5E4019429; Mon, 10 Feb 2020 10:19:05 GMT (envelope-from dra-news@metastack.com) Received: from romulus.metastack.com (26.77-31-62.static.virginmediabusiness.co.uk [62.31.77.26]) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id 01AAJ4Zs044757 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 10 Feb 2020 10:19:05 GMT (envelope-from dra-news@metastack.com) Received: from Libera ([185.69.145.254]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 01AAJ0Dg014569; Mon, 10 Feb 2020 10:19:02 GMT X-FE-BYPASS-SCAN-ON-AUTH: X-FEAS-AUTH-USER: From: "David Allsopp" To: "=?utf-8?Q?'Fran=C3=A7ois_Pottier'?=" , "Jeremie Dimino" Cc: "caml users" References: <7df93c09-6cda-fae5-d9e4-a915881ba3fa@inria.fr> In-Reply-To: Date: Mon, 10 Feb 2020 11:18:59 +0100 Organization: MetaStack Solutions Ltd. Message-ID: <002401d5dffb$848f0b10$8dad2130$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQHV3/W2mAwHLEaIx0eq3Xk9YfgEL6gUNwhg Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: c41ea988-4bee-11ea-a026-8434971169dc X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgREAn9U UXkJW1ZUQFxxU2J8 YQpUIwNffElPQQJt TkpPXVBXCwQmAR1w d2QaOFpycwFBfXk+ bEdiWz4IWEUvJE91 SlNQRzhTeGZhPTEC AUBacR5cdABOdxhE a1Z2ACBDAxANdhET Fgo3ejQwJilqYChI RAxFI1UICWEgFzs4 D0RKQXN3Qhpt X-Authentic-SMTP: 61633634383431.1024:7242 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 62.31.77.26/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] dune for OCaml < 4.07? Reply-To: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 17993 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: Fran=C3=A7ois Pottier wrote: > On 06/02/2020 23:33, Jeremie Dimino wrote: > > We just submitted the release of Dune 2.2.0: > > https://github.com/ocaml/opam-repository/pull/15795 >=20 > Thanks J=C3=A9r=C3=A9mie. This seems to work great. >=20 > However, I realize that recent versions of dune require OCaml 4.07. > Menhir is supposed to be compatible with OCaml all the way back to = 4.02.3. > Is there any way to install dune 2.2.0 with OCaml < 4.07? TL;DR for installing Menhir on OCaml 4.02-4.06 using opam, you don't = need to do anything. Dune 2.0.0+ requires at least OCaml 4.07 to build, but the dune package = in opam does not. More detail in case it's relevant to be able to do = that without opam... For OCaml 4.02-4.06, Dune depends on the ocaml-secondary-compiler = package[1], which installs a separate copy of OCaml 4.08.1 in your = switch which is accessed using `ocamlfind -toolchain secondary` and = that's configured in the ocamlfind-secondary package. Dune's bootstrap = natively looks for the ocamlfind secondary toolchain if the OCaml = version is < 4.07, so opam is not required, you just have to configure = ocamlfind manually if not using it. So installing without opam requires = building (or having) a later of version of OCaml in a different path, = and then creating the configuration file for ocamlfind so that it can = use it. HTH, David [1] = https://github.com/ocaml/opam-repository/tree/master/packages/ocaml-secon= dary-compiler/ocaml-secondary-compiler.4.08.1 [2] = https://github.com/ocaml/opam-repository/tree/master/packages/ocamlfind-s= econdary/ocamlfind-secondary.1.8.1