Menu

#22 gnu-efi 3.0.10 breaks systemd-boot build

v1.0_(example)
closed
None
5
2019-10-28
2019-10-27
Adrian Bunk
No

In file included from /home/pokybuild/yocto-worker/build-appliance/build/build/tmp/work/core2-64-poky-linux/systemd-boot/243+AUTOINC+efb536d0cb-r0/recipe-sysroot/usr/include/efi/efilib.h:25,
from ../git/src/boot/efi/crc32.h:5,
from ../git/src/boot/efi/crc32.c:43:
/home/pokybuild/yocto-worker/build-appliance/build/build/tmp/work/core2-64-poky-linux/systemd-boot/243+AUTOINC+efb536d0cb-r0/recipe-sysroot/usr/include/efi/efilink.h:5:10: fatal error: stdint.h: No such file or directory
5 | #include <stdint.h>
| ^~~~~~~~~~
compilation terminated.</stdint.h>

I've confirmed that https://sourceforge.net/p/gnu-efi/code/merge-requests/6/ fixes it.

Discussion

  • Nigel Croxon

    Nigel Croxon - 2019-10-28

    fixed in commit . 8b2da2c2247af28bd681a9c8e3231559964c80a6

     
  • Nigel Croxon

    Nigel Croxon - 2019-10-28
    • status: open --> closed
    • assigned_to: Nigel Croxon
     

Log in to post a comment.

Monday.com Logo