From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 9F9767F2AA for ; Sat, 15 Dec 2012 17:56:47 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.90.253; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.90.253; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm4-vm0.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.90.253; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm4-vm0.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkDAA6rzFBiilr9bWdsb2JhbAA4Dat9klUWDg0JDAYWAySCGQUBAQQBCyAVAQIVIQEBAwsGBUYvAQ4BBhIGiBMBAQIJBgSpOwmCcoQ/ASMDASMDiVgBBgoBAZEUA4hgjTCFZC5QiBVrg3M X-IronPort-AV: E=Sophos;i="4.84,291,1355094000"; d="scan'208";a="186319472" Received: from nm4-vm0.bullet.mail.ne1.yahoo.com ([98.138.90.253]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Dec 2012 17:56:46 +0100 Received: from [98.138.90.51] by nm4.bullet.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 16:56:44 -0000 Received: from [98.138.89.232] by tm4.bullet.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 16:56:44 -0000 Received: from [127.0.0.1] by omp1047.mail.ne1.yahoo.com with NNFMP; 15 Dec 2012 16:56:44 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 542728.12304.bm@omp1047.mail.ne1.yahoo.com Received: (qmail 11477 invoked by uid 60001); 15 Dec 2012 16:56:44 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1355590604; bh=6+iStYqLtqZf2iRHtYX3Aw3wRDGNwEoyJzO7I9KA2D4=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=Pn4wUqnV+gFBrfrRClsnvKvb8DPTVE2dkdHwfA6hWxd3krUolq1wUrJvdZ/S9JjwzBzo3vXe0cDZ84bRfC95craJAy0kTHuS7R07PkqE8/v74tSX/SkNFcG0dOsBlfodbd4ZdZwA/XwADavhkWrTyLScGBTvWJ89lrama3cPLgo= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=PjDyymPHjiPZw0u3ATTxKzI0JUlNsY3qy4QgXt/j6EWNk2wfKSRMtXfTOlCx56WJ1Tv8xU+vTH8RcMMdclftNnq8FwmPUxem31vxMQItlE6tls3+ZjCCaZ0xGwwHnV/8vWTWN7eyXRvilkSRqO4n2FJ4gb0jfu4D858XUkHNWTs=; X-YMail-OSG: HrAeayoVM1l5rimKGDL_LLXdnJtu._RE8Tm0gI0hJGOr0AV nPzHDJjh6wEhkXwG4pf8R_bJo0OfsNETF3ZbSCkT66mcnWRHE9V3gg5WXpAL R6oP6mAhl.rMDm3heEqzPksY2eZZZciagtBqG_YyR3DGhUuQhuY6k3XfFluX BV4Aro_0AVPwjv3Pi696W37wHpN2eVDuTQpTE5oH6oTWiw0HSjYP4DEY1oYK zNCNAnUhg_Deu1gmPRbtLgN9B0qxWJQKYRjartQ_JDmMSTcPyNoh2wBxgBS4 BHI32Vu2M2en0rWuqGwH9O61_PBviMHf9fUY88JRRLIkdc9YhYuUd53iDzYx aXjJm9ov3cpgSYsQS0MqlW6pb1i8Ed1PnPglPC6cedZgdMkCw8svIM7vWE.M YnTgoBrsvNJM7Bf0yC66rEnVNoMEJA4uLPtuGAGWKSQc6KeTu7_HZozJH7AH dJr6g72kufiY__Nrly7HeTc31T5g3joFbm7t93NhvCDw8Xs0KFQ9nyMD3zlP xy5oZ44YA3bX8ZipufckDZkmMvhPi Received: from [195.23.39.151] by web120405.mail.ne1.yahoo.com via HTTP; Sat, 15 Dec 2012 08:56:43 PST X-Rocket-MIMEInfo: 001.001,SGksCgoKCj4gUHJvYmFibHkgaXQncyBhIGxlZnRvdmVyIHNldHVwLmRhdGEsIHRoYXQgY29udGFpbnMgdGhlc2UgZmxhZ3MuCj4gCj4gSnVzdCByZW1vdmUgc2V0dXAuZGF0YSBhbmQgcmVnZW5lcmF0ZSBmaWxlcywKClRoYW5rcyBmb3IgdGhlIHJlcGx5LgoKTm8sIHRoYXQncyBub3QgaXQuwqAgVGhlIHByb2JsZW0gcGVyc2lzdHMgZXZlbiBhZnRlciBhIGNvbXBsZXRlCmNsZWFudXAgYW5kIHJlZ2VuZXJhdGlvbi4KCkJlc3QgcmVnYXJkcywKRGFyaW8BMAEBAQE- X-Mailer: YahooMailWebService/0.8.128.478 References: <1355587355.56246.YahooMailNeo@web120405.mail.ne1.yahoo.com> Message-ID: <1355590603.10765.YahooMailNeo@web120405.mail.ne1.yahoo.com> Date: Sat, 15 Dec 2012 08:56:43 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: Wojciech Meyer Cc: OCaml mailing-list , Sylvain Le Gall In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] OASIS and conditional compilation Hi, > Probably it's a leftover setup.data, that contains these flags. >=20 > Just remove setup.data and regenerate files, Thanks for the reply. No, that's not it.=A0 The problem persists even after a complete cleanup and regeneration. Best regards, Dario