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 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 D05F3BC6B for ; Wed, 25 Jul 2007 11:00:04 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.224]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6P904pM000592 for ; Wed, 25 Jul 2007 11:00:04 +0200 Received: by nz-out-0506.google.com with SMTP id x7so97005nzc for ; Wed, 25 Jul 2007 02:00:03 -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=RRwrp/awu+ywndOPFEWHnCdg6OMA6uTd66c+aeCVJmqLjruHZnSAX8Sf8uKRKMkT3yO64WpM267jcWgnCbNhnv3OgmLsvoy5PZoYCNud/T5WoL3RrDEGQ/Q4Rxj4dJR5rdOERslknomTHfy8sn8oCSChaOtA8f9+ZdktYByxsvY= 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=lDq8U2dbJDtrgpYqmn5pmhje+F1wy9BsgmHcIDnTrrbOOhTIbb640sSeJ72NyXYUZRMTZunFqd1w2z7yiQGJo431iWlIrqlYnQm5lJO8O5Y8tuHqHfPQ1yGtan6vwJCJnAkuBlYMcplUf26HjVE+ixfZFdfD5Oy3OeIuGuW1IgM= Received: by 10.114.88.1 with SMTP id l1mr435280wab.1185354002924; Wed, 25 Jul 2007 02:00:02 -0700 (PDT) Received: by 10.114.181.9 with HTTP; Wed, 25 Jul 2007 02:00:02 -0700 (PDT) Message-ID: Date: Wed, 25 Jul 2007 11:00:02 +0200 From: "Nicolas Pouillard" To: "Steve Wagner" Subject: Re: [Caml-list] Make opt: The constructor Ccheckbound expects 1 argument(s) in selection.ml line 109 Cc: caml-list@yquem.inria.fr In-Reply-To: <46A63284.2030905@lanwin.de> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <46A26F2F.3050401@web.de> <46A63284.2030905@lanwin.de> X-j-chkmail-Score: MSGID : 46A71114.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46A71114.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; asmcomp:01 bug:01 bug:01 ocaml:01 endian:01 gcc:01 ocaml:01 asmcomp:01 ocamlrun:01 ocamlc:01 -nostdlib:01 -warn-error:01 utils:01 bytecomp:01 toplevel:01 On 7/24/07, Steve Wagner wrote: > Christoph Bauer helped me to solve this issue. Thx Christoph. > > After simply replace `Ccheckbound' by `Ccheckbound _' in > asmcomp/selection.ml line 109 make world.opt compiles without errors. > > I dont know why this happen only on arm systems, but if you what to test > something i am here to test it :-) This happens since this part is architecture dependent. Please, submit a bug to our bug tracker in order to reminds us to fix it. > > Steve > > Steve Wagner schrieb: > > Hi, ive try to compile Ocaml 3.10(tar archive) and 3.11(cvs trunk) on my > > arm liddel endian NSLU2. I am using Debian SID(ARM LE) Gcc 4.1.1 and > > Glibc 2.6. Ocaml 3.09 compiles without any error. > > > > make world compiles without errors but on make opt ive get the following > > error: > > > > --------------------------------------- > > ln -s arm/selection.ml asmcomp/selection.ml > > boot/ocamlrun boot/ocamlc -nostdlib -I boot -warn-error A -I utils -I > > parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel -c > > asmcomp/selection.mli > > boot/ocamlrun boot/ocamlc -nostdlib -I boot -warn-error A -I utils -I > > parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel -c > > asmcomp/selection.ml > > File "asmcomp/selection.ml", line 109, characters 4-15: > > The constructor Ccheckbound expects 1 argument(s), > > but is here applied to 0 argument(s) > > make: *** [asmcomp/selection.cmo] Error 2 > > --------------------------------------- > > > > Dose anybody know how to fix this? > > -- Nicolas Pouillard