@@ -22,12 +22,12 @@ installStdLib pkg local verbosity copy
2222 let icmd = ".." </> buildDir local </> "idris" </> "idris"
2323 putStrLn $ "Installing libraries in " ++ idir
2424 make verbosity
25− [ "-C", "support", "install"
25+ [ "-C", "lib", "install"
2626 , "TARGET=" ++ idir
2727 , "IDRIS=" ++ icmd
2828 ]
2929 make verbosity
30− [ "-C", "lib", "install"
30+ [ "-C", "support", "install"
3131 , "TARGET=" ++ idir
3232 , "IDRIS=" ++ icmd
3333 ]
@@ -36,11 +36,11 @@ checkStdLib local verbosity
3636 = do let icmd = ".." </> buildDir local </> "idris" </> "idris"
3737 putStrLn $ "Building libraries..."
3838 make verbosity
39− [ "-C", "support", "check"
39+ [ "-C", "lib", "check"
4040 , "IDRIS=" ++ icmd
4141 ]
4242 make verbosity
43− [ "-C", "lib", "check"
43+ [ "-C", "support", "check"
4444 , "IDRIS=" ++ icmd
4545 ]
4646