From: Alain Frisch <alain@frisch.fr>
To: Florent Monnier <fmonnier@linux-nantes.org>,
Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] [rpi] opam switch to get ocamlopt on RPi with raspbian
Date: Wed, 22 May 2013 16:49:41 +0200 [thread overview]
Message-ID: <519CDB05.3010504@frisch.fr> (raw)
In-Reply-To: <CAE1DttDGxQ0x_RBtvX6=rbivnr7ceOaT6EYmA9MzJ=+9c0OuEg@mail.gmail.com>
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
>
>
next prev parent reply other threads:[~2013-05-22 14:49 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-22 14:39 Florent Monnier
2013-05-22 14:49 ` Alain Frisch [this message]
2013-05-22 14:57 ` Daniel Bünzli
2013-05-22 16:18 ` Marek Kubica
2013-05-22 16:48 ` Daniel Bünzli
2013-05-22 17:30 ` Florent Monnier
2013-05-22 17:49 ` Daniel Bünzli
2013-05-22 17:15 ` Florent Monnier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=519CDB05.3010504@frisch.fr \
--to=alain@frisch.fr \
--cc=caml-list@inria.fr \
--cc=fmonnier@linux-nantes.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).