Am 11.12.2012 23:59:35 schrieb(en) Sylvain Le Gall:
Hi,
Just try to install gody-skylift on my new Raspberry Pi. It fails
with a
segfault:
../../ocamlcomp.sh -c -warn-error A -g -nolabels unix.mli
make[9]: *** [unix.cmi] Erreur de segmentation
I attach the bootstrap.log.
If someone has an idea, contact me... I can even provide ssh access,
if
needed.
I did the same three weeks ago - and posted a message what to do:
https://godirepo.camlcity.org/pipermail/godi-list/2012-November/003537.html
It is essential to include the armhf patch (at least if you use
raspbian instead of Debian armel).
Gerd
Cheers
Sylvain
------Zitierte Anlage------
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details: http://www.camlcity.org/contact.html
Company homepage: http://www.gerd-stolpmann.de
------------------------------------------------------------
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list