From 07744b5f69ee8d73c6bf7c6b384403957b612027 Mon Sep 17 00:00:00 2001
From: Nicolas Biri <nicolas@biri.name>
Date: Sun, 3 May 2020 09:43:33 +0200
Subject: [PATCH] --find-pkg load dependencies

---
 src/Idris/Package.idr | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Idris/Package.idr b/src/Idris/Package.idr
index 5c6e6ff..a16852c 100644
--- a/src/Idris/Package.idr
+++ b/src/Idris/Package.idr
@@ -486,6 +486,7 @@ findIpkg fname
         pkg <- addFields fs (initPkgDesc pname)
         setSourceDir (sourcedir pkg)
         processOptions (options pkg)
+        loadDependencies (depends pkg)
         case fname of
              Nothing => pure Nothing
              Just src =>
@@ -499,3 +500,5 @@ findIpkg fname
     dropHead str [] = []
     dropHead str (x :: xs)
         = if x == str then xs else x :: xs
+    loadDependencies : List String -> Core ()
+    loadDependencies = traverse_ addPkgDir