edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-18 10:21:39 +03:00
Code Issues Projects Releases Wiki Activity

--find-pkg load dependencies

Browse Source
This commit is contained in:
Nicolas Biri 2020-05-03 09:43:33 +02:00
parent 45d02a11b7
commit 07744b5f69
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Idris/Package.idr
View File

@ -486,6 +486,7 @@ findIpkg fname
pkg <- addFields fs (initPkgDesc pname) pkg <- addFields fs (initPkgDesc pname)
setSourceDir (sourcedir pkg) setSourceDir (sourcedir pkg)
processOptions (options pkg) processOptions (options pkg)
loadDependencies (depends pkg)
case fname of case fname of
Nothing => pure Nothing Nothing => pure Nothing
Just src => Just src =>
@ -499,3 +500,5 @@ findIpkg fname
dropHead str [] = [] dropHead str [] = []
dropHead str (x :: xs) dropHead str (x :: xs)
= if x == str then xs else x :: xs = if x == str then xs else x :: xs
loadDependencies : List String -> Core ()
loadDependencies = traverse_ addPkgDir