aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2023-11-07 12:28:53 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2023-11-07 12:28:53 +0000
commit66d37e763185e7d4697cf22e7aa0455281f4dbec (patch)
tree71d552e7a7b4340176c68083b7d069421ce675ee /bin
parent897072238d84a8609b07905548dd7ff1602f568d (diff)
downloadtorspec-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-xbin/via-cargo-install-in-ci20
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