@@ -66,7 +66,7 @@ codegenC' defs out exec incs objs libs flags dbg
66 let args = [gccDbg dbg] ++
66 let args = [gccDbg dbg] ++
67 gccFlags ++
67 gccFlags ++
68 -- # Any flags defined here which alter the RTS API must also be added to config.mk
68 -- # Any flags defined here which alter the RTS API must also be added to config.mk
69− ["-DHAS_PTHREAD", "-DIDRIS_ENABLE_STATS",
69+ ["-DHAS_PTHREAD", "-DIDRIS_ENABLE_STATS", "-msse2",
70 "-I."] ++ objs ++ ["-x", "c"] ++
70 "-I."] ++ objs ++ ["-x", "c"] ++
71 (if (exec == Executable) then [] else ["-c"]) ++
71 (if (exec == Executable) then [] else ["-c"]) ++