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. Cheers Sylvain
_______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
