diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-07 12:28:53 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2023-11-07 12:28:53 +0000 |
commit | 66d37e763185e7d4697cf22e7aa0455281f4dbec (patch) | |
tree | 71d552e7a7b4340176c68083b7d069421ce675ee /bin | |
parent | 897072238d84a8609b07905548dd7ff1602f568d (diff) | |
download | torspec-66d37e763185e7d4697cf22e7aa0455281f4dbec.tar.gz torspec-66d37e763185e7d4697cf22e7aa0455281f4dbec.zip |
Copy maint/via-cargo-install-in-ci from arti.git
From arti.git#80ab4331642c8690aca9facd91d8022b23bcd189
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/via-cargo-install-in-ci | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/bin/via-cargo-install-in-ci b/bin/via-cargo-install-in-ci new file mode 100755 index 0000000..c104ff9 --- /dev/null +++ b/bin/via-cargo-install-in-ci @@ -0,0 +1,20 @@ +#!/usr/bin/env bash + +set -euo pipefail + +# Bump this to "clear" the cache. +# Actually, it just causes us to ignore previous cached results. +cache_clear_token=2023-09-11 + +cache_dir=cache/"$CI_JOB_IMAGE","$cache_clear_token" + +mkdir -p "$cache_dir" + +for cmd in "$@"; do + cache="$cache_dir/$cmd" + + if cp "$cache" "$CARGO_HOME"/bin/; then continue; fi + + cargo install --locked "$cmd" + cp -v "$CARGO_HOME/bin/$cmd" "$cache" +done |