From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0E49E7EE51 for ; Wed, 22 May 2013 16:49:39 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=pra; client-ip=193.252.23.212; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.212; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@msa.smtpout.orange.fr) identity=helo; client-ip=193.252.23.212; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="postmaster@msa.smtpout.orange.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkBADbanFHB/BfUcmdsb2JhbABbgzgBwW2BGw4BDAgMCRQDJYIjAQEFOEARCw4KCRYPCQMCAQIBRQYBDAgBAYgNu06PJINUA5c4gSmEdY4zgWYk X-IPAS-Result: AtkBADbanFHB/BfUcmdsb2JhbABbgzgBwW2BGw4BDAgMCRQDJYIjAQEFOEARCw4KCRYPCQMCAQIBRQYBDAgBAYgNu06PJINUA5c4gSmEdY4zgWYk X-IronPort-AV: E=Sophos;i="4.87,721,1363129200"; d="scan'208";a="18519423" Received: from msa03.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.212]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 May 2013 16:49:38 +0200 Received: from [192.168.1.108] ([86.195.25.40]) by mwinf5d63 with ME id f2pd1l00P0ruiWm032pdvS; Wed, 22 May 2013 16:49:38 +0200 Message-ID: <519CDB05.3010504@frisch.fr> Date: Wed, 22 May 2013 16:49:41 +0200 From: Alain Frisch User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:21.0) Gecko/20100101 Thunderbird/21.0 MIME-Version: 1.0 To: Florent Monnier , Caml List References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] [rpi] opam switch to get ocamlopt on RPi with raspbian The trunk was temporarily broken. Please try again! (if OPAM gets a copy on the trunk only once in a while, you might need to wait a little longer) -- Alain On 05/22/2013 04:39 PM, Florent Monnier wrote: > 2013/5/22, Anil Madhavapeddy: >> On 22 May 2013, at 12:30, Florent Monnier wrote: > [...] >>> So I thought to try to: >>> opam switch 4.00.1 >> >> 4.00.1 (released) is not the same as 4.01. Try: >> >> $ opam switch 4.01.0dev+trunk >> >> ...which will give you a trunk compiler with all of the ARM fixes included. >> Benedikt has committed several more fixes since the original one, so trunk >> is generally in much better shape. These changes will be in OCaml-4.1 when >> it's released. > > > So this is what I tryed, but got this error: > > pi@raspberrypi ~ $ opam switch 4.01.0dev+trunk > [...] > boot/ocamlrun boot/ocamlc -nostdlib -I boot -strict-sequence -w > +33..39 -warn-error A -I utils -I parsing -I typing -I bytecomp -I > asmcomp -I driver -I toplevel -c asmcomp/closure.ml > boot/ocamlrun boot/ocamlc -nostdlib -I boot -strict-sequence -w > +33..39 -warn-error A -I utils -I parsing -I typing -I bytecomp -I > asmcomp -I driver -I toplevel -c asmcomp/cmmgen.mli > boot/ocamlrun boot/ocamlc -nostdlib -I boot -strict-sequence -w > +33..39 -warn-error A -I utils -I parsing -I typing -I bytecomp -I > asmcomp -I driver -I toplevel -c asmcomp/cmmgen.ml > make[2]: Leaving directory `/home/pi/.opam/4.01.0dev+trunk/build/ocaml' > make[1]: Leaving directory `/home/pi/.opam/4.01.0dev+trunk/build/ocaml' > ### stderr ### > ...[truncated] > be selected if the type becomes unknown. > File "asmcomp/cmmgen.ml", line 458, characters 23-35: > Warning 40: Record_float was selected from type Types.record_representation. > It is not visible in the current scope, and will not > be selected if the type becomes unknown. > File "asmcomp/cmmgen.ml", line 1: > Error: Error-enabled warnings (2 occurrences) > make[2]: *** [asmcomp/cmmgen.cmo] Error 2 > make[1]: *** [opt-core] Error 2 > make: *** [world.opt] Error 2 > >