@@ -134,7 +134,7 @@ idrisInstall verbosity copy pkg local = do
134 installLLVM = do
134 installLLVM = do
135 let target' = target </> "llvm"
135 let target' = target </> "llvm"
136 putStrLn $ "Installing LLVM library in " ++ target
136 putStrLn $ "Installing LLVM library in " ++ target
137− makeInstall "llvm" target
137+ makeInstall "llvm" target'
139 makeInstall src target =
139 makeInstall src target =
140 make verbosity [ "-C", src, "install" , "TARGET=" ++ target, "IDRIS=" ++ idrisCmd local]
140 make verbosity [ "-C", src, "install" , "TARGET=" ++ target, "IDRIS=" ++ idrisCmd local]