edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-27 18:53:42 +03:00
Code Issues Projects Releases Wiki Activity

add contrib to the search path for modules

Browse Source
This commit is contained in:
Rohit Grover 2020-05-07 21:41:27 +12:00
parent a190408aa1
commit 5e9a46163e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Idris/Main.idr
View File

@ -69,6 +69,7 @@ updatePaths
defs <- get Ctxt
addPkgDir "prelude"
addPkgDir "base"
addPkgDir "contrib"
addDataDir (dir_prefix (dirs (options defs)) ++ dirSep ++
"idris2-" ++ showVersion False version ++ dirSep ++ "support")
addLibDir (dir_prefix (dirs (options defs)) ++ dirSep ++