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 2260E5D4 for ; Thu, 5 Jul 2018 08:04:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,311,1526335200"; d="scan'208,217";a="335836900" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jul 2018 10:04:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2196E824B4; Thu, 5 Jul 2018 10:04:38 +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 91A0782486 for ; Thu, 5 Jul 2018 10:04:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga01.intel.com IronPort-PHdr: =?us-ascii?q?9a23=3At+VPEBU6xI+x/SkmhNhfhTDC6FXV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBCEt8tkgFKBZ4jH8fUM07OQ7/i+HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9zIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlMJ+kb5brhyiqRxxwYHUYZ2aO/Vlc6zHYd8XQXBMUtpNWyBfBI63?= =?us-ascii?q?cosBD/AGPeZdt4TxqUYArRygCgmjGOPv0DhIhmfu0aYn1OohEB3J3Aw6EN0QtH?= =?us-ascii?q?TYosj+OaAXUeC00KbIzS/MYO1S2Tvn84jIdQ4uof6QXbJqdsrR0VIiFwLDjlWM?= =?us-ascii?q?t4PlOymZ2fgKs2ie9udtU/+khWAgqwF0uDevx8Esh5HIhoIT1lDL6yF5zJwoKt?= =?us-ascii?q?KmTkNwfN2qEINIui2HM4Z6XNkuTmFotSogyrAKp4S3cSsJxZg/2hLSavKKf5KG?= =?us-ascii?q?7x/tTuqdPzl1iXZ/dL6ihBu+71CsxvD9W8SwylpGsCpIn9bWunwTzRDf98eKR/?= =?us-ascii?q?p780y8wziAzRrT5ftBIU0slarUNZohwrkom5oWvkTMBDP6lFjsgK+XcEUk5van?= =?us-ascii?q?6+D9brr6oZ+cMpd4igD4MqswhsyyGfk0PwwQU2SB+emx1Kfv8E3nTLlQjfA7kb?= =?us-ascii?q?HVsJXAKsQaoq65DRVV0oEm6xunCjem0cgXnXkdI11bfBKLlZPpO1bQL/D3Efe/?= =?us-ascii?q?mVOskC9wyvDHOL3hHovCLnzZnLj9erZ97lZQyBAvwtBH+5JUFrYBLervVUDrsd?= =?us-ascii?q?zYCgY1Mwi1w+b8FNVwzZgeWGKKAq+BKqzeq16I5uQ1I+mNfoAZojj9K+J2r8Lp?= =?us-ascii?q?2FMwh14RNYCt2YAQcGjwSvh8KgCfbGX3qtIMDW4RogM1T6rhj1jUAhBJYHPnFZ?= =?us-ascii?q?k76z4nEoW+Sc/mR4utibGFlm/vG5xdZmlLDhaXFnrna5+DQ98Nbj6fJolqlTlS?= =?us-ascii?q?BuvpcJMoyRz77Fyy8LFgNOeBonRJ56Km78B84qjorT938DV1C8qH1GTUFjN1mH?= =?us-ascii?q?8FQ3k926Ut+BUhmGfG6rBxhrljLfIW/+lAC15oNJjAwug8ANf3CFqYI4W5DW2+?= =?us-ascii?q?S9DjOgkfC9I8x9hXPBR4FNz611bC2TanB/kekLnZXJE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CKAADdzz1bh1g0N8BbGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYJTAYFXfygKi3SMM4IYlR8UgWYLGxGEQAKCKRkHAQQwGAECAQECAQEBAQE?= =?us-ascii?q?TAQEBCA0JCCkjDII1IoJgBi0cMBACAQgOFCQyJQEBBA4NgxgBgRtjAapliEmBO?= =?us-ascii?q?ohtgVc+g3AuhEI6PIJ0giQCkWeHZQMEAgKcdZIJgUGCCnBQgmkJgimEAYofb4E?= =?us-ascii?q?VjmwBgRkBAQ?= X-IPAS-Result: =?us-ascii?q?A0CKAADdzz1bh1g0N8BbGwEBAQEDAQEBCQEBAYJTAYFXfyg?= =?us-ascii?q?Ki3SMM4IYlR8UgWYLGxGEQAKCKRkHAQQwGAECAQECAQEBAQETAQEBCA0JCCkjD?= =?us-ascii?q?II1IoJgBi0cMBACAQgOFCQyJQEBBA4NgxgBgRtjAapliEmBOohtgVc+g3AuhEI?= =?us-ascii?q?6PIJ0giQCkWeHZQMEAgKcdZIJgUGCCnBQgmkJgimEAYofb4EVjmwBgRkBAQ?= X-IronPort-AV: E=Sophos;i="5.51,311,1526335200"; d="scan'208,217";a="271977896" Received: from mga01.intel.com ([192.55.52.88]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Jul 2018 10:04:28 +0200 X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from fmsmga008.fm.intel.com ([10.253.24.58]) by fmsmga101.fm.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Jul 2018 01:04:23 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.51,311,1526367600"; d="scan'208,217";a="52748641" Received: from irsmsx154.ger.corp.intel.com ([163.33.192.96]) by fmsmga008.fm.intel.com with ESMTP; 05 Jul 2018 01:04:22 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.146]) by IRSMSX154.ger.corp.intel.com ([169.254.12.250]) with mapi id 14.03.0319.002; Thu, 5 Jul 2018 09:04:21 +0100 From: "Soegtrop, Michael" To: David Allsopp CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] Mapping between ocamlbuild and ocamlc versions Thread-Index: AdQTr/fQeQxXJOC0RV2cqEQed1Z48v//9jKA//+bLdCAAMLUAP//SJdg Date: Thu, 5 Jul 2018 08:04:21 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A177880AE05@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A177880AC00@IRSMSX102.ger.corp.intel.com> <3DB8AA81-74C6-42C5-BC15-4BB4FF281A05@metastack.com>,<0F7D3B1B3C4B894D824F5B822E3E5A177880AD76@IRSMSX102.ger.corp.intel.com> In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ctpclassification: CTP_NT x-titus-metadata-40: eyJDYXRlZ29yeUxhYmVscyI6IiIsIk1ldGFkYXRhIjp7Im5zIjoiaHR0cDpcL1wvd3d3LnRpdHVzLmNvbVwvbnNcL0ludGVsMyIsImlkIjoiMDZkZDAxMTUtOTI5MC00YWNlLWEyMWYtMDhkMmJkMmUwMWFjIiwicHJvcHMiOlt7Im4iOiJDVFBDbGFzc2lmaWNhdGlvbiIsInZhbHMiOlt7InZhbHVlIjoiQ1RQX05UIn1dfV19LCJTdWJqZWN0TGFiZWxzIjpbXSwiVE1DVmVyc2lvbiI6IjE3LjEwLjE4MDQuNDkiLCJUcnVzdGVkTGFiZWxIYXNoIjoicjQwcXVjWVd3TXdRSUJMR3pOR1h4NEU0NUVTTm93SFdzNmo2VlVTQUFoNVMwOVdRZkVvUU5KZXFDQW52dmRudiJ9 x-originating-ip: [163.33.239.182] Content-Type: multipart/alternative; boundary="_000_0F7D3B1B3C4B894D824F5B822E3E5A177880AE05IRSMSX102gercor_" MIME-Version: 1.0 Subject: RE: [Caml-list] Mapping between ocamlbuild and ocamlc versions Reply-To: "Soegtrop, Michael" X-Loop: caml-list@inria.fr X-Sequence: 16971 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: --_000_0F7D3B1B3C4B894D824F5B822E3E5A177880AE05IRSMSX102gercor_ Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable 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. B= tw.: I need it to build menhir. Best regards, Michael Intel Deutschland GmbH Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Christian Lamprechter Chairperson of the Supervisory Board: Nicole Lau Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928 --=20 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= --_000_0F7D3B1B3C4B894D824F5B822E3E5A177880AE05IRSMSX102gercor_ Content-Type: text/html; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable

Dear David,=

 

Hope that vaguely helps!

 

yes, I try my luck wit= h 0.12 for ocaml 4.03 to 4.06 and see what happens. Btw.: I need it to buil= d menhir.

 

Best regards,

 

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

--_000_0F7D3B1B3C4B894D824F5B822E3E5A177880AE05IRSMSX102gercor_--