title: Convert a ARM gcc generated library from one soft float bi to hard float abi
body: <p>I need to link my firmware (running on STM32L4x6, built with arm-none-eabi_gcc) with two third party libraries (I don't have the source code of these libs).</p>
  
  <p>One lib is compiled using hard float abi, and the other is not using float at all and linked probably with soft float abi.</p>
  
  <p>I know both abis are not compatible and I fully understand the difference between them, but what if a library does not use float operation at all ? What is preventing to link it with some other code using whatever abi ?</p>
  
  <p>From what I've googled it is not possible to force the linker in such a situation, however is it possible to "convert" a library (.a from gcc) from one float abi to another ?</p>