@@ -43,7 +43,11 @@ getCC = do env <- environment "IDRIS_CC"
43getMvn :: IO String
43getMvn :: IO String
44getMvn = do env <- environment "IDRIS_MVN"
44getMvn = do env <- environment "IDRIS_MVN"
45 case env of
45 case env of
46+#ifdef mingw32_HOST_OS
47+ Nothing -> return "mvn.bat"
46 Nothing -> return "mvn"
49 Nothing -> return "mvn"
47 Just mvn -> return mvn
51 Just mvn -> return mvn
49tempfile :: IO (FilePath, Handle)
53tempfile :: IO (FilePath, Handle)
@@ -84,4 +88,4 @@ getIncFlags = do dir <- getDataDir
84 return $ "-I" ++ dir </> "rts"
88 return $ "-I" ++ dir </> "rts"
86getExecutablePom = do dir <- getDataDir
90getExecutablePom = do dir <- getDataDir
87− return $ dir </> "executable_pom.xml"
91+ return $ dir </> "executable_pom.xml"