diff options
author | Alberto Sartori <alberto.sartori@huawei.com> | 2022-03-21 14:41:36 +0100 |
---|---|---|
committer | Alberto Sartori <alberto.sartori@huawei.com> | 2022-03-23 16:38:09 +0100 |
commit | 128df24bebbfe0049b2367fdd662059ae837df7c (patch) | |
tree | a0ec504111ec475a734f3e3c7ad4cf7c5aa2b92e | |
parent | 611f77184d80e7bb553b1d5b2a1d0a265b7dbfe1 (diff) | |
download | justbuild-128df24bebbfe0049b2367fdd662059ae837df7c.tar.gz |
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
-rw-r--r-- | TARGETS | 7 | ||||
-rw-r--r-- | etc/dev/TARGETS | 18 |
2 files changed, 25 insertions, 0 deletions
@@ -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"] + ] + } +} |