git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1820 from Heather/master
0a8e3e3Edwin Brady
config.mk+1−1
compare with master
unifiedsplit
@@ -2,7 +2,7 @@ CC ?=cc
2CABAL :=cabal
2CABAL :=cabal
3# IDRIS_ENABLE_STATS should not be set in final release
3# IDRIS_ENABLE_STATS should not be set in final release
4# Any flags defined here which alter the RTS API must also be added to src/IRTS/CodegenC.hs
4# 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 $(CFLAGS)
5+CFLAGS :=-O2 -Wall -DHAS_PTHREAD -DIDRIS_ENABLE_STATS -msse2 $(CFLAGS)
6
6
7#CABALFLAGS :=
7#CABALFLAGS :=
8## Disable building of Effects
8## Disable building of Effects