Floating point printing

Peter Nguyen peter.nguyen at ...29...
Mon Feb 1 00:42:36 CET 2010


So i've encountered problems with trying to use stdio.h. After adding  
libc to the build directory and the target.mk file, i keep getting  
errors with some of the libc header files relating to variables like  
va_list. On face value, it seems that libc and C++ don't like to play  
with each other...


On 01/02/2010, at 5:27 AM, Norman Feske wrote:

> Hi Peter,
>> I noticed that there isn't any support for printing floating point
>> numbers. I was wondering whether someone has a patch of some sort  
>> that
>> provides this functionality, even at a basic level.
> the default printf functionality is pretty limited to keep the
> complexity of the base framework as low as possible. However, a
> complete printf implementation is provided by the libc. In the
> 'target.mk' file, you just need to specify:
>  LIBS += libc
> Then you can include '<stdio.h>' and use 'printf' with all features
> as usual.
> Norman
> ------------------------------------------------------------------------------
> The Planet: dedicated and managed hosting, cloud storage, colocation
> Stay online with enterprise data centers and the best network in the  
> business
> Choose flexible plans and management services without long-term  
> contracts
> Personal 24x7 support from experience hosting pros just a phone call  
> away.
> http://p.sf.net/sfu/theplanet-com
> _______________________________________________
> Genode-main mailing list
> Genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

More information about the users mailing list