fix cabal shell

runtimeverification · Oct 16, 2023 · 3cd32d1 · 3cd32d1
1 parent 04b073a
commit 3cd32d1
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/flake.nix b/flake.nix
@@ -125,12 +125,12 @@
                 haskellPackages.fourmolu_0_12_0_0)
             ];
           };
-        cabal = with nixpkgsFor system;
-          haskell-backend.pkgSet.shellFor {
-            packages = haskell-backend.localPkgsSelector;
-            nativeBuildInputs = [ haskell.packages.ghc928.cabal-install z3 ];
-          };
-
+        cabal = let pkgs = nixpkgsFor system;
+        in pkgs.haskell-backend.pkgSet.shellFor {
+          packages = pkgs.haskell-backend.localPkgsSelector;
+          nativeBuildInputs =
+            [ pkgs.haskell.packages.ghc928.cabal-install pkgs.z3 ];
+        };
       });
 
       devShell =