On Mon, 28 Mar 2011 22:55 +0200, "Gerd Stolpmann" <i...@gerd-stolpmann.de> wrote: > Hard to tell. I guess this is SIGSEGV or SIGBUS. Have a look in the > kernel message ring buffer (dmesg), maybe it says more. > > Theoretically it could also be a stack overflow, so also check your > ulimits (however, godi_console does not use the stack much). > > Virtual machines normally work pretty well, so I do not think it has > something to do with that. Also, ocaml generates only generic code that > should run on all models of a CPU family, so a mismatch can also not > occur. > > Gerd >
I'm not sure if this is at helpful, but when I try to update the set of packages, I get this kernel message: godi_console[3421]: segfault at 7f3 ip 08064d91 sp bfc69ff8 error 4 in godi_console[8048000+2f000] When trying to start the install of packages (selecting them works fine, it is when the first one tries to download that it fails), the following kernel mesage: godi_console[3487]: segfault at 4f3 ip 08064d91 sp bffec158 error 4 in godi_console[8048000+2f000] That probably doesn't help at all, so from a more practical standpoint, is there anything I can do to reset/reinstall godi without having to delete and rebuild the whole environment? I can obviously do that, but would prefer to avoid it if at all possible! Thanks, Daniel _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
