27e4266 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Add IDRIS_LIBRARY_PATH environment variable

Allows specifying where to find Idris libraries. After doing a build, you can even point Idris to the repo's lib path: IDRIS_LIBRARY_PATH=libs dist/build/idris/idris

commit27e4266df1532cce701e1179e51dbd9cf056b67a authorBrian McKenna <brian@simpleenergy.com> dateSat 24 Jan 2015, 17:04 (12 years ago) parent91b7715

3 files changed+5−3

compare with master

unifiedsplit

src/IRTS/System.hs+2−1 src/Idris/IBC.hs+2−1 src/Idris/REPL.hs+1−1

src/IRTS/System.hs+2−1

@@ -53,7 +53,8 @@ getLibFlags = do dir <- getDataDir

5353 return $ ["-L" ++ (dir </> "rts"),

5454 "-lidris_rts"] ++ extraLib ++ gmpLib ++ ["-lpthread"]

5555

56−getIdrisLibDir = do dir <- getDataDir

56+getIdrisLibDir = do libPath <- environment "IDRIS_LIBRARY_PATH"

57+ dir <- maybe getDataDir return libPath

5758 return $ addTrailingPathSeparator dir

5859

5960#if defined(FREEBSD) || defined(DRAGONFLY)

src/Idris/IBC.hs+2−1

@@ -14,6 +14,7 @@ import Idris.Delaborate

1414import qualified Idris.Docstrings as D

1515import Idris.Docstrings (Docstring)

1616import Idris.Output

17+import IRTS.System (getIdrisLibDir)

1718import Paths_idris

1819

1920import qualified Cheapskate.Types as CT

@@ -102,7 +103,7 @@ loadIBC reexport fp

102103

103104-- | Load an entire package from its index file

104105loadPkgIndex :: String -> Idris ()

105−loadPkgIndex pkg = do ddir <- runIO $ getDataDir

106+loadPkgIndex pkg = do ddir <- runIO $ getIdrisLibDir

106107 addImportDir (ddir </> pkg)

107108 fp <- findPkgIndex pkg

108109 loadIBC True fp

src/Idris/REPL.hs+1−1

@@ -1619,7 +1619,7 @@ idrisMain opts =

16191619 makeOption _ = return ()

16201620

16211621 addPkgDir :: String -> Idris ()

1622− addPkgDir p = do ddir <- runIO $ getDataDir

1622+ addPkgDir p = do ddir <- runIO $ getIdrisLibDir

16231623 addImportDir (ddir </> p)

16241624 addIBC (IBCImportDir (ddir </> p))

16251625