zaphar/dotfiles
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

dev: automation to update the quint package

Browse Source
This commit is contained in:
Jeremy Wall 2024-08-29 00:27:06 -04:00
parent 5e0acc47d2
commit 3e4b80a546
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Makefile
View File

@ -1,2 +1,10 @@
%-darwin: %-darwin:
darwin-rebuild --flake ./nix/base-system $* 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