The Vitis unified software platform compiler system only includes software floating-point C runtime libraries. To take advantage of the hardware FPU, the libraries must be recompiled with the appropriate compiler switches.
For all cases where separate compilation is used, it is very important that you ensure the consistency of FPU compiler flags throughout the build.