From 3e4b80a54611a255ac7f9b3aac86ef6e961edf02 Mon Sep 17 00:00:00 2001
From: Jeremy Wall <jeremy@marzhillstudios.com>
Date: Thu, 29 Aug 2024 00:27:06 -0400
Subject: [PATCH] dev: automation to update the quint package

---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index 969f993..99b7a01 100644
--- a/Makefile
+++ b/Makefile
@@ -1,2 +1,10 @@
 %-darwin:
 	darwin-rebuild --flake ./nix/base-system $*
+
+update-quint-%:
+	curl curl https://raw.githubusercontent.com/informalsystems/quint/$*/quint/package.json > nix/packages/quint/package.json 
+	cd nix/packages/quint; nix run "nixpkgs#node2nix" -- -18
+	#pactch the default.nix
+	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