@@ -22,12 +22,12 @@ installStdLib pkg local verbosity copy
22 let icmd = ".." </> buildDir local </> "idris" </> "idris"
22 let icmd = ".." </> buildDir local </> "idris" </> "idris"
23 putStrLn $ "Installing libraries in " ++ idir
23 putStrLn $ "Installing libraries in " ++ idir
24 make verbosity
24 make verbosity
25− [ "-C", "support", "install"
25+ [ "-C", "lib", "install"
26 , "TARGET=" ++ idir
26 , "TARGET=" ++ idir
27 , "IDRIS=" ++ icmd
27 , "IDRIS=" ++ icmd
29 make verbosity
29 make verbosity
30− [ "-C", "lib", "install"
30+ [ "-C", "support", "install"
31 , "TARGET=" ++ idir
31 , "TARGET=" ++ idir
32 , "IDRIS=" ++ icmd
32 , "IDRIS=" ++ icmd
@@ -36,11 +36,11 @@ checkStdLib local verbosity
36 = do let icmd = ".." </> buildDir local </> "idris" </> "idris"
36 = do let icmd = ".." </> buildDir local </> "idris" </> "idris"
37 putStrLn $ "Building libraries..."
37 putStrLn $ "Building libraries..."
38 make verbosity
38 make verbosity
39− [ "-C", "support", "check"
39+ [ "-C", "lib", "check"
40 , "IDRIS=" ++ icmd
40 , "IDRIS=" ++ icmd
42 make verbosity
42 make verbosity
43− [ "-C", "lib", "check"
43+ [ "-C", "support", "check"
44 , "IDRIS=" ++ icmd
44 , "IDRIS=" ++ icmd