I used make to compile the s32k3 project, I had problems linking the math inventory, I had no problems compiling with S32DS, here is my makefile related configuration