don't jailbreak agda2hs from flake.nix

remove mentions of ghc 9.6 since we don't rely on it
jespercockx · Sep 24, 2024 · c8b7fa6 · c8b7fa6
1 parent 3f478bf
commit c8b7fa6
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/flake.nix b/flake.nix
@@ -23,13 +23,12 @@
         scope-lib = scope.packages.${system}.scope-lib;
 
         helper = agda2hs.lib.${system};
-        hpkgs = pkgs.haskell.packages.ghc96;
-        agda2hs-ghc96 = pkgs.callPackage (helper.agda2hs-expr) {
+        agda2hs-drv = pkgs.callPackage (helper.agda2hs-expr) {
           inherit self;
-          agda2hs = hpkgs.callPackage (helper.agda2hs-pkg "--jailbreak") {};
-          inherit (hpkgs) ghcWithPackages;
+          agda2hs = pkgs.haskellPackages.callPackage (helper.agda2hs-pkg "") {};
+          inherit (pkgs.haskellPackages) ghcWithPackages;
         };
-        agda2hs-custom = agda2hs-ghc96.withPackages [agda2hs-lib scope-lib];
+        agda2hs-custom = agda2hs-drv.withPackages [agda2hs-lib scope-lib];
         agda-core-pkg = import ./nix/agda-core.nix;
         agda-core = pkgs.haskellPackages.callPackage ./nix/agda-core.nix {agda2hs = agda2hs-custom;};
       in {