git.iko.soy/Idris-dev
on master help sign in
Reorder link flags
1cdf39cJorge Acereda
src/IRTS/System.hs+4−2
compare with master
unifiedsplit
@@ -85,8 +85,10 @@ gmpLib = []
85extraLibFlags = map ("-L" ++) extraLibDirs
85extraLibFlags = map ("-L" ++) extraLibDirs
86
86
87getLibFlags = do dir <- getIdrisCRTSDir
87getLibFlags = do dir <- getIdrisCRTSDir
88+ return $ extraLibFlags
89+ ++ extraLib
88− return $ ["-L" ++ dropTrailingPathSeparator dir, "-lidris_rts"]
90+ ++ ["-L" ++ dropTrailingPathSeparator dir, "-lidris_rts"]
89− ++ extraLib ++ gmpLib ++ extraLibFlags
91+ ++ gmpLib
90 ++ ["-lpthread"]
92 ++ ["-lpthread"]
91
93
92getIdrisLibDir = addTrailingPathSeparator <$> overrideIdrisSubDirWith "libs" "IDRIS_LIBRARY_PATH"
94getIdrisLibDir = addTrailingPathSeparator <$> overrideIdrisSubDirWith "libs" "IDRIS_LIBRARY_PATH"