From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 01CCDBB81 for ; Fri, 22 Jul 2005 14:45:40 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6MCjdY8020140 for ; Fri, 22 Jul 2005 14:45:39 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA29950 for ; Fri, 22 Jul 2005 14:45:38 +0200 (MET DST) Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6MCjcau005264 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Fri, 22 Jul 2005 14:45:38 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1Dvwtj-0002VF-Rh for caml-list@inria.fr; Fri, 22 Jul 2005 14:45:03 +0200 Received: from sunray.offis.uni-oldenburg.de ([134.106.52.65]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 22 Jul 2005 14:45:03 +0200 Received: from bernd.kuhls by sunray.offis.uni-oldenburg.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 22 Jul 2005 14:45:03 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Bernd Kuhls Subject: Re: How to find out free diskspace? Date: Fri, 22 Jul 2005 14:46:23 +0200 Message-ID: References: <20050701181950.GA2557@furbychan.cocan.org> <200507210918.24720.Stephane.Glondu@crans.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: sunray.offis.uni-oldenburg.de User-Agent: Mozilla Thunderbird 1.0.6 (X11/20050721) X-Accept-Language: en-us, en In-Reply-To: <200507210918.24720.Stephane.Glondu@crans.org> Sender: news X-Miltered: at concorde with ID 42E0EA73.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42E0EA72.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; bernd:01 bernd:01 runtime:01 wrote:01 wrote:01 exception:01 compile:01 raise:03 informatik:04 stephane:07 2005:89 question:11 but:12 should:13 lacking:13 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Stephane Glondu wrote: > On Thursday 21 July 2005 08:52, Bernd Kuhls wrote: > >>The code for "ifndef HAVE_STATS" is still lacking, how should it look >>like? > > > I would say raise an exception. Hi, this would be necessary for runtime, but my question was about what to code for compile time when the headers files necessary can't be found? Greetings, Bernd