On Wed, May 20, 2015 at 05:13:46PM +0100, Anil Madhavapeddy wrote: > On 20 May 2015, at 16:46, Magnus Therning <[email protected]> wrote: > > > > Unfortunately the segmentation fault remains, but now on `server.ml`. > > I saw these sorts of segmentation faults due to bad memory on one of my > first Cubieboards. If you can find the command line involved (by passing > -classic-display to the ocamlbuild command) and run that under `gdb`, > it would be good to see how deterministic the crash is. Removing camlp4 > may just be masking the physical memory error by simply allocating less.
That's a bit worrying! :( When running the `camlp4` invocation manually I only get an "Out of memory". I'm not sure how to run `camlp4` under `gdb`; `camlp4` itself isn't an executable and the `camlp4*.opt` all report that they "Error: don't know what to do with str.cma". /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: [email protected] jabber: [email protected] twitter: magthe http://therning.org/magnus Eagles may soar, but weasels don't get sucked into jet engines.
pgpYxxKCpvVaI.pgp
Description: PGP signature
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
