git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1822 from Heather/sse2

compiler (currently) should also use sse2 due rts changes

commit2263ef0682b3c4c7b4a792926da75d2bc2e22142 authorEdwin Brady <edwin.brady@gmail.com> dateSat 31 Jan 2015, 12:27 (12 years ago) parent91b771572e03b6
1 file changed+1−1
compare with master
unifiedsplit
src/IRTS/CodegenC.hs+1−1
src/IRTS/CodegenC.hs+1−1
@@ -66,7 +66,7 @@ codegenC' defs out exec incs objs libs flags dbg
6666 let args = [gccDbg dbg] ++
6767 gccFlags ++
6868 -- # 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",
7070 "-I."] ++ objs ++ ["-x", "c"] ++
7171 (if (exec == Executable) then [] else ["-c"]) ++
7272 [tmpn] ++