From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p820lBKk028337 for ; Fri, 2 Sep 2011 02:47:12 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai8BAAAmYE7RVaG2kGdsb2JhbABChE2jfggUAQEBAQkJDQcUBCGBPAQBAQEBAxICDx0BOAEDDAEFBQsPAiYCAiISAQUBHAYbGodKnGsKi3yDFoU+iSgCAwaBJoQigREEkyeMZTyBR4Im X-IronPort-AV: E=Sophos;i="4.68,316,1312149600"; d="scan'208";a="107437606" Received: from mail-gx0-f182.google.com ([209.85.161.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Sep 2011 02:47:06 +0200 Received: by gxk28 with SMTP id 28so2549684gxk.27 for ; Thu, 01 Sep 2011 17:47:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=H36aenXHpLGceOEANw9xwaQhoe85Q9dLL1o77sGreKU=; b=KS2j+U1J8D113aSzkzaqN0kiZoEIKVGVKe6AILJFtYFSNIWHN0wHNk9eY2Yiibxt1A kJLmyW/D/MpAigjvhmOxjwnF4v3w0YCX1ybWWZzLicShdbbkd0/zXDio1K5WiODEs0ff u7u6eoAeiZS+yyQRTfOOK9ObHRVOFe7QR2yiU= MIME-Version: 1.0 Received: by 10.236.72.197 with SMTP id t45mr2758985yhd.34.1314924425021; Thu, 01 Sep 2011 17:47:05 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.147.32.14 with HTTP; Thu, 1 Sep 2011 17:47:04 -0700 (PDT) In-Reply-To: References: Date: Fri, 2 Sep 2011 02:47:04 +0200 X-Google-Sender-Auth: I6wivqJ9I4X8vqNIXss-RTKDeT8 Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: malc Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Cross-platform cpu count Thanks, but I'd like to avoid binding to C at the moment. Daniel