From f2fa29e5ef5c8c7d7375e4c8a37dbba1012fb95c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 3 May 2024 11:32:44 +0200
Subject: `./charon-pin` stores the current charon commit

It is kept up-to-date in CI
---
 Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 414f562d..cf97e548 100644
--- a/Makefile
+++ b/Makefile
@@ -77,6 +77,17 @@ build-bin-dir: build-bin build-lib
 doc:
 	cd compiler && dune build @doc
 
+# Fetches the latest commit from charon and updates `flake.lock` accordingly.
+.PHONY: update-charon-pin
+update-charon-pin:
+	nix flake lock --update-input charon
+	$(MAKE) charon-pin
+
+# Keep the commit revision in `./charon-pin` as well so that non-nix users can
+# know which commit to use.
+./charon-pin: flake.lock
+	nix-shell -p jq --run './scripts/update-charon-pin.sh' >> ./charon-pin
+
 .PHONY: clean
 clean: clean-generated
 	cd compiler && dune clean
-- 
cgit v1.2.3