From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.c.buenzli@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 6C5F8BC57
	for <caml-list@yquem.inria.fr>; Thu,  8 Jul 2010 13:09:42 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AooCAKtONUzRVaE0mGdsb2JhbACDHZ0CCBUBAQEBAQgJDAcRIq1dgkeGAokBAQEDBYEkgwpyBIg/hy8
X-IronPort-AV: E=Sophos;i="4.53,557,1272837600"; 
   d="scan'208";a="53811910"
Received: from mail-fx0-f52.google.com ([209.85.161.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Jul 2010 13:09:42 +0200
Received: by fxm8 with SMTP id 8so364595fxm.39
        for <caml-list@yquem.inria.fr>; Thu, 08 Jul 2010 04:09:41 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:sender:received
         :in-reply-to:references:date:x-google-sender-auth:message-id:subject
         :from:to:content-type;
        bh=sGyI80sipbFgAIljA81d843aE6kS+fDqwj+RAmpkjJ0=;
        b=ZEcAnNexMq8kU/oebCjMdTR4k2cL6VfSUoXSx2euSdnC8VgMBaIR123Fl7AnEuN75C
         X4xkr2Re+QlEc5ixBLqsyxnvGXZWQpuomQKe0BiuEWrZViuDWJDCcXHNggZPzIfCN0nH
         PA/TLytztexyC5eqccm6naBNSc/1/0SmojsEw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:content-type;
        b=iX47+EsezIrJYvczbP5JotUw5OopnU0pZLheTEIkWHy24ifXvFBiahaLfjNyMnzdRe
         o1HVEQkzgsXuHbV+EbCJvXjNVtBt7zCv8/qXoQtIGfjIoZPJTGsnyzQEL6qOtiibqOL4
         vF3IDOcDAkAhnZuqeP7kMddBkGjdSHZ3POPzc=
MIME-Version: 1.0
Received: by 10.86.86.6 with SMTP id j6mr249907fgb.35.1278587381236; Thu, 08 
	Jul 2010 04:09:41 -0700 (PDT)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.223.109.198 with HTTP; Thu, 8 Jul 2010 04:09:41 -0700 (PDT)
In-Reply-To: <20100708104517.GA848@Stubb-2.local>
References: <AANLkTilhhgpwX6djaxlfccZzSMxY9MP0NU1D2j5EmOgp@mail.gmail.com>
	<20100708102314.GA16057@annexia.org>
	<20100708104517.GA848@Stubb-2.local>
Date: Thu, 8 Jul 2010 13:09:41 +0200
X-Google-Sender-Auth: VBweJKrN6s4OvN9pS3QFP63S0vQ
Message-ID: <AANLkTikdfDvzDuUXacj-usqI8C_7eyo3MzG0q4KrIzAB@mail.gmail.com>
Subject: Re: [Caml-list] Distinguish between osx and linux programmatically
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: caml-list List <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; buenzli:01 uname:01 uname:01 runtime:01 ocaml:01 mailinglist:98 hacks:01 wrote:01 wrote:01 compile:01 caml-list:01 external:03 sys:03 alex:03 alex:03 

On Thu, Jul 8, 2010 at 12:23 PM, Richard Jones <rich@annexia.org> wrote:

> How about running the external "uname" program.

Yes, why not. I was hoping that I wouldn't have to resort to that kind
of hacks, that I was missing a function using uname(3) directly.

On Thu, Jul 8, 2010 at 12:48 PM, Alex <alex.mailinglist@gmx.net> wrote:

> please note, that it's not the runtime configuration
> but the system configuration at compile time of your
> ocaml distribution.

Yes, in fact so is Sys.os_type

Thanks for your answers,

Daniel