Workaround to build l4linux for ARM Target

[Matthias Lange]

Hi Leslie,

On 2018-0110 at 12:30:49 +0800, Leslie Zhai wrote:
> Hi l4 hackers,
> 
> ../arch/l4/arm-mach-l4/l4.c:33:10: fatal error: l4/io/io.h: No such file or
> directory
>  #include <l4/io/io.h>
>           ^~~~~~~~~~~~
> compilation terminated.
> 
> 
> so I just workaround to `ln -s` manually:
> 
> build-freescale-imx6/include/l4/io/
> ├── io.h -> /data/project/xiangzhai/l4re/l4/pkg/io/libio-io/include/io.h
> ├── pciids.h ->
> /data/project/xiangzhai/l4re/l4/pkg/io/io/server/libpciids/include/pciids.h
> └── types.h ->
> /data/project/xiangzhai/l4re/l4/pkg/io/libio-io/include/types.h
> 
> l4re version: svn76
> 
> l4linux version: svn57
> 
> GNU toolchain: gcc version 7.2.1 20171011 (Linaro GCC 7.2-2017.11)
> 
> I think it might be `Makefile` simple issue :)

Your error may come from something else. Your gcc version is known to not work
because the compilation of io will trigger an internal compiler error.
Eventually the io package may have not been built successfully and the header
files where not installed. Could you try an older gcc?

The gcc issue was presumably fixed in November 2017.

Regards,
Matthias.

> 
> -- 
> Regards,
> Leslie Zhai - https://reviews.llvm.org/p/xiangzhai/
> 
> 
> 
> 
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 
Matthias Lange, matthias.lange at kernkonzept.com, +49-351-41 888 614

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth