-
was set to soft, not softfp. This was changed to softfp today.
Oh interesting, I was thinking it already changed to softfp when we discussed it long time ago here https://github.com/gfwilliams/EspruinoCompiler/issues/10 so I was using it with my local changes all the time (as I use many boards that are not in the whitelist)
EDIT: softfp was already used for quite some time in main firmware https://github.com/espruino/Espruino/blob/255dbb036942c59c2e937d3c80c206d88586be79/ChangeLog#L282 then it briefly changed but was reverted https://github.com/espruino/Espruino/commit/42e336f4ac5613582ea582f15335527ea9dcd700
I was somehow thinking the inline C compiler already moved to softfp too, well, it is great it was finally done now :-)
It already works like that, no changes in EspruinoCompiler needed (unless it broke recently)
Also using floating point instructions work inside inline C, see my tests linked in previous post.
Include files and macros are intentionally blocked https://github.com/gfwilliams/EspruinoCompiler/blob/master/src/compile.js#L466 so you can't include math.h