@@ -85,8 +85,10 @@ gmpLib = []
8585extraLibFlags = map ("-L" ++) extraLibDirs
8686
8787getLibFlags = do dir <- getIdrisCRTSDir
88− return $ ["-L" ++ dropTrailingPathSeparator dir, "-lidris_rts"]
89− ++ extraLib ++ gmpLib ++ extraLibFlags
88+ return $ extraLibFlags
89+ ++ extraLib
90+ ++ ["-L" ++ dropTrailingPathSeparator dir, "-lidris_rts"]
91+ ++ gmpLib
9092 ++ ["-lpthread"]
9193
9294getIdrisLibDir = addTrailingPathSeparator <$> overrideIdrisSubDirWith "libs" "IDRIS_LIBRARY_PATH"