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 E9B07820A1 for ; Mon, 19 Aug 2013 14:34:30 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jonathan.protzenko@gmail.com) identity=pra; client-ip=74.125.83.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jonathan.protzenko@gmail.com designates 74.125.83.46 as permitted sender) identity=mailfrom; client-ip=74.125.83.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; 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@mail-ee0-f46.google.com) identity=helo; client-ip=74.125.83.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="postmaster@mail-ee0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjsCAN0PElJKfVMulGdsb2JhbABbgmaDeke8FoEhFg4BAQEBBw0JCRQEJIIkAQEEASMdARsdAQMBCwYFCw8CBSECAg8CEhEBBQEcBg0BBwEBh3kBAwkGAZhLi39RgwKDfAoZJw1kh3QBBQyBHY83B4JogSoDl2SPcD+ERA X-IPAS-Result: AjsCAN0PElJKfVMulGdsb2JhbABbgmaDeke8FoEhFg4BAQEBBw0JCRQEJIIkAQEEASMdARsdAQMBCwYFCw8CBSECAg8CEhEBBQEcBg0BBwEBh3kBAwkGAZhLi39RgwKDfAoZJw1kh3QBBQyBHY83B4JogSoDl2SPcD+ERA X-IronPort-AV: E=Sophos;i="4.89,913,1367964000"; d="scan'208";a="24239169" Received: from mail-ee0-f46.google.com ([74.125.83.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Aug 2013 14:34:30 +0200 Received: by mail-ee0-f46.google.com with SMTP id c13so2134080eek.33 for ; Mon, 19 Aug 2013 05:34:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=ZOtYMUew95Zkt7nAJQQ+qnr/LVEU6/nw/QgfxLsb8oo=; b=PwAZLcdBMrshxOGQ/hSECHLrnWD2jUzJedT2tO6EuS1xzwi4ArNMfIktAh4mdthFYM c3SWbCleKT/nudCM725RWMFaZlXgnopnKtJ+b/9ZvoXV/5S4Qjt0HRSZx6RLxe3NYXpE EVUOr8+/0GrJTJXbW2oQB/uvNmmN9GE1jnKxAOWxlI9TirvaaThNvBVLVkpp8fl6KlHA dA5ryPlvpv6tW8Sx0HIrO+hTYiw0QkiIJpMInR6A0+8REgEz2JMiSG8fOx9bDd1aWq1s HVTeOm/6e43tntNYo2Lo48Ce1ZzovN6+2ZqZyslIxIK5Pl/VHgCOWS4R5+taO78ywLbQ wrFg== X-Received: by 10.14.200.130 with SMTP id z2mr3342703een.14.1376915669861; Mon, 19 Aug 2013 05:34:29 -0700 (PDT) Received: from ?IPv6:2001:660:3013:3:f6ce:46ff:fe2d:a9ae? ([2001:660:3013:3:f6ce:46ff:fe2d:a9ae]) by mx.google.com with ESMTPSA id r48sm17137706eev.14.1969.12.31.16.00.00 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 19 Aug 2013 05:34:29 -0700 (PDT) Message-ID: <521210D3.60302@gmail.com> Date: Mon, 19 Aug 2013 14:34:27 +0200 From: Jonathan Protzenko User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:26.0) Gecko/20100101 Thunderbird/26.0a1 MIME-Version: 1.0 To: Florent Monnier CC: caml-list@inria.fr, wizbyron@yahoo.com References: In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Need help installing OCaml-Cygwin packages! > But I haven't understood why Protz' OCaml uses '\', since when I'm > inside cmd.exe, the windows terminal, using '/' works just fine, but > using '\' inside Cygwin's terminal just clashes... If you have specific instances of a "\" that would be better turned into a "/", I can take a look. I think I just did whatever seemed easiest at the time. I'm using the stock OCaml sources, meaning I didn't change anything in OCaml's Makefile, so some "\" might originate from there. Cheers, jonathan