Keep -lm in gnat platforms

orchestrator/taste-orchestrator.py

@@ -1178,8 +1178,7 @@ def InvokeOcarinaMakefiles(
                 os.putenv("RTEMS_MAKEFILE_PATH", os.environ["RTEMS_MAKEFILE_PATH_GUMSTIX"])
             if all(x not in platformType for x in ["LEON", "RTEMS", "WIN32", "GNAT_RUNTIME"]):
                 extra += "-lrt "
-            if "GNAT_RUNTIME" not in platformType:
-                userLDFlags += " -lm "
+            userLDFlags += " -lm "
             if bCoverage:
                 extra += " -lgcov "
             if platformType in ("PLATFORM_LINUX32",):  # and platform.architecture()[0] == '64bit':