Use Dafny from VSCode extension instead of nixpkgs

Changes

3 changed files (+12/-12)

• Unnamed-Server/default.nix
  • @@ -94,7 +94,7 @@
    "github.com/caddy-dns/porkbun@v0.3.1" "dev.mediocregopher.com/mediocre-caddy-plugins.git@v0.0.0-20250308145011-421597d7c920" ]; - hash = "sha256-BMUIO9oH6gkOBgtVrkcdA6l5X+OYMvZvl6EznZ2YTBU="; + hash = "sha256-Udje19JSqTeRh+In2ERthj28X2V05d6eYM7YbACryt0="; }; # Porkbun API keys environmentFile = "/etc/caddy/env";
• flake.lock
  • @@ -28,11 +28,11 @@
    ] }, "locked": { - "lastModified": 1784553979, - "narHash": "sha256-FnUN8U+ENNLba80/JhxlbQpLoXFkUUz9/6c8od7E+qo=", + "lastModified": 1784969287, + "narHash": "sha256-TFwNUaLgxXjn65WqpmE21cagRwdeE2bNO+eO9Gg0JG8=", "owner": "pocka", "repo": "legit", - "rev": "113da4a68bf5b18475bc39ff3b491f9a70655988", + "rev": "f483e5f03df08cbbb675620c7e4aeb3394826d97", "type": "github" }, "original": {
  • @@ -48,11 +48,11 @@
    ] }, "locked": { - "lastModified": 1784920490, - "narHash": "sha256-rrC7h9ixlCRkCAO5iOVtbMU/MR0PgJWkSfVUvpvaY3s=", + "lastModified": 1784930339, + "narHash": "sha256-6BWz2QaGpc2PrRXJy7uzj4SPtLRa4KHSLmy2V1ZBxNA=", "ref": "refs/heads/main", - "rev": "f3aa6cb66ea1f80e56065acfe4a19b8201cd66de", - "revCount": 123, + "rev": "cfd189701f523f31e98de93b0d40168678a516c9", + "revCount": 124, "type": "git", "url": "https://forgejo.mit.edu/SIPB/nixathena.git" },
• laptop.nix
  • @@ -90,8 +90,8 @@ in
    vsrocq-language-server ] )) - # For the Dafny VSCode extension, dotnet and z3 must be in $PATH - dafny + # For the Dafny VSCode extension, dotnet must be in $PATH + # Use Dafny and Z3 from the extension rather than nixpkgs to match the exact version that 6.S057 uses dotnet-runtime # For installing Lean beta versions # Also, lean4 from nixpkgs is often outdated and doesn't work with the mathlib binary cache
  • @@ -114,7 +114,6 @@ in
    substituteInPlace $out/lib/vscode/resources/app/product.json --replace-fail .vscode-oss .local/share/VSCodium ''; })) - z3 # Apps deja-dup
  • @@ -150,7 +149,8 @@ in
    vips ]; variables = { - DAFNY_SERVER_OVERRIDE = "${pkgs.dafny}/lib/Dafny/Dafny.dll"; + # For Dafny + DOTNET_SYSTEM_GLOBALIZATION_INVARIANT = 1; # Lean toolchains are huge so put them outside of ~ so they don't end up in backups or snapshots ELAN_HOME = "/opt/elan"; # Make Electron apps use Wayland