From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 5F625BC57
	for <caml-list@yquem.inria.fr>; Thu,  8 Jul 2010 12:23:16 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvsEAGtDNUxQRFuw/2dsb2JhbACgJnG/NoUlBA
X-IronPort-AV: E=Sophos;i="4.53,557,1272837600"; 
   d="scan'208";a="54697171"
Received: from furbychan.cocan.org ([80.68.91.176])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 08 Jul 2010 12:23:16 +0200
Received: from rich by furbychan.cocan.org with local (Exim 4.63)
	(envelope-from <rich@annexia.org>)
	id 1OWoGA-0006zh-OC; Thu, 08 Jul 2010 11:23:14 +0100
Date: Thu, 8 Jul 2010 11:23:14 +0100
To: Daniel =?iso-8859-1?Q?B=FCnzli?= <daniel.buenzli@erratique.ch>
Cc: caml-list List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Distinguish between osx and linux programmatically
Message-ID: <20100708102314.GA16057@annexia.org>
References: <AANLkTilhhgpwX6djaxlfccZzSMxY9MP0NU1D2j5EmOgp@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <AANLkTilhhgpwX6djaxlfccZzSMxY9MP0NU1D2j5EmOgp@mail.gmail.com>
User-Agent: Mutt/1.5.13 (2006-08-11)
From: Richard Jones <rich@annexia.org>
X-Spam: no; 0.00; 0200,:01 bunzli:01 uname:01 uname:01 distros:01 wrote:01 unix:01 unix:01 caml-list:01 external:03 external:03 sys:03 sys:03 library:03 daniel:04 

On Thu, Jul 08, 2010 at 12:02:48PM +0200, Daniel Bünzli wrote:
> Is there something in the standard library that allows me to
> distinguish between oxs and linux (Sys.os_type just returns "Unix" for
> both).

How about running the external "uname" program.  On Mac OS X
it prints:

$ uname 
Darwin

On all Linux distros it prints:

$ uname
Linux

Of course, only run external "uname" if Sys.os_type = "Unix".

Rich.

-- 
Richard Jones
Red Hat