From d8ddfdc5a5ee4d4346f5842ea6f1252d0e8603df Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Mon, 18 Jun 2018 11:32:19 -0500
Subject: [PATCH] Populate lib_dirs

---
 tools/resources/__init__.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tools/resources/__init__.py b/tools/resources/__init__.py
index ef63bfabed..2c08d40f65 100644
--- a/tools/resources/__init__.py
+++ b/tools/resources/__init__.py
@@ -431,6 +431,11 @@ class Resources(object):
         ".bld": FileType.BLD_REF,
     }
 
+    _DIR_EXT = {
+        ".a": FileType.LIB_DIR,
+        ".ar": FileType.LIB_DIR,
+    }
+
     def _add_file(self, file_path, base_path, into_path):
         """ Add a single file into the resources object that was found by
         scanning starting as base_path
@@ -448,6 +453,11 @@ class Resources(object):
             self.add_file_ref(file_type, fake_path, file_path)
         except KeyError:
             pass
+        try:
+            dir_type = self._DIR_EXT[ext.lower()]
+            self.add_file_ref(dir_type, dirname(fake_path), dirname(file_path))
+        except KeyError:
+            pass
 
 
     def scan_with_toolchain(self, src_paths, toolchain, dependencies_paths=None,