Adam Lackorzynski adam@os.inf.tu-dresden.de writes:
You say you have an obj dir, which is good. What's in there? There should be a Fiasco build directory (such as obj/fiasco/ia32), l4re build dir (obj/l4/x86) and an L4Linux build dir (obj/l4linux). Are those dirs there for you?
I tried to 'make' after setting the subdirs up manually (the ia32 and x86). Here is what it says, having run it once for each dir:
make[1]: Entering directory `/home/incal/core/l4re-snapshot-2013123021' =============== Building all Fiasco configurations ============ ============ Building in obj/fiasco/ia32 ========= make[2]: Entering directory `/home/incal/core/l4re-snapshot-2013123021/obj/fiasco/ia32' make[2]: *** No targets specified and no makefile found. Stop. make[2]: Leaving directory `/home/incal/core/l4re-snapshot-2013123021/obj/fiasco/ia32' Error building the Fiasco 'obj/fiasco/ia32' variant. Press RETURN to continue with other variants. /bin/sh: 8: read: arg count make[1]: *** [build_all] Error 2 make[1]: Leaving directory `/home/incal/core/l4re-snapshot-2013123021' make: *** [all] Error 2
make[1]: Entering directory `/home/incal/core/l4re-snapshot-2013123021' =============== Building all Fiasco configurations ============ =============== Building all L4Re configurations ============ ============ Building in obj/l4/x86 ========= make[2]: Entering directory `/home/incal/core/l4re-snapshot-2013123021/obj/l4/x86' make[2]: *** No targets specified and no makefile found. Stop. make[2]: Leaving directory `/home/incal/core/l4re-snapshot-2013123021/obj/l4/x86' Error building the L4Re 'obj/l4/x86' variant. Press RETURN to continue with other variants. /bin/sh: 8: read: arg count make[1]: *** [build_all] Error 2 make[1]: Leaving directory `/home/incal/core/l4re-snapshot-2013123021' make: *** [all] Error 2