From 66d37e763185e7d4697cf22e7aa0455281f4dbec Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 7 Nov 2023 12:28:53 +0000
Subject: Copy maint/via-cargo-install-in-ci from arti.git

From arti.git#80ab4331642c8690aca9facd91d8022b23bcd189
---
 bin/via-cargo-install-in-ci | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 bin/via-cargo-install-in-ci

(limited to 'bin')

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
-- 
cgit v1.2.3-54-g00ecf