From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id DF7317ED28 for ; Fri, 15 Jun 2012 12:51:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkDAIAT20+DnwAkgWdsb2JhbABFhVeHYagQIgEBFiYnghgBAQUjDwEFUQQHGAICJgICVwYbiAMLpwaTI4EgjQyCCYESA5Y2kU0 X-IronPort-AV: E=Sophos;i="4.75,776,1330902000"; d="scan'208";a="163042053" Received: from mail-out2.informatik.tu-muenchen.de ([131.159.0.36]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 15 Jun 2012 12:51:28 +0200 Received: from webmail.in.tum.de (localhost [127.0.0.1]) by vmwebmail1.informatik.tu-muenchen.de (Postfix) with ESMTP id F2E5D2402EA for ; Fri, 15 Jun 2012 12:51:27 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Fri, 15 Jun 2012 12:51:27 +0200 From: =?UTF-8?Q?Markus_Wei=C3=9Fmann?= To: In-Reply-To: <4FDA9934.2050103@riken.jp> References: <4FDA9934.2050103@riken.jp> Message-ID: <15c578044c2d915617eaf627356ff936@in.tum.de> X-Sender: markus.weissmann@in.tum.de User-Agent: Roundcube Webmail/0.7.2 Subject: Re: [Caml-list] No interface to the C sysconf function in the Sys or Unix module? Afaik this is on the todo list of ocaml-extunix [1]. best regards -Markus [1] http://forge.ocamlcore.org/projects/extunix/ On 2012-06-15 04:08, Francois Berenger wrote: > Hello, > > Wouldn't it be possible to have one? > > Best regards, > Francois. -- Markus Weißmann, M.Sc. Technische Universität München Institut für Informatik Boltzmannstr. 3 D-85748 Garching Germany http://wwwknoll.in.tum.de/