From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 32E9ABC69 for ; Sun, 29 Apr 2007 22:01:04 +0200 (CEST) Received: from mail12.bluewin.ch (mail12.bluewin.ch [195.186.19.61]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3TK11YN017741 for ; Sun, 29 Apr 2007 22:01:04 +0200 Received: from [10.0.1.2] (85.2.107.178) by mail12.bluewin.ch (Bluewin 7.3.121) id 45F50AAB00AA7F18 for caml-list@yquem.inria.fr; Sun, 29 Apr 2007 20:01:01 +0000 Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: 7bit Message-Id: <2876CD83-3D16-4B20-AECD-B6DBED648316@epfl.ch> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: caml-list@yquem.inria.fr From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Subject: Conflict between config.h and system header Date: Sun, 29 Apr 2007 22:01:13 +0200 X-Mailer: Apple Mail (2.752.2) X-Miltered: at discorde with ID 4634F97D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 config:01 typedef:01 config:01 osx:01 compiler:01 4230:98 preprocessor:01 caml:02 caml:02 epfl:02 bugs:03 hack:04 daniel:04 Hello, I have a conflict between the uint32 typedef of config.h and the system header Security.h on osx. Does anybody know how to work around this kind of problems (C compiler flag or preprocessor hack) ? Related bugs are [1,2], is there any plan to clean the headers for 3.10 ? Thanks for your answers, Daniel [1] http://caml.inria.fr/mantis/view.php?id=4164 [2] http://caml.inria.fr/mantis/view.php?id=4230