From 128df24bebbfe0049b2367fdd662059ae837df7c Mon Sep 17 00:00:00 2001
From: Alberto Sartori <alberto.sartori@huawei.com>
Date: Mon, 21 Mar 2022 14:41:36 +0100
Subject: add just-ext-hdrs target to stage external headers is a given folder

This is useful when e.g. using an IDE to get access to the definition/
declaration of the symbols of external dependencies
---
 TARGETS         |  7 +++++++
 etc/dev/TARGETS | 18 ++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 etc/dev/TARGETS

diff --git a/TARGETS b/TARGETS
index 585e784e..957b0f3f 100644
--- a/TARGETS
+++ b/TARGETS
@@ -23,4 +23,11 @@
   , "flexible_config":
     ["OS", "ARCH", "HOST_ARCH", "TARGET_ARCH", "CXX", "AR", "ENV"]
   }
+, "just-ext-hdrs":
+  { "type": ["@", "rules", "CC", "configure"]
+  , "arguments_config": ["OS", "ARCH"]
+  , "os": [{"type": "var", "name": "OS", "default": "linux"}]
+  , "arch": [{"type": "var", "name": "ARCH", "default": "x86_64"}]
+  , "target": [["etc/dev", "just-ext-hdrs"]]
+  }
 }
diff --git a/etc/dev/TARGETS b/etc/dev/TARGETS
new file mode 100644
index 00000000..07cc002c
--- /dev/null
+++ b/etc/dev/TARGETS
@@ -0,0 +1,18 @@
+{ "just-ext-hdrs":
+  { "type": ["@", "rules", "CC/IDE", "headers"]
+  , "deps":
+    [ ["@", "ssl", "", "crypto"]
+    , ["@", "grpc", "", "grpc++"]
+    , ["@", "gsl-lite", "", "gsl-lite"]
+    , ["@", "fmt", "", "fmt"]
+    , ["@", "cli11", "", "cli11"]
+    , ["@", "json", "", "json"]
+    , ["@", "catch2", "", "catch2"]
+    , ["", "libgit2"]
+    ]
+  , "proto":
+    [ ["@", "bazel_remote_apis", "", "remote_execution_proto"]
+    , ["@", "googleapis", "", "google_bytestream_proto"]
+    ]
+  }
+}
-- 
cgit v1.2.3