nix

LPCIC · Jan 26, 2024 · bf2cf8d · bf2cf8d
1 parent c3914be
commit bf2cf8d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"4e48948fa8252a2fc755182abdd4b199f4798724"
+"dd771a5001cd955514f2462cad7cdd90377530e3"
diff --git 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"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"4e48948fa8252a2fc755182abdd4b199f4798724"
		"dd771a5001cd955514f2462cad7cdd90377530e3"