nix voodoo

AeneasVerif · Apr 19, 2024 · f2fd840 · f2fd840
1 parent 1f76827
commit f2fd840
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 12 deletions.
diff --git a/Makefile b/Makefile
@@ -45,3 +45,6 @@ test-%: test/%/out.llbc out/test-%/main.c | all
 .PRECIOUS: out/%
 out/%:
 	mkdir -p $@
+
+nix-magic:
+	nix flake update --extra-experimental-features nix-command --extra-experimental-features flakes
diff --git a/flake.lock b/flake.lock