@@ -30,7 +30,8 @@ import Control.Applicative ((<$>))
3030import Data.List.Split
3131import Data.Maybe (fromMaybe)
3232import System.Environment
33−import System.FilePath (addTrailingPathSeparator, (</>))
33+import System.FilePath (addTrailingPathSeparator, dropTrailingPathSeparator,
34+ (</>))
3435
3536
3637getIdrisDataDir :: IO String
@@ -81,7 +82,7 @@ gmpLib = []
8182#endif
8283
8384getLibFlags = do dir <- getIdrisCRTSDir
84− return $ ["-L" ++ dir,
85+ return $ ["-L" ++ dropTrailingPathSeparator dir,
8586 "-lidris_rts"] ++ extraLib ++ gmpLib ++ ["-lpthread"]
8687
8788getIdrisLibDir = addTrailingPathSeparator <$> overrideIdrisSubDirWith "libs" "IDRIS_LIBRARY_PATH"
@@ -97,4 +98,4 @@ getIdrisCRTSDir = do
9798 return $ addTrailingPathSeparator (ddir </> "rts")
9899
99100getIncFlags = do dir <- getIdrisCRTSDir
100− return $ ("-I" ++ dir) : extraInclude
101+ return $ ("-I" ++ dropTrailingPathSeparator dir) : extraInclude