From bf2cf8d910c92ef937b7018731b1d3ddc3b8e42f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 26 Jan 2024 08:41:52 +0100
Subject: [PATCH] nix

---
 .nix/coq-nix-toolbox.nix | 2 +-
 Makefile                 | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 40241c864..2ca14687e 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"4e48948fa8252a2fc755182abdd4b199f4798724"
+"dd771a5001cd955514f2462cad7cdd90377530e3"
diff --git a/Makefile b/Makefile
index 005a37477..aa3518acc 100644
--- a/Makefile
+++ b/Makefile
@@ -151,3 +151,6 @@ SPACE=$(XXX) $(YYY)
 apps/%.vo: force
 	@$(MAKE) -C apps/$(word 1,$(subst /, ,$*)) \
 		$(subst $(SPACE),/,$(wordlist 2,99,$(subst /, ,$*))).vo
+
+nix:
+	nix-shell --arg do-nothing true --run "updateNixToolBox & genNixActions"
\ No newline at end of file