Have you tried adding more search paths to the Makefile? On 7 October 2016 at 10:50, PX <[email protected]> wrote:
> Hi, > Please forgive my ignorance. I want to add new code to the seL4-based VM > for TK1. However, I find it is hard to add new directories. The newly added > directories are always ignored or can not be found by compiler. What's > the correct way to add new directories? which scripts we should look into? > > thanks > Peng > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
