Bug#753682: gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary

2014-07-15 Thread Philipp Kern
On Fri, Jul 11, 2014 at 02:58:20PM +0200, Julian Andres Klode wrote: > That's true. IMO Gnu EFI needs to be patched to not include efistdarg.h by > default and hide the vaargs functions if the header is not included. That > would fix all issues. > > Or change it to define the va functions in terms

Bug#753682: gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary

2014-07-11 Thread John Paul Adrian Glaubitz
On 07/11/2014 02:58 PM, Julian Andres Klode wrote: > That's true. IMO Gnu EFI needs to be patched to not include efistdarg.h > by default and hide the vaargs functions if the header is not included. > That would fix all issues. Thanks for the explanation! I didn't check the source of neither gummi

Bug#753682: gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary

2014-07-11 Thread Julian Andres Klode
Am 11.07.2014 13:43 schrieb "John Paul Adrian Glaubitz" < glaub...@physik.fu-berlin.de>: > > Hi Julian! > > Do you have a suggestion for the proper fix for this FTBFS? I have > unapplied the patch #747158 but I'm still running into an FTBFS, > but now it's just stdarg.h which is missing which is wh

Bug#753682: gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary

2014-07-11 Thread John Paul Adrian Glaubitz
Hi Julian! Do you have a suggestion for the proper fix for this FTBFS? I have unapplied the patch #747158 but I'm still running into an FTBFS, but now it's just stdarg.h which is missing which is what Daniel patched out: gcc -I. -include config.h -I/usr/include/efi -I/usr/include/efi/x86_64 -DMA

Bug#753682: gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary

2014-07-04 Thread Julian Andres Klode
Control: reassign -1 gnu-efi 3.0v-2 On Fri, Jul 04, 2014 at 12:11:30PM +0200, Julian Andres Klode wrote: > Package: gummiboot > Version: 44-1 > Severity: serious > > gummiboot's EFI binary fails to build from source with GCC 4.9 > > gcc -I. -include config.h -I/usr/include/efi -I/usr/include/ef

Processed: Re: Bug#753682: gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary

2014-07-04 Thread Debian Bug Tracking System
Processing control commands: > reassign -1 gnu-efi 3.0v-2 Bug #753682 [gummiboot] gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary Bug reassigned from package 'gummiboot' to 'gnu-efi'. No longer marked as found in versions gummiboot/44-1. Ignoring request to alter fixed versio

Bug#753682: gummiboot: FTBFS with GCC 4.9 due to undefined va_copy in EFI binary

2014-07-04 Thread Julian Andres Klode
Package: gummiboot Version: 44-1 Severity: serious gummiboot's EFI binary fails to build from source with GCC 4.9 gcc -I. -include config.h -I/usr/include/efi -I/usr/include/efi/x86_64 -DMACHINE_TYPE_NAME=\"x64\" -Wall -Wextra -nostdinc -ggdb -O0 -fpic -fshort-wchar -nostdinc -ffreestanding -