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 C56CC5D4 for ; Thu, 5 Jul 2018 18:24:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,313,1526335200"; d="scan'208,217";a="336056267" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jul 2018 20:24:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4B6E0824BA; Thu, 5 Jul 2018 20:24:13 +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 55D1982486 for ; Thu, 5 Jul 2018 20:24:00 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zhenya1007@gmail.com; spf=Pass smtp.mailfrom=zhenya1007@gmail.com; spf=None smtp.helo=postmaster@mail-yb0-f176.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ACOtCEhYiRKmH2KjBisgTtmT/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8iybnLW6fgltlLVR4KTs6sC17KI9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa8bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJVSNBDIOy?= =?us-ascii?q?YYUMAeQcI+hXs5LwqEESoRakHwSgGP/jxz1Oi3Tr3aM6yeMhEQTe0QIvAdIOv2?= =?us-ascii?q?rbrNP1NawPTe61y7TIwi7Cb/NQxTj96JTIfQ4gofGKQLl9dsvQyUkxGAPDjlSf?= =?us-ascii?q?s5HpMy+J2ukPqGWb4O9gWviui24jsQ1+vj+vxsI1h4TPm4kbxFfE9SBjz4Y0I9?= =?us-ascii?q?21UEF7YdmjEJtfsyGVKZF6Td8lQ2FtoCo6y7sGuYKlcygO0pgo2gDQZvqaeIaL?= =?us-ascii?q?+hLuTPidLSt8iX5/e7+yhwy+/Va9xuDyTMW4zVRHoytDn9LRrH4CzQbT5dKCSv?= =?us-ascii?q?Zl/keuxzKP1wfL5+FBO080lK7bJ4chw7EripYfqErDEjL0lUj3lqOWeUIk+u+n?= =?us-ascii?q?6+TjfLrqvIOTN4hxig3mM6QunNKwAfggPwQQQ2SW/f6w2b7j8EHjXrlGk/M7nr?= =?us-ascii?q?PEvJ3YJMkXvqu5DBVU0oYn5Ra/FTCm0NEAkHgGLFJKZhSHjojzNF3TPPz0EfWy?= =?us-ascii?q?jk+jkDdu3f/GP7nhDo/RIXjElbftZax95FJEyAov0dBf4IpZBa0bL/L2Xk/9rd?= =?us-ascii?q?jYDh4iMwyo2OvnE9V81oYGWW2VGKOZMaXSsUWJ5u01OeWMapUV637BLK1v3Pnj?= =?us-ascii?q?gmMjnkdZNYyo1pseZXTyVqBjIk6ZaHfoxMwGHGgWpA0mZO3slFCGFzVUYiDhcb?= =?us-ascii?q?g742QWFo2rC5aLfIewir2H1yenE5xQLjRUCl2KAH6xL93bc/gJYSOWZMRml2pX?= =?us-ascii?q?BvCaV4Y92ET250fBwL19I7+Ro3VA7MOx5J1O/+TW0CoK23lxBsWZ3XuKSjgtzG?= =?us-ascii?q?wNTj4ymqt4pB4kkwvR4e1Dm/VdUOdrybZRSA5jbMzTyuV7D5b5XQeTJo7UGmbj?= =?us-ascii?q?ec2vBHQKdvx0w9IKZBwjSdCrjxSGziDyRrFMyOLNC5sz/abRmXP2IpQlxg=3D?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AeAQDnYT5bh7DVVdFcHAEBAQQBAQoBA?= =?us-ascii?q?YJTAYEZPg9wKIN6gR2CUIQXjDVNAQEGgTKIJn+MCxSBEANTCyOESQKCLRkHAQQ?= =?us-ascii?q?wGAECAQECAQEBAQETAQEBCA0JCCkjDII1JAGCXQECAgEjHQEIEx0BAwELBgUEB?= =?us-ascii?q?zcCAiIBEQEFARwGE4MgAYFmAQMIBQgPnWM8iwmBfwUBF4JyBYNRChkmDVdXgTI?= =?us-ascii?q?CBhKIW4EOgQeBD4JhLoMYAgIYgQ5lglSCVQKBIwEBAYwVhCyHZAEGAgGBLwSEU?= =?us-ascii?q?4kajVeKNYdFDyGBIGuBH3BQMWyBTAmCDxqDTjOKPx8wj1cBAQ?= X-IPAS-Result: =?us-ascii?q?A0AeAQDnYT5bh7DVVdFcHAEBAQQBAQoBAYJTAYEZPg9wKIN?= =?us-ascii?q?6gR2CUIQXjDVNAQEGgTKIJn+MCxSBEANTCyOESQKCLRkHAQQwGAECAQECAQEBA?= =?us-ascii?q?QETAQEBCA0JCCkjDII1JAGCXQECAgEjHQEIEx0BAwELBgUEBzcCAiIBEQEFARw?= =?us-ascii?q?GE4MgAYFmAQMIBQgPnWM8iwmBfwUBF4JyBYNRChkmDVdXgTICBhKIW4EOgQeBD?= =?us-ascii?q?4JhLoMYAgIYgQ5lglSCVQKBIwEBAYwVhCyHZAEGAgGBLwSEU4kajVeKNYdFDyG?= =?us-ascii?q?BIGuBH3BQMWyBTAmCDxqDTjOKPx8wj1cBAQ?= X-IronPort-AV: E=Sophos;i="5.51,313,1526335200"; d="scan'208,217";a="272057971" Received: from mail-yb0-f176.google.com ([209.85.213.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Jul 2018 20:23:59 +0200 Received: by mail-yb0-f176.google.com with SMTP id k127-v6so3571661ybk.6 for ; Thu, 05 Jul 2018 11:23:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=OzNAbWU8dpnLT+VAVtmvjP2eBZKJu+Cilcq0E4XVvv0=; b=ALZgeVbrpQJRAj5/9uZU8Ok8VcGETsX+4InemjNeF1CkJe0GxQUVQgroHugbnQs3VS E85ZR60A+9hyDUaH4wkto6gjaoUHRe6jn5V2qh8Lw+BT0P3UGadm9skzEUFqN70yb/Co lgh//AH8hh13BvAvKa/Lqpr6mNX19qEcrd6ob2MI/Mqro9vknSCc7BXHiKjBBlr8QuiF T+B20qOTWWTNj4QWZzopdHCsCIS17TmLwEmz0GiinmB/d2mCxQeDkOAvOZBvp57a/uQl fQwYaAkUomihlJB71pfsVmgxDZThreFAic/cxZXePIlG+azCmKYgqHTvpHrcKbnNmRyl twuw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=OzNAbWU8dpnLT+VAVtmvjP2eBZKJu+Cilcq0E4XVvv0=; b=A5kdE8VT0Fjbfwif9NSBFGY81YItN6GYt086W7N/b/8gn3/Ni7cL9Af4Vs2yIk9ykt CcxtohQhDIwSu9wlBCMKh+J6M5gdIMYrFGCwrUH4kbTjvEF1PZnBH0Bpknx1gz/mHWOE ed3TujTurRel2kDyrPnPHnlEK0lmks1jpxhB0TjoKNMZPX4rrMw3kEBwmOEsfhLD6vTF W7NIBXlScSeAqq4kJZXou8pn0daZaW5AhNsToEIp/sEYkTaa6Wb3QlqBwAXi0ujG2SvF xYcaAH/WC1EW5Yw/OoI3UsL6pHCAQ+vBzP95qTDrQiqVMpPZpwvjuO95D8EruMBIG19U YVhQ== X-Gm-Message-State: APt69E3XZ1wY3GEYnU9QmulzszFWkefM6g89H8N/nk5QZiZlJV3T4k8M WB4xtj0St4d+88TyufLSI53c9/8R8r3xGC/tIP8= X-Google-Smtp-Source: AAOMgpfZa49on2pASN0TaIc1nLpLK3kTkz3yIKEACEBx9YyMUGKML4YJVD/uuKkeUQ7Lr1+tEnduJAojxT5Ar6c0KpE= X-Received: by 2002:a25:ad48:: with SMTP id l8-v6mr3593344ybe.387.1530815037672; Thu, 05 Jul 2018 11:23:57 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a25:ab6a:0:0:0:0:0 with HTTP; Thu, 5 Jul 2018 11:23:57 -0700 (PDT) In-Reply-To: <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> <0F7D3B1B3C4B894D824F5B822E3E5A177880AE05@IRSMSX102.ger.corp.intel.com> From: Evgeny Roubinchtein Date: Thu, 5 Jul 2018 11:23:57 -0700 Message-ID: To: "Soegtrop, Michael" Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary="00000000000089924e057044a605" Subject: Re: [Caml-list] Mapping between ocamlbuild and ocamlc versions Reply-To: Evgeny Roubinchtein X-Loop: caml-list@inria.fr X-Sequence: 16972 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: --00000000000089924e057044a605 Content-Type: text/plain; charset="UTF-8" Is there a reason you don't want to use OPAM for this? Once you have OPAM set up, and an OPAM "switch" created for your compiler, adding menhir is usually as easy as `opam install menhir` :-). -- Best, Evgeny On Thu, Jul 5, 2018 at 1:04 AM, Soegtrop, Michael < michael.soegtrop@intel.com> 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. > > > > 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 --00000000000089924e057044a605 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Is there a reason you don't want to use OPAM for = this?=C2=A0 Once you have OPAM set up, and an OPAM "switch" creat= ed for your compiler, adding menhir is usually as easy as `opam install men= hir` :-).

--
Best,
Evgeny=

O= n Thu, Jul 5, 2018 at 1:04 AM, Soegtrop, Michael <michael.soegtro= p@intel.com> wrote:

Dear David,<= /u>

=C2=A0

Hope that vaguely helps!

=C2=A0

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.

=C2=A0

Best regards,

=C2=A0

Michael<= /span>

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


--00000000000089924e057044a605--