On Thu, 31 May 2012 20:59:04 +0200 Eugeniy Meshcheryakov <[email protected]> wrote:
> Hello, > > 31 ÑÑÐ°Ð²Ð½Ñ 2012 о 18:33 +0000 Tero Koskinen напиÑав(-ла): > > Executable /usr/bin/spark dies to SIGKILL when one > Err... SIGKILL? Any idea what sends SIGKILL to it? I would expect > SIGSEGV or SIGBUS, but why SIGKILL? No idea about that. It is also pretty impossible to debug, since gdb doesn't give backtrace (see below). > > > Reading symbols from /usr/bin/spark...(no debugging symbols found)...done. > > (gdb) run > > Starting program: /usr/bin/spark > > During startup program terminated with signal SIGKILL, Killed. > Could you provide the backtrace? Gdb doesn't give any: % gdb /usr/bin/spark GNU gdb (GDB) 7.4.1-debian Copyright (C) 2012 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "arm-linux-gnueabihf". For bug reporting instructions, please see: <http://www.gnu.org/software/gdb/bugs/>... Reading symbols from /usr/bin/spark...(no debugging symbols found)...done. (gdb) run Starting program: /usr/bin/spark During startup program terminated with signal SIGKILL, Killed. (gdb) bt No stack. (gdb) start Function "main" not defined. Make breakpoint pending on future shared library load? (y or [n]) y Temporary breakpoint 1 (main) pending. Starting program: /usr/bin/spark During startup program terminated with signal SIGKILL, Killed. (gdb) bt No stack. (gdb) quit % > > Executable '/usr/bin/checker' from the same package works: > That one is wiriten in Prolog, the spark executable is writen in Ada. > Did you try to run any other Ada programs on this system? Yes, for example 'adactl' works: % adactl Parameter or option error: At least one unit/file required try -h for help % > > Regards, > Eugeniy Meshcheryakov -- Tero Koskinen <[email protected]> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
