Hi experts,
We want to use mathlib but they are of different function names (e.g. cosf() becomes cossp()).
In order to not change our code, we tried to rebuild mathlib with OVERRIDE_RTS = 1 but not succeed. Can you suggest us the method?
Thank u very much.
Best Regards.