[Barrelfish-users] New version of glibc?

[Robert Radkiewicz]

Hi Kornilios,

yes I already managed importing the right setjmp routine.
It also makes sense to me now that uint32_t can be a unsigned long, 
cause newlib/.../stdint.h is searching dynamically for the types. I was 
using the PRIX32, but just needed to set the arch/inttypes.h accordingly 
to that.
So, the printing bug is not gone. Your compiling options where already 
present, because I used the existing Hakefiles.
Ok, I think I have to work around that 64-bit-printf for the moment.

Thanks so far,
Robert


On 23.10.2012 16:06, Kornilios Kourtis wrote:
>
> The portable way to print uint32_t is to use PRIu32, so the fact that you
> need to specify the "l" modifier is not necessarily a bug. For printing
> 64-bit values, I remember having some similar problems, which were solved
> by adding the following defines:
>    -D_WANT_IO_C99_FORMATS
>    -D_WANT_IO_LONG_LONG
>    -D_WANT_IO_LONG_DOUBLE
>    -D_MB_CAPABLE
>
> cheers,
> Kornilios.
>
>