On 28.8.2012 22:42, Maurizio Lombardi wrote: > On Sun, Aug 26, 2012 at 11:47 PM, Jakub Jermar <[email protected]> wrote: >> >> Besides of the issues in the comments, I found that after cleanly >> merging this into mainline, make check fails. At least on arm32, your >> new code seems to be bringing in a dependency on some undefined symbol: >> >> ../../lib/c/libc.a(time.o): In function `difftime': >> /home/jermar/software/HelenOS.mainline/uspace/lib/c/generic/time.c:981: >> undefined reference to `__aeabi_i2d' > > The problem is that the difftime() function returns a double, as > defined by the C99 standard. > > double difftime(time_t, time_t); > > So AFAIK we have two possible solutions: > > 1) Change the difftime() prototype to return an integer number instead > of a double, for example it could return time_t. > > 2) Make libc dependent on libsoftfloat. > > What do you suggest?
I think linking with soft-float is the way to go. We already do that on mips32 and ppc32. Another possibility would be to investigate if arm32 can be built so that it uses hard-float and does not generate the calls to soft-float. Jakub _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/cgi-bin/listinfo/helenos-devel
