From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p827p51x015052 for ; Fri, 2 Sep 2011 09:51:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAJOKYE5QRFuw/2dsb2JhbABCqFl4gUYBAQUnCwFGEAsYHBIUKCGIB7dYhgVgBKQ5 X-IronPort-AV: E=Sophos;i="4.68,317,1312149600"; d="scan'208";a="118089519" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 02 Sep 2011 09:51:01 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1QzOWi-0003AB-AQ; Fri, 02 Sep 2011 08:51:00 +0100 Date: Fri, 2 Sep 2011 08:51:00 +0100 From: "Richard W.M. Jones" To: Daniel =?iso-8859-1?Q?B=FCnzli?= Cc: caml-list@inria.fr Message-ID: <20110902075100.GA4949@annexia.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Cross-platform cpu count On Fri, Sep 02, 2011 at 02:04:51AM +0200, Daniel Bünzli wrote: > Hello, > > Can anybody confirm me that the following code works on cygwin : > > let cpu_count () = > try match Sys.os_type with > | "Win32" -> int_of_string (Sys.getenv "NUMBER_OF_PROCESSORS") > | _ -> > let i = Unix.open_process_in "getconf _NPROCESSORS_ONLN" in Don't know about Cygwin, but it won't work on MinGW. Rich. -- Richard Jones Red Hat