Hello, I'm attempting to compile NICTA::Pistachio-embedded, version 1.3.0. I've downloaded the source using tla, via `tla get [EMAIL PROTECTED]/pistachio--release my_pistachio`.
When I follow the standard L4 compile procedure and perform make, I get this message: [EMAIL PROTECTED] ia32-kernel-build]$ make menuconfig dirname: too few arguments Try `dirname --help' for more information. bash: /gccgcc: No such file or directory make[1]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build' make[2]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build/config' Compiling rules, please wait......(0.72 sec) Done. Loading 'config.out' failed, continuing... Rewriting Makeconf.local ... make[2]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build/config' make[1]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build' [EMAIL PROTECTED] ia32-kernel-build]$ make dirname: too few arguments Try `dirname --help' for more information. bash: /gccgcc: No such file or directory make[1]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build' make[1]: *** No rule to make target `src/generic/mapping_alloc.cc', needed by `.depend'. Stop. make[1]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build' make: *** [all] Error 2 [EMAIL PROTECTED] ia32-kernel-build]$ I've tried doing this for the ARM architecture ala Ben Leslie's L4 dev slides, and that also ends up not finding a certain file. I get the feeling that I am missing some files, or perhaps I have to tweak some config files? I would appreciate any pointers on this issue. Thank you, Jaeheon Yi _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
