From d7d27a5520e50d75d2de55550b044d4b17023bef Mon Sep 17 00:00:00 2001 From: Jeremy Wall Date: Sun, 15 Sep 2024 20:48:29 -0400 Subject: [PATCH] dev: automation to update inputs --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 4455827..e1c4dec 100644 --- a/Makefile +++ b/Makefile @@ -9,3 +9,6 @@ update-quint: #sed -e 's#inherit nodeEnv;#inherit nodeEnv quint-src;#' -e 's/, system/, quint-src, system/' -i '' nix/packages/quint/default.nix #sed -e 's#src = \./\.#src = "$${quint-src}/quint"#' -e 's#nodeEnv, #quint-src, nodeEnv, #' -i '' nix/packages/quint/node-packages.nix #rm -f nix/packages/quint/package*.json + +update-input-%: + nix flake lock --update-input $* ./nix/base-system/