@@ -43,7 +43,11 @@ getCC = do env <- environment "IDRIS_CC"
4343getMvn :: IO String
4444getMvn = do env <- environment "IDRIS_MVN"
4545 case env of
46+#ifdef mingw32_HOST_OS
47+ Nothing -> return "mvn.bat"
48+#else
4649 Nothing -> return "mvn"
50+#endif
4751 Just mvn -> return mvn
4852
4953tempfile :: IO (FilePath, Handle)
@@ -84,4 +88,4 @@ getIncFlags = do dir <- getDataDir
8488 return $ "-I" ++ dir </> "rts"
8589
8690getExecutablePom = do dir <- getDataDir
87− return $ dir </> "executable_pom.xml"
91+ return $ dir </> "executable_pom.xml"