git.iko.soy/Idris-dev
on master help sign in
Fixed mvn for mingw32
e18c3efChetan Taralekar
Setup.hs+6−1
compare with master
unifiedsplit
@@ -21,7 +21,12 @@ import qualified Data.Text.IO as TIO
21-- After Idris is built, we need to check and install the prelude and other libs
21-- After Idris is built, we need to check and install the prelude and other libs
22
22
23make verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation "make"
23make verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation "make"
24−mvn verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation "mvn"
24+mvn verbosity = P.runProgramInvocation verbosity . P.simpleProgramInvocation
25+#ifdef mingw32_HOST_OS
26+ "mvn.bat"
27+#else
28+ "mvn"
29+#endif
25
30
26#ifdef mingw32_HOST_OS
31#ifdef mingw32_HOST_OS
27-- make on mingw32 exepects unix style separators
32-- make on mingw32 exepects unix style separators