Workaround to build l4linux for ARM Target

[Leslie Zhai]

Hi Matthias,

Thanks for your kind response!

Yes, I reported the bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83764

I need to use old gcc, thanks for your teaching :)


在 2018年01月10日 16:44, 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

-- 
Regards,
Leslie Zhai - https://reviews.llvm.org/p/xiangzhai/