From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 C01707FEE5 for ; Wed, 19 Apr 2017 08:31:57 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=adrien@notk.org; spf=Pass smtp.mailfrom=adrien@notk.org; spf=None smtp.helo=postmaster@nautica.notk.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of adrien@notk.org) identity=pra; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of adrien@notk.org designates 91.121.71.147 as permitted sender) identity=mailfrom; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nautica.notk.org) identity=helo; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="postmaster@nautica.notk.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A19Kj1B3E7iFXzQ5psmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sewRKfad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmhi?= =?us-ascii?q?cJOSAk/m/UhMx/g75Urw+jqBNx2IPUfJ2ZOeBicq/BZ94XR2xMVdtRWSxbBYO8?= =?us-ascii?q?apMCAvYcMuZCronyuV0OpgamCwa2Gezg1CVIjWLx0KIgzushCwDG0xImH98Vtn?= =?us-ascii?q?TUq8n1NKQIXeCy1qnIwizOYvVL0jn+8IjFahQsreyWUb5tb8bd1FMjGgHYglmK?= =?us-ascii?q?tIDoMDGY2+IQuGaB9eVgT/igi2s/pgFxvDevwsAsh5HPho0P11DE6SR5z5ovKt?= =?us-ascii?q?GiTk57ZsKkEJhKuyGdLYt2TdsuQ2BuuCkk1r0LoZq2cDUQxJg62RLTduaLfoqV?= =?us-ascii?q?7h75SeqcLjV1iGpgeL2lhhay9Uagyvf7VsmxyFtFtDdKksPNtn8T0Rze8c6HSv?= =?us-ascii?q?xh/keiwzqP0BrT6u5cLUAuiaXbM4IhwqI3lpcLrUvMBCr2mEHvgK+Sd0Uk4fSo?= =?us-ascii?q?5v/8YrTmo5+cL5V7hhv/MqQogMy/AP43PhIAX2iBqqyA0+j79FD9BrFDhf0/jo?= =?us-ascii?q?HUvI2cOMIauOu3CAhQzotl5QzsIS2h1YExkWMGIVQNXhuLgpKhb1jCOvH1C9+5?= =?us-ascii?q?hEiv1jBxyKaVbfXaHpzRIy2bw//adrFn5hsExQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0AgCPA/dY/5NHeVtcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgymBbIMZTooVkWOVYoIPhiQCg3g/GAEBAQEBAQEBAQEBaiiCMyC?= =?us-ascii?q?CQwEFI0kNEAsYAgIFEw4CAg8FGESKHat0giaLMAEBAQcCASWBC4VIhEI0hSOCO?= =?us-ascii?q?i6CMQWdLZJhDWqQYZQQHzg+RyYdCCUIRIZnPjUBiRQBAQE?= X-IPAS-Result: =?us-ascii?q?A0A0AgCPA/dY/5NHeVtcHAEBBAEBCgEBFwEBBAEBCgEBgym?= =?us-ascii?q?BbIMZTooVkWOVYoIPhiQCg3g/GAEBAQEBAQEBAQEBaiiCMyCCQwEFI0kNEAsYA?= =?us-ascii?q?gIFEw4CAg8FGESKHat0giaLMAEBAQcCASWBC4VIhEI0hSOCOi6CMQWdLZJhDWq?= =?us-ascii?q?QYZQQHzg+RyYdCCUIRIZnPjUBiRQBAQE?= X-IronPort-AV: E=Sophos;i="5.37,220,1488841200"; d="scan'208";a="220793344" Received: from nautica.notk.org ([91.121.71.147]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Apr 2017 08:31:56 +0200 Received: by nautica.notk.org (Postfix, from userid 1003) id E0CD3C01B; Wed, 19 Apr 2017 08:31:55 +0200 (CEST) Date: Wed, 19 Apr 2017 08:31:55 +0200 From: Adrien Nader To: paul.lachat@edu.univ-fcomte.fr Cc: caml-list@inria.fr Message-ID: <20170419063155.GA21673@notk.org> References: <36405058.13728179.1492500074563.JavaMail.zimbra@edu.univ-fcomte.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <36405058.13728179.1492500074563.JavaMail.zimbra@edu.univ-fcomte.fr> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] [Question] Compile a custom toplevel on Windows Hi, On Tue, Apr 18, 2017, paul.lachat@edu.univ-fcomte.fr wrote: > I want to compile the toplevel to have a .exe, so I could avoid using Cygwin to launch the application. "Using Cygwin" can be quite broad, does it mean that you want to avoid the whole cygwin setup (through its setup.exe and everything) or also avoid the cygwin1.dll dependency? Usually, distributing an application built with Cygwin doesn't require distributing more than the cygwin1.dll file. For the ocaml binaries, I think that Cygwin adds no dependency other than this file. If it were already merely cygwin1.dll that you're trying to avoid, I invite you to think more about it and to compare the difficulties of doing this build with the gains of avoiding it. It's a single file, apparently only the ocaml compiler/toplevel will be linked against it, and chances are that you already have an infrastructure able to provide several files (e.g. all the .cm* files). In both cases however, the filesystem interactions will reflect the Cygwin lineage but if you are not doing such operations, the negative impact of Cygwin should be minimal. -- Adrien Nader