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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id E52F7BC6F for ; Fri, 1 Jun 2007 09:43:27 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.177]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l517hQGm002777 for ; Fri, 1 Jun 2007 09:43:27 +0200 Received: by wa-out-1112.google.com with SMTP id m28so513355wag for ; Fri, 01 Jun 2007 00:43:25 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=r+MwhuciLOhNDdU63UJnMaShvSv66lNi6+szZKsCklsLBiGibb3KsVQlcZNaLbrffUqdnrFe5XyGqMfVXjjTNiZM/VFpa+lThF/Jey34p5k/xxvfiY4ekLky3Trfvv7H56ZdJwaIyWg/yNdE6++GMn/WuD40Wv+5O5HKon8TM6c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=aLbm2pvTJ8r5a3m5909NO+onRd0VfiIqMKsmXMkw4skYM0ohnc8fVgIspa6YhdyRIeOGtG+xoQT62ggy9jFrKNTqL5thFZ4r26lwdS4i/2aW3W9Pxu5NYrM0T4xIPg8BcsKSq9S6RATUKKoOroF+k93LqDP3laTx3hyn1lqYdkE= Received: by 10.114.149.2 with SMTP id w2mr1569966wad.1180683805301; Fri, 01 Jun 2007 00:43:25 -0700 (PDT) Received: by 10.114.181.8 with HTTP; Fri, 1 Jun 2007 00:43:25 -0700 (PDT) Message-ID: Date: Fri, 1 Jun 2007 09:43:25 +0200 From: "Nicolas Pouillard" To: colonna@ccr.jussieu.fr Subject: Re: [Caml-list] unix.cmxa is not a compilation unit description Cc: caml-list@yquem.inria.fr In-Reply-To: <465FC948.2060804@ccr.jussieu.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 Content-Disposition: inline References: <465FC948.2060804@ccr.jussieu.fr> X-j-chkmail-Score: MSGID : 465FCE1E.000 on discorde : j-chkmail score : XXX : 0/20 3 0.000 -> 3 X-Miltered: at discorde with ID 465FCE1E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cmxa:01 compilation:01 ocamlopt:01 ocamlc:01 -cclib:01 -lunix:01 -cclib:01 cmo:01 utils:01 cmo:01 ocamlopt:01 cmxa:01 -lunix:01 cmx:01 utils:01 WW91IGFyZSB0cnlpbmcgdG8gbWFrZSBhIG5hdGl2ZSBsaWJyYXJ5IHRoYXQgY29udGFpbnMgYSBs aWJyYXJ5IGFuZApvY2FtbG9wdCBkb24ndCBzdXBwb3J0cyBpdC4KCk9uIDYvMS8wNywgRnJhbmNv aXMgQ29sb25uYSA8Y29sb25uYUBjY3IuanVzc2lldS5mcj4gd3JvdGU6Cj4gSGVsbG8KPgo+IEkg Z290IHRoaXMgZXJyb3IgYXQgbGluayA6Cj4KPiBtYWtlCj4gb2NhbWxjICAtYSAtbyBmcmFtZXMu Y21hIHVuaXguY21hIC1jY2xpYiAtbHVuaXggc3RyLmNtYSAtY2NsaWIgLWxzdHIKPiB0b29scy5j bW8gdXRpbHMuY21vIHN5c3RlbV91bml0cy5jbW8gYXRvbWljX3N5bWJvbC5jbW8KPiBjaGVtaWNh bF9lbGVtZW50LmNtbyBhdG9tLmNtbyBwYXRoLmNtbyBhZ2dyZWdhdGUuY21vIGNoZW1pY2FsX2dy b3VwLmNtbwo+IG1vbGVjdWxlLmNtbyBiYWNrYm9uZV9saW5rLmNtbyBhbWlub19hY2lkcy5jbW8g c2lkZV9jaGFpbi5jbW8KPiBzaWRlX2NoYWlucy5jbW8gcmVzaWR1ZXMuY21vIHByb3RlaW5zLmNt bwo+IG9jYW1sb3B0ICAtYSAtbyBmcmFtZXMuY214YSB1bml4LmNteGEgLWNjbGliIC1sdW5peCBz dHIuY214YSAtY2NsaWIKPiAtbHN0ciB0b29scy5jbXggdXRpbHMuY214IHN5c3RlbV91bml0cy5j bXggYXRvbWljX3N5bWJvbC5jbXgKPiBjaGVtaWNhbF9lbGVtZW50LmNteCBhdG9tLmNteCBwYXRo LmNteCBhZ2dyZWdhdGUuY214IGNoZW1pY2FsX2dyb3VwLmNteAo+IG1vbGVjdWxlLmNteCBiYWNr Ym9uZV9saW5rLmNteCBhbWlub19hY2lkcy5jbXggc2lkZV9jaGFpbi5jbXgKPiBzaWRlX2NoYWlu cy5jbXggcmVzaWR1ZXMuY214IHByb3RlaW5zLmNteAo+Cj4gL3Vzci9sb2NhbC9saWIvb2NhbWwv dW5peC5jbXhhIGlzIG5vdCBhIGNvbXBpbGF0aW9uIHVuaXQgZGVzY3JpcHRpb24uICAgIDw9PT0K Pgo+Cj4gRG9lcyBhbnlib2R5IGtub3dzIGhvdyB0byBmaXggaXQgPwo+IFRoYW5rcwo+IEZyYW7D p29pcyBDb2xvbm5hCj4KPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fXwo+IENhbWwtbGlzdCBtYWlsaW5nIGxpc3QuIFN1YnNjcmlwdGlvbiBtYW5hZ2VtZW50 Ogo+IGh0dHA6Ly95cXVlbS5pbnJpYS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1s aXN0Cj4gQXJjaGl2ZXM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyCj4gQmVnaW5uZXIncyBsaXN0OiBo dHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnMKPiBCdWcgcmVwb3J0 czogaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncwo+CgoKLS0gCk5pY29sYXMgUG91 aWxsYXJkCg==