on master help sign in
Merge pull request #104 from LeifW/make_idris_install_respect_target

Allow $TARGET to override libdir on the `idris --install` command.

commit5138f54f225d8504aaf95ac4498e6744ed93ab65 authorEdwin Brady <edwin.brady@gmail.com> dateWed 28 Nov 2012, 14:52 (14 years ago) parent04650f081d917f
1 file changed+3−1
src/Pkg/Package.hs+3−1
src/Pkg/Package.hs+3−1
@@ -6,6 +6,7 @@ import System.Directory
66import System.Exit
77import System.IO
88import System.FilePath ((</>), addTrailingPathSeparator)
9+import System.Environment (lookupEnv)
910
1011import Util.System
1112
@@ -102,7 +103,8 @@ toIBCFile (NS n ns) = foldl1 (</>) (reverse (toIBCFile n : ns))
102103
103104installIBC :: String -> Name -> IO ()
104105installIBC p m = do let f = toIBCFile m
105− d <- getDataDir
106+ target <- lookupEnv "TARGET"
107+ d <- maybe getDataDir return target
106108 let destdir = d </> p </> getDest m
107109 putStrLn $ "Installing " ++ f ++ " to " ++ destdir
108110 system $ mkDirCmd ++ destdir