git.iko.soy/Idris-dev
on master help sign in
Fixed mvn for mingw32
commite18c3ef2f964602f05f7fbe9e6f6fc87b04c1f7a authorChetan Taralekar <chetant@gmail.com> dateSat 22 Jun 2013, 23:33 (13 years ago) parentf885274
1 file changed+6−1
compare with master
unifiedsplit
Setup.hs+6−1
Setup.hs+6−1
@@ -21,7 +21,12 @@ import qualified Data.Text.IO as TIO
2121-- After Idris is built, we need to check and install the prelude and other libs
2222
2323make 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
2530
2631#ifdef mingw32_HOST_OS
2732-- make on mingw32 exepects unix style separators