Can you go to l4/pkg/exec/server/src/OBJ-x86_586-l4v2 and do "make exc_img.i" and make that file available, please.
the compilation seems to be fine Output in:
http://wwwcip.informatik.uni-erlangen.de/~sirewitt/compile_exc_img.i
The file itself: http://wwwcip.informatik.uni-erlangen.de/~sirewitt/exc_img.i
(unfortunatelly I have to compile as root, cause otherwise the make
config
does not set the path correctly, this time I also set a 686 instead of a
586
Which path? Building as root is strongly discouraged, don't do it. If there's a bug, the bug should be fixed.
When I execute 'make config' not as root, the Makeconf.bid.local-file contains the lines:
GCCLIB_EH_x86=/usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.2/libgcc_eh.a
GCCLIB_x86=/usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.2/libgcc.a
Unfortunatelly, the path /usr/local/lib/gcc-lib/i686-pc-linux-gnu/ does not exist.
Whereas when executing 'make config' as not, Makeconf.bid.local contains:
GCCLIB_EH_x86=/usr/lib/gcc-lib/i486-suse-linux/3.3/libgcc_eh.a
GCCLIB_x86=/usr/lib/gcc-lib/i486-suse-linux/3.3/libgcc.a
(those files exist)
But I can't tell whether this is really a bug or only due to inconsistencies on my target machine (which is more probable).
Adam, many thanks for your advice.
Regards, Rene