git.iko.soy/Idris-dev
on master help sign in
Remove -msse2 flag which breaks the build on non-x86 machines (consider -march=native?).
commit548b533876528ea31b3ecab2c980b401a74df01a authorChristopher Schwaab <christopher.schwaab@gmail.com> dateThu 21 May 2015, 16:45 (11 years ago) parent42a1719
2 files changed+2−2
compare with master
unifiedsplit
config.mk+1−1 src/IRTS/CodegenC.hs+1−1
config.mk+1−1
@@ -2,7 +2,7 @@ CC ?=cc
22CABAL :=cabal
33# IDRIS_ENABLE_STATS should not be set in final release
44# Any flags defined here which alter the RTS API must also be added to src/IRTS/CodegenC.hs
5−CFLAGS :=-O2 -Wall -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -msse2 $(CFLAGS)
5+CFLAGS :=-O2 -Wall -DHAS_PTHREAD -DIDRIS_ENABLE_STATS $(CFLAGS)
66
77#CABALFLAGS :=
88## Disable building of Effects
src/IRTS/CodegenC.hs+1−1
@@ -77,7 +77,7 @@ codegenC' defs out exec incs objs libs flags exports iface dbg
7777 let args = [gccDbg dbg] ++
7878 gccFlags iface ++
7979 -- # Any flags defined here which alter the RTS API must also be added to config.mk
80− ["-DHAS_PTHREAD", "-DIDRIS_ENABLE_STATS", "-msse2",
80+ ["-DHAS_PTHREAD", "-DIDRIS_ENABLE_STATS",
8181 "-I."] ++ objs ++ ["-x", "c"] ++ envFlags ++
8282 (if (exec == Executable) then [] else ["-c"]) ++
8383 [tmpn] ++