From 1557b1e9ed619dc34420863013f506ad964b8100 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Wed, 2 Aug 2017 01:33:54 +0300
Subject: [PATCH] Manifest for @PlatformIO

Custom manifest for @PlatformIO which instructs PIO Build System to do not archive library's object files. See

- https://github.com/esp8266/Arduino/pull/3321#issuecomment-319386749
- http://docs.platformio.org/en/latest/librarymanager/config.html#libarchive
---
 libraries/GDBStub/library.json | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 libraries/GDBStub/library.json

diff --git a/libraries/GDBStub/library.json b/libraries/GDBStub/library.json
new file mode 100644
index 0000000000..6b38685eb8
--- /dev/null
+++ b/libraries/GDBStub/library.json
@@ -0,0 +1,30 @@
+{
+  "name": "GDBStub",
+  "version": "0.2",  
+  "keywords": "gdb, debug",
+  "description": "GDB server stub helps debug crashes when JTAG isn't an option.",
+  "repository":
+  {
+    "type": "git",
+    "url": "https://github.com/esp8266/Arduino.git"
+  },
+  "export": {
+    "include": "libraries/GDBStub"
+  },  
+  "authors":
+  [
+    {
+      "name": "Jeroen Domburg"
+    },
+    {
+      "name": "Ivan Grokhotkov",
+      "email": "ivan@esp8266.com",
+      "maintainer": true
+    }
+  ],
+  "frameworks": "arduino",
+  "platforms": "espressif8266",
+  "build": {
+    "libArchive": false
+  }  
+}