Arch Linux

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#45141 - [gnu-efi-libs] gummiboot build fails with «stdint.h: No such file or directory»

Attached to Project: Arch Linux
Opened by Hermann Zahnweh (eigengrau) - Saturday, 30 May 2015, 08:55 GMT
Last edited by Doug Newgard (Scimmia) - Tuesday, 07 July 2015, 14:53 GMT
Task Type Bug Report
Category Packages: Core
Status Closed
Assigned To Tobias Powalowski (tpowa)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:

Building gummiboot 48-1 currently fails with «fatal error: stdint.h: No such file or directory».

Additional info:
* gummiboot 48-1
* gnu-efi-libs 3.0.2-2

make --no-print-directory all-am
CC src/setup/gummiboot-setup.o
CC src/setup/gummiboot-efivars.o
CCLD gummiboot
GEN man/gummiboot.8
CC src/efi/util.o
In file included from /usr/include/efi/efi.h:35:0,
from src/efi/util.c:18:
/usr/include/efi/x86_64/efibind.h:88:24: fatal error: stdint.h: No such file or directory
compilation terminated.
Makefile:1067: recipe for target 'src/efi/util.o' failed
make[1]: *** [src/efi/util.o] Error 1
Makefile:471: recipe for target 'all' failed
make: *** [all] Error 2
==> ERROR: A failure occurred in build().
Aborting...
This task depends upon

Closed by  Doug Newgard (Scimmia)
Tuesday, 07 July 2015, 14:53 GMT
Reason for closing:  None
Additional comments about closing:  Gummiboot is now obsolete, replaced by systemd-boot.

Loading...