From 4f6f3fcfaf4f2d99cf9c8f73fe93fd7bfa54c92a Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Wed, 23 Mar 2022 11:27:26 +0100 Subject: repos.json: add pragma "to_git" for roots used by external projects ... so that they become fully content-fixed and we can benefit from target caching, once implemented. --- etc/repos.json | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) diff --git a/etc/repos.json b/etc/repos.json index 109d2a2b..a7aa4095 100644 --- a/etc/repos.json +++ b/etc/repos.json @@ -16,10 +16,17 @@ } , "bootstrap": {"link": ["-lgit2", "-lpthread"]} } - , "defaults": {"repository": {"type": "file", "path": "etc/defaults"}} - , "patches": {"repository": {"type": "file", "path": "etc/patches"}} + , "defaults": + { "repository": + {"type": "file", "path": "etc/defaults", "pragma": {"to_git": true}} + } + , "patches": + { "repository": + {"type": "file", "path": "etc/patches", "pragma": {"to_git": true}} + } , "rules": - { "repository": {"type": "file", "path": "rules"} + { "repository": + {"type": "file", "path": "rules", "pragma": {"to_git": true}} , "target_root": "defaults" , "rule_root": "rules" , "bindings": {"protoc": "protobuf", "grpc": "com_github_grpc_grpc"} @@ -61,7 +68,10 @@ , "rule_root": "rules" , "target_file_name": "TARGETS.git2" } - , "import targets": {"repository": {"type": "file", "path": "etc/import"}} + , "import targets": + { "repository": + {"type": "file", "path": "etc/import", "pragma": {"to_git": true}} + } , "gsl-lite": { "repository": { "type": "archive" -- cgit v1.2.3