git.iko.soy/Idris-dev
on master help sign in
Fix installation of LLVM codegen's RTS to incorrect path

Breakage introduced by c7cf1f0f

commit8e53c10340211cf45cfde65c15fd078fe9504c42 authorBenjamin Saunders <besaunde@sfu.ca> dateTue 8 Oct 2013, 15:08 (13 years ago) parentb397692
1 file changed+1−1
compare with master
unifiedsplit
Setup.hs+1−1
Setup.hs+1−1
@@ -134,7 +134,7 @@ idrisInstall verbosity copy pkg local = do
134134 installLLVM = do
135135 let target' = target </> "llvm"
136136 putStrLn $ "Installing LLVM library in " ++ target
137− makeInstall "llvm" target
137+ makeInstall "llvm" target'
138138
139139 makeInstall src target =
140140 make verbosity [ "-C", src, "install" , "TARGET=" ++ target, "IDRIS=" ++ idrisCmd local]