2024-01-29 16:29:10 -05:00
|
|
|
%-darwin:
|
|
|
|
|
darwin-rebuild --flake ./nix/base-system $*
|
2024-08-29 00:27:06 -04:00
|
|
|
|
2024-08-30 10:32:03 -04:00
|
|
|
update-quint:
|
|
|
|
|
#curl -L https://raw.githubusercontent.com/informalsystems/quint/$*/quint/package.json > nix/packages/quint/package.json
|
|
|
|
|
#curl -L https://raw.githubusercontent.com/informalsystems/quint/$*/quint/package-lock.json > nix/packages/quint/package-lock.json
|
|
|
|
|
cd nix/packages/quint; nix run "nixpkgs#node2nix" -- -18 -i node-packages.json
|
2024-08-29 00:27:06 -04:00
|
|
|
#pactch the default.nix
|
2024-08-30 10:32:03 -04:00
|
|
|
#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
|
