From 6558afa21d56ba87921fce9bb03b2f3b3cff70b1 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 22 Jun 2015 09:19:11 +0200
Subject: [PATCH] Libraries: if missing header files, a lib doesn't even get
 listed. Fixes #3374

---
 .../arduino/contributions/libraries/LibrariesIndexer.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
index dd7c18196..735c86cb3 100644
--- a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
+++ b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
@@ -171,6 +171,10 @@ public class LibrariesIndexer {
       // Create a legacy library and exit
       LegacyUserLibrary lib = LegacyUserLibrary.create(folder);
       lib.setReadOnly(readOnly);
+      String[] headers = BaseNoGui.headerListFromIncludePath(lib.getSrcFolder());
+      if (headers.length == 0) {
+        throw new IOException(lib.getSrcFolder().getAbsolutePath());
+      }
       installedLibraries.addOrReplace(lib);
       if (isSketchbook) {
         installedLibrariesWithDuplicates.add(lib);
@@ -183,6 +187,10 @@ public class LibrariesIndexer {
     // Create a regular library
     UserLibrary lib = UserLibrary.create(folder);
     lib.setReadOnly(readOnly);
+    String[] headers = BaseNoGui.headerListFromIncludePath(lib.getSrcFolder());
+    if (headers.length == 0) {
+      throw new IOException(lib.getSrcFolder().getAbsolutePath());
+    }
     installedLibraries.addOrReplace(lib);
     if (isSketchbook) {
       installedLibrariesWithDuplicates.add(lib);