diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-03-23 11:27:26 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-03-23 18:05:25 +0100 |
| commit | 4f6f3fcfaf4f2d99cf9c8f73fe93fd7bfa54c92a (patch) | |
| tree | 28a2ff56e9a13f5ce0b3c9a02c8f483172e54cd8 | |
| parent | ee223a04149dbda742a48bddabdeeb01a431f0eb (diff) | |
| download | justbuild-4f6f3fcfaf4f2d99cf9c8f73fe93fd7bfa54c92a.tar.gz | |
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.
| -rw-r--r-- | etc/repos.json | 18 |
1 files 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" |