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 F29507F8FC for ; Mon, 9 Jun 2014 11:13:48 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of virgile.prevosto@gmail.com) identity=pra; client-ip=209.85.160.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of virgile.prevosto@gmail.com designates 209.85.160.176 as permitted sender) identity=mailfrom; client-ip=209.85.160.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@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-yk0-f176.google.com) identity=helo; client-ip=209.85.160.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="postmaster@mail-yk0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsBAGt6lVPRVaCwlGdsb2JhbABZg19WA4JswlsIFg8BAQEBBwsLCRIqhAQBAQQSER0BOQMMAQUFCw8CJgICIQESAQUBHAYTIogMAxGeYmqLJ4UBk0AnDYYIEQEFDIEeiyCBOoNkgUwEmCeBeoFCjAqECBgpgWmDBTsv X-IPAS-Result: AqsBAGt6lVPRVaCwlGdsb2JhbABZg19WA4JswlsIFg8BAQEBBwsLCRIqhAQBAQQSER0BOQMMAQUFCw8CJgICIQESAQUBHAYTIogMAxGeYmqLJ4UBk0AnDYYIEQEFDIEeiyCBOoNkgUwEmCeBeoFCjAqECBgpgWmDBTsv X-IronPort-AV: E=Sophos;i="4.98,1001,1392159600"; d="scan'208";a="66332542" Received: from mail-yk0-f176.google.com ([209.85.160.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Jun 2014 11:13:48 +0200 Received: by mail-yk0-f176.google.com with SMTP id 131so712216ykp.7 for ; Mon, 09 Jun 2014 02:13:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:content-type; bh=AYXO36EdMhQ8bbT+kkIGDf7a0RcGaUbJ+P+CSzv5PEQ=; b=s7SFfjl1CqaijaTJdIetCGpN9OjHQT5lD34eaf6xKbZgcFytDoc1/axt78VpLj1ajP b4TKKoN1oPSjVPZAAv+TgtYlCnnzgkwapaYHaDKUI8cvTKStRBZsIC3xpcoDrDJwVXic vR33ox3Gz6MbdvzAh4kKy0C8G8K+BECif/48yOoVswlCyFmdS97DIahnSQWL9NM2J1QG 9XEL6WXdresQ6Ff0zeLehgNs6zl3rzuW54tnPn6EgjMr2PkyKbLE3GDphzmZbCR8ZyTF /Fe9zd+OtH0E9K+VRhZKO3Lx6qrbWNAht5gzJgf2sRsK/C9gf6R0dP+d8GCKU8x2oqrn 9q+A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=m4x.org; s=gapps; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:content-type; bh=AYXO36EdMhQ8bbT+kkIGDf7a0RcGaUbJ+P+CSzv5PEQ=; b=IN/gK1ODOZtuqiKZsYSbD7IpERkY82o/mE3Ta9yr++vjhvi9yGEsODVfDt+8+Vqmdp G+hgG+ktcPkhI2mPdjktL8GbAkLpF51xu5w0xDQIPUL16Vz6ZTFGSdDYnN7NCAJYZuX5 PonnFJUf5Ya9050m2Z2JZhxLwc+t71G2jirL8= MIME-Version: 1.0 X-Received: by 10.236.140.16 with SMTP id d16mr12463376yhj.55.1402305226687; Mon, 09 Jun 2014 02:13:46 -0700 (PDT) Sender: virgile.prevosto@gmail.com Received: by 10.170.225.213 with HTTP; Mon, 9 Jun 2014 02:13:46 -0700 (PDT) In-Reply-To: References: Date: Mon, 9 Jun 2014 11:13:46 +0200 X-Google-Sender-Auth: c3yrGhhyrTkHeRELFAAYrWVkuLM Message-ID: From: Virgile Prevosto To: OCAML Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Thoughts on targeting windows Hello, 2014-06-09 10:56 GMT+02:00 William : > we'd like to target windows (as well as linux & mac) and we got the > impression that this would be complicated -- we gathered that neither jane > street's Core nor OPAM are windows compatible. regarding OCaml package management under Windows, you should have a look at wodi: http://wodi.forge.ocamlcore.org/ The package page lists core_kernel, batteries and extlib, but as I use none of those I can't tell how well they work on Windows. Best regards, -- E tutto per oggi, a la prossima volta Virgile