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 39A455D4 for ; Thu, 5 Jul 2018 18:28:58 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,313,1526335200"; d="scan'208,217";a="336057997" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jul 2018 20:28:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6EE2D824BA; Thu, 5 Jul 2018 20:28:55 +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 DC84582486 for ; Thu, 5 Jul 2018 20:28:43 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bernhardschommer@gmail.com; spf=Pass smtp.mailfrom=bernhardschommer@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f44.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AW+l6JRRPuZ808yzQqsTYGeuZA9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZB2N2/xhgRfzUJnB7Loc0qyK6/6mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbJ/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6YL+Bxcr/HcN4AWWZMUMZcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5FoobjvVsOqxu+ChO2BOzy1zRGm2P53a090+QkFAHJwhYgFM8JvX?= =?us-ascii?q?vPstr1LqESUeCvw6nS0DrDdO9Z2Tf66IjNdxAuv+uMUKl/ccrU00YvFgfFgk+M?= =?us-ascii?q?poziOjOYz+IAuHWV4epnUOKgkW8nqwdprziuwMcslpfGhoYPxl/Z6yp0xps+K9?= =?us-ascii?q?6gSENjf9KoDJ9duzuZOoZ2WM8uXX9ktDsgxrAJtpO3ZDYGxIklyhLFdfCKfIeF?= =?us-ascii?q?7gj+WOuSIDp0nm9pdbC/ihu07EOu0PfzVtOu31ZPtidFksfDtnQK1xHL78iIUP?= =?us-ascii?q?p9/kO41TeBzQDf9/hIIU47mKfUMZIhzbkwlp0csUTHACD6gln5jKiTdkk8++io?= =?us-ascii?q?7froYqn+q5OCK4N5jhvyP6cul8ClH+g0LBUCU3KU9OmzzLHj+Ff2QLROjv04iK?= =?us-ascii?q?nZt5XaKNwAqaGnGQ9V1IYj5AylDzi7y9QXgXkHLFVAeBKCkYfpIUrDIP/9Dfil?= =?us-ascii?q?glSslC1nyOzBPr3kGpnNNGTMkK/9fbZh7E5R0BY8wspa55JQE70BJPPzWlTttN?= =?us-ascii?q?HDFR84Mwm0w/79B9ln14MeX3iPAq6DP6/Iv1+I/LFnH+7Zb4YQvHP5KuM5z//o?= =?us-ascii?q?l34w31EHLoez2p5CQn2iGPRvOUnRWnHshdIEHH1C6gAzVurqgUeOSjVTYHO3Ur?= =?us-ascii?q?gU6TQyCYbgBoDGENP+yIed1Tu2S8UFLltNDUqBRC+xJte0HswUYSfXGfdP1zkN?= =?us-ascii?q?VLyvUYgkjEj8uwrzyr4hJe3RqHRB6cDTkeNt7uiWrikcsCRuBp3EgW6IRmBw2G?= =?us-ascii?q?gPQm1uhf0tkQlG0l6GlJNArblYGNhUva4bVw47MdvD1bU/BYyuHA3GediNRRCt?= =?us-ascii?q?RdD0WTw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D0BQDbYj5bfSzdVdFcHgEGDIJTAYFXA?= =?us-ascii?q?wyBGIdnkEyCB4klhn2FDhSBZgsbhFECgi0ZBwEEMhYBAgEBAgEBAQEBEwEBCRY?= =?us-ascii?q?ITAxCDgGBZCKCYAMDLRMBCBMYBgMMBgULOyMRAQUBHBMIAQGDHAGBZgEDFQSdd?= =?us-ascii?q?jyNCAUBFx+CUwWDUgoZJg1XV4EyAgYJAQiIW4FWP4E2gjouhEKBBYUJApFnh1s?= =?us-ascii?q?KCY8aBogDCgWFRYw3hSsCBAIEBQIFDyGBJwSBf00jUDGCOAmCD4NoM4ohbYYri?= =?us-ascii?q?SwBAQ?= X-IPAS-Result: =?us-ascii?q?A0D0BQDbYj5bfSzdVdFcHgEGDIJTAYFXAwyBGIdnkEyCB4k?= =?us-ascii?q?lhn2FDhSBZgsbhFECgi0ZBwEEMhYBAgEBAgEBAQEBEwEBCRYITAxCDgGBZCKCY?= =?us-ascii?q?AMDLRMBCBMYBgMMBgULOyMRAQUBHBMIAQGDHAGBZgEDFQSddjyNCAUBFx+CUwW?= =?us-ascii?q?DUgoZJg1XV4EyAgYJAQiIW4FWP4E2gjouhEKBBYUJApFnh1sKCY8aBogDCgWFR?= =?us-ascii?q?Yw3hSsCBAIEBQIFDyGBJwSBf00jUDGCOAmCD4NoM4ohbYYriSwBAQ?= X-IronPort-AV: E=Sophos;i="5.51,313,1526335200"; d="scan'208,217";a="272058188" Received: from mail-wr1-f44.google.com ([209.85.221.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Jul 2018 20:28:22 +0200 Received: by mail-wr1-f44.google.com with SMTP id k7-v6so1804055wrq.0 for ; Thu, 05 Jul 2018 11:28:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:openpgp:autocrypt:message-id:date :user-agent:mime-version:in-reply-to:content-language; bh=/rVkadBzCJ32ZFuMwPE40/Szd9jbkEbBWFNm+oUXXyU=; b=s6+rw2q+oV+oF/4qjRvickuKqEeU26cLdEEPEahvCmQC5RHjrI5j4qyNnHc7LcreXn 7VcS+J9FQ7KkSyVIbDUxHBkZuKRDZheW6b09+MCCxVjnKdnwX3bPPJfwA4wmnYWOyF/4 aeoisNSIFlSPwn36dUn9Fps+5kW9ExZbJ77cMJc2abmntPuYPe4tV9Kwpdusuh5Vh96O NknFBTDyl75Z3g6mcfk/napDB2LfCBL3+rmzqjyxvA46fHnLKaZGAKHPRxcF65sCNNli 9DG0e/ZgNDZrjjuW7cAsn/31KZ5uofWU0YvsyBmEcySPESzB+VwcXFmuSuMySDAcQBTM cNgg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:openpgp:autocrypt :message-id:date:user-agent:mime-version:in-reply-to :content-language; bh=/rVkadBzCJ32ZFuMwPE40/Szd9jbkEbBWFNm+oUXXyU=; b=CzzG9Qxbeku1cSLOprEiBT7hYpdQWd81siZHBnkerQgjwJyYblcSxpE9QcciugZLoM koxJjbFlGyuyn+Ef4pSdJ19UngulfCK68REsz5lArIEvdZrpwNdrxGXMCdWCtYSSWEWf bL9FysQNQB+2FFdyM70/aFdoUkUTRzyXZUeGry687TDHieeaUtqj30/2QN3uFEd8MrLx vHdRISSo13ntsuAWcR2p4do7gcBXoEI0FtQ+f2YaT1DKWKpFay4Xiw5xeMme+Xlfrgbf D5AfvAHZeRRUpRFdJxYINxHywsYyoUH/O/MIVFxcTljHGaGcPlUqQXLNS62tU4lNsBnQ lYYg== X-Gm-Message-State: APt69E04Q19KLS0matN/OqB5QSvd4XcYL6nvWxKINyDXhYPlBGEtF2z5 I84uKvnpmOivXV8GvNPhiiO9HQ== X-Google-Smtp-Source: AAOMgpet4xAr1UDEzWPafxZg7VjLZw2k/GS0imbrXdFvSetoQUehE3PECQpjlhjWKMgoCBfzveNjUg== X-Received: by 2002:adf:e190:: with SMTP id k16-v6mr5516897wri.36.1530815302056; Thu, 05 Jul 2018 11:28:22 -0700 (PDT) Received: from [192.168.178.20] (pD9F4BAAF.dip0.t-ipconnect.de. [217.244.186.175]) by smtp.googlemail.com with ESMTPSA id 185-v6sm13321074wmw.23.2018.07.05.11.28.21 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 05 Jul 2018 11:28:21 -0700 (PDT) To: caml-list@inria.fr 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> From: Bernhard Schommer Openpgp: preference=signencrypt Autocrypt: addr=bernhardschommer@gmail.com; prefer-encrypt=mutual; keydata= xsFNBFeHV9EBEACpHLm9X4T5QzIPUG6Tdq4LLieH0hgyih99hE0+2lXEMn+85EnNFffKX83Z fEkSkZPOScJ5km8T9bsP4w9s3htMeYUYXa+MS69erh02a1uN358GOtulUkhq+zqKIke1rfRK QZ0+HuIfYgPGicBVYyQUPYzuFsPchmp/jn4Bqzq+nNnQX437VSs20Gk/hNJhwJa+WSTtlJGt R1njmIGVgYUNBSlXBhiFiYrAAuVafeW9HGDiC9P7m1I9mViAJPIAGYAtGjpyfNrIZk4WtYd7 u2BEkJLYK++/aHLtKrcQq77JtLMJ8s8aBLhOhDghNvzgCI6C0+f0y+VUW+zCmaV3L9ArvhBy a3/IL4iMk5mJQA3puR26+0HpyKFT385MFUORRY/fRZYY19NvmbP3OmAgNfYmuO/z/qoDC4cV BhpEILamqCrJd1OIEtiamH+BgzW9EMGOCnloYUVUoAUO4Qm74k+BHk3xKJ1K6KBThRolilsx dFjRk/P0gJV/JMnHWLSSbbDLOmOSubkBJUT8mW+RT/dJY4EkBdEVyacEiofO2kMa00t3oAVB Tl0GfGGdVAmiz//Q7lAhD9R/o4HMmFuApUISJMIerNG4NBWaNCM9XWloCWj46VWVEYZWRgzt QDiWLqdqkuQlpvfBPX7XNtNsxHGK9uTi3d5ONNEWxZE1FkoA0wARAQABzSxCZXJuaGFyZCBT Y2hvbW1lciA8YmVybmhhcmRzY2hvbW1lckBhb2wuY29tPsLBfwQTAQIAKQUCV4d1kwIbAwUJ EswDAAcLCQgHAwIBBhUIAgkKCwQWAgMBAh4BAheAAAoJEHkkpum0q09zRygQAJwnQDCEbTes vXeSd4HXub1egM+Df9oaORf9Oyo/aF4oCBsAEryUq535R9sYh1S9aZ0WoOYA5qh1IPKPgA/F IdznPH0jZeIi14ZeIpjIAZGq1xyon8NvL8oxoTCgIg+yQ2WUaYjhqjHnCdFd525ZYJjzNSN3 hz22hK9dA+gEHnmt6JtThBmHyeJhq2wbX+e3NyJAmHQ7Q9t9RgWv3/Dx2ZpCptMfGoNrOeXb ouCDGBRm0OjcdG8Q6f9d4HF7avuUCU2Nhz+AA6D53vZBs/ZUSvpc0xL/64dFTVRwCdCNMAfl n0+78vVvWO/ZX8PyA3qj1t0eOggVl/ixK16WagOEou2OkigGt5I2Yh81L6vIkTo2CpOuKjD7 xM/kqbxMBACfTLqVTphRuUXa2UD1JBwwOz7plvnof18/Tlrc5a59bqKoNdfuyCQuQ92GKxUj st/aTrziKmcYfGrXRrMcw7HGxxxY8Nfj0MnrrbeEA2ZXzBwWv710vEHUqMjK1U9+YoP2Jk3q lUo5zQv6xequIQ+OAWwtY6d1adknVin9gmcTzfYBWHckY2v/SJHG+dgrSbZr7mcXa/uhiXLY PUQVwCZmW+BgwBLTjLtQafDVAYStIsd1j1GSomdd1laI68O/Ng4fEk8hdFCOVR4pVKAhTC0a KH2abPSQWbuCfVH+o4cGGQwYzsFNBFeHV9EBEAC+Pf3/KH2Vr1rY9EZ05TISkkx4dCDw4emM 0F3c3Sgh7g1CdCB2qhiGEso4LdyIBz0IOf3zeAJAIfGl5LwTKl1iKSQRhaANw+52dPKNhL4/ sDpdipJLj0+9zhWd78aAEgDMbCReIR9VPRIv2pyCS2s9tI3/hPEuqsYpwGHkcdSRgso2X3Fq SCC+u43KQwVu1ZKwBi5CWRf+CNYTl5DQ9ulE/Crh0DqWxuA5QlYHuLAjtjvx4WDK2cm9mCIq u3p97eaC7aG9HuYC++XZLOxH/jFnlta97890ceB2tnEj+Bj8g9jjY1YbaZqB/JStOBUf6bpI HtWO7vdzI6iwKRBUG/hJYwKpGMCsQ/hpUFbnygEaTUSgEUB5ob+a2BLn2leuqbvd/pM3sjjw UPwBNEH9FMCFxiDoEKXGnvwYbvdfowAb5vu5eFvQjizkfPr5RDeKNqKoNSA4/FgaNXnwam38 lts1sayNruORPy68mxf10r8wieWeyXjiQEtF4+bdZ4WDHcgnhK3LgwGTtjeceUszxe8Vgl8d nSkbRppJ+KC3240Z8FtFtn2d/VTeKhzT4c1xObrag3HH63KLSS1qNTEQgLj56+wdnZbZE7is rSaMea1NTl6pJdvo2s/KxZ5fuBG8hwhgrCEoGeJQAWUDsq+8rllVyZo42OGHKX1GgYPEfim2 gwARAQABwsFlBBgBAgAPBQJXh1fRAhsMBQkSzAMAAAoJEHkkpum0q09zqewP/jabhgndtvOA 98xCJ/n+GmFjFOOxpS6NUBPPSKe7NtPvJl0QbPrdamxP1/37dCZ0RiWHY+ZHUJUHdcuTyih2 teJiT5ycTfU7BSQ0FLbuRkgnefrH6v4jhTU2am1+Cw86o0o+KW8UyWsEUtpM+0uroeEC/UI2 6I/IUbRezoFAIrT2/K1nUPWLSdThcHnmWNXjfx4bU2dqZSRluIwejeImMp7TUGe0bxhE1SZC ghA5tg3Xefy25AaS3rWbp00AwlwbGBu5pg/MpEAHxrp6qICodNVGaouCdKU0pa9L05yyr/0N 92LPjUYdDn5zFrWwI9aJCAM+NHWAcWlEtf8zkNfM05dX/m8k6oDEMCxJCtT7XfUqbWt8Tgj8 y0hxHKDgmsGEvtt9iN/I+ys2bbQC70g2OOKhJr/8Q9MXT4p8T8BMQaS65I4ppOnPoJQLl5uQ U5s04jeJddPkIV7CiMbD4ZQgnH30jFrN/tlemeM86UzW76L29l92AN8JDJq85xzTaILapUt6 fHxrnnZs/CEhvL7FN5hIWeR2/lcMwNOLycNyhq+3oVvnJtk0ZXxVUCoZAUskJ2mCHMEpss/L bj/sUNfG2pFerQZgJkOOuAuBI6wN0dGTP3O+KcrJCQXXwVpK12S1SgaaTVtE6VUlHDJO+cDR /DIFfDPht4WfeE0lehXBMAZb Message-ID: <1f557a70-e89e-199c-bd90-c82bd5fbc515@gmail.com> Date: Thu, 5 Jul 2018 20:28:18 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A177880AE05@IRSMSX102.ger.corp.intel.com> Content-Type: multipart/alternative; boundary="------------0009C9DE005D7E564D0B4321" Content-Language: en_US Subject: Re: [Caml-list] Mapping between ocamlbuild and ocamlc versions Reply-To: Bernhard Schommer X-Loop: caml-list@inria.fr X-Sequence: 16973 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: This is a multi-part message in MIME format. --------------0009C9DE005D7E564D0B4321 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit You can actually compile menhir without ocamlbuild, the actuall compile of the first stage menhir is not that complicated and if you want I can send you a makefile + some instructions to perform the build. Best regards, -Bernhard Am 05.07.2018 um 10:04 schrieb Soegtrop, Michael: > > 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. > >   > > 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 > -- 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 --------------0009C9DE005D7E564D0B4321 Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: 8bit
You can actually compile menhir without ocamlbuild, the actuall compile of the first stage menhir is not that complicated and if you want I can send you a makefile + some instructions to perform the build.

Best regards,
-Bernhard

Am 05.07.2018 um 10:04 schrieb Soegtrop, Michael:

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.

 

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


--------------0009C9DE005D7E564D0B4321--