From: Florent Monnier <fmonnier@linux-nantes.org>
To: 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 14:39:39 +0000 [thread overview]
Message-ID: <CAE1DttDGxQ0x_RBtvX6=rbivnr7ceOaT6EYmA9MzJ=+9c0OuEg@mail.gmail.com> (raw)
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
--
Thanks in advance
next reply other threads:[~2013-05-22 14:39 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-22 14:39 Florent Monnier [this message]
2013-05-22 14:49 ` Alain Frisch
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='CAE1DttDGxQ0x_RBtvX6=rbivnr7ceOaT6EYmA9MzJ=+9c0OuEg@mail.gmail.com' \
--to=fmonnier@linux-nantes.org \
--cc=caml-list@inria.fr \
/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