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 484D85D4 for ; Sun, 8 Jul 2018 22:04:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,327,1526335200"; d="scan'208";a="337994984" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jul 2018 00:04:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id F1353824B5; Mon, 9 Jul 2018 00:04:25 +0200 (CEST) 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 24C9D82416 for ; Mon, 9 Jul 2018 00:04:19 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org IronPort-PHdr: =?us-ascii?q?9a23=3A6/oZKxOf7CC6LXIYfuQl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfj8rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZUMhfVzJPDJ6/?= =?us-ascii?q?YYsBAOUOIftXoIvzqFYVsRuyGROhCP/zxjJSmHP727Ax3eQ7EQHB2QwtB9wCvm?= =?us-ascii?q?jVrNrpNKcdS/q1w7TVxjrDdf9Y3i3x45XMfBAmp/GDQ6lwfcTMwkQoDQPFj0mf?= =?us-ascii?q?qYz+MjyP0OQNtXaU7uVhVe21kWInrBtxoje2y8oql4LHhZoVx0jH+Cll2oo4JN?= =?us-ascii?q?61RFR/bNK5CpdcqiOXOopwT8g/WW9nojw6xacDuZOjfCgF1pAnxxnHZvOddYiI?= =?us-ascii?q?5AzsVemQIThinn5lf6i/hxmq/UihzO3zSNW03U5JoyZZiNXBt3MA2wbX58SaUP?= =?us-ascii?q?dx40Ws1DeX2wDW8O5EIEQ0laTBK54mx749joATsUXfES/2g0j5lqmWdkM69emn?= =?us-ascii?q?6uToeK/qppiGN497kg3+KLghmtSjAeQkNQgDR3SU9v651L3n5EH5RLRKjuYqkq?= =?us-ascii?q?TCq5DbJcEbprajDANP04Yj7Qy/Dza839gCk3kHNgENRBXSxbPuNl7SOvfgSb+a?= =?us-ascii?q?gl+smTpvjbiSO7zqApzAKj7Yl7ruYax682ZdzhY+yZZU4JcCWZ8bJ/emEHXwv9?= =?us-ascii?q?zRFBNxDEqRha7FD9NwzclWDXiOCa+xOaXUvE+J76QoOebaN9xdgyr0N/Vwv62m?= =?us-ascii?q?tnQ+g1JIOPDxhcJGOkD9JexvJgCiWVSph94AFWkQuQ9nF77jjluPQT9aIXGoUP?= =?us-ascii?q?Blv21pOMedFY7GA7uVrvmZxi7iRc9fYGZLGlGFV3DyeNfcAqpeWGepOsZk1wc8?= =?us-ascii?q?e/2hRosmjEr8vQn8xqpmJ6zT4CJK7J8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CfBwAXiUJb/7BbRFBbHAEBAQQBAQoBA?= =?us-ascii?q?YNJgWGYWkkBAQQGgTKDbJFGFIFmCysBhEACgi0aBgEEMRcBAgEBAgEBAQEBbCi?= =?us-ascii?q?CNSQBgl0BBTo/EAsYCRMSDy0bBoUmEatAhFuDbIE6iG4RfT5JgQ+CYS6EQoYOA?= =?us-ascii?q?plPBwICjxeBPwGMKJIQgUMDM4FSfQg7gmqQUj6BKAGONwEB?= X-IPAS-Result: =?us-ascii?q?A0CfBwAXiUJb/7BbRFBbHAEBAQQBAQoBAYNJgWGYWkkBAQQ?= =?us-ascii?q?GgTKDbJFGFIFmCysBhEACgi0aBgEEMRcBAgEBAgEBAQEBbCiCNSQBgl0BBTo/E?= =?us-ascii?q?AsYCRMSDy0bBoUmEatAhFuDbIE6iG4RfT5JgQ+CYS6EQoYOAplPBwICjxeBPwG?= =?us-ascii?q?MKJIQgUMDM4FSfQg7gmqQUj6BKAGONwEB?= X-IronPort-AV: E=Sophos;i="5.51,327,1526335200"; d="scan'208";a="272279442" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Jul 2018 00:04:18 +0200 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1fcHmh-00046B-J5; Sun, 08 Jul 2018 23:03:59 +0100 Date: Sun, 8 Jul 2018 23:03:59 +0100 From: "Richard W.M. Jones" To: "Soegtrop, Michael" Cc: David Allsopp , "caml-list@inria.fr" Message-ID: <20180708220359.lptmz6y3bgc3q2uy@annexia.org> References: <0F7D3B1B3C4B894D824F5B822E3E5A177880AC00@IRSMSX102.ger.corp.intel.com> <3DB8AA81-74C6-42C5-BC15-4BB4FF281A05@metastack.com> <0F7D3B1B3C4B894D824F5B822E3E5A177880AD76@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A177880AE05@IRSMSX102.ger.corp.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A177880AE05@IRSMSX102.ger.corp.intel.com> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] Mapping between ocamlbuild and ocamlc versions Reply-To: "Richard W.M. Jones" X-Loop: caml-list@inria.fr X-Sequence: 16979 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: On Thu, Jul 05, 2018 at 08:04:21AM +0000, Soegtrop, Michael wrote: > Dear David, > > Hope that vaguely helps! > > yes, I try my luck with 0.12 for ocaml 4.03 to 4.06 and see what happens. Btw.: I need it to build menhir. FWIW Fedora builds ocamlbuild 0.12.0 with OCaml 4.06 & 4.07-rc1 and there didn't seem to be any problem. Rich. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs