Disable tests in nix build to fix circular dependency

The testsuite requires the agda2hs binary to be in PATH, but during
nix build of the Haskell package, the binary isn't available yet.
This creates a circular dependency. Use dontCheck to disable tests
in nix builds - tests should be run via `cabal test` in a development
environment instead.

Co-authored-by: andreasabel <[email protected]>

Author: Copilot

nix/lib.nix

@@ -10,7 +10,10 @@ let
       src = ../.;
       extraCabal2nixOptions = options; # "--jailbreak"
     };
-  hpkg = pkgs.haskellPackages.callPackage (hsrc "") { };
+  # Disable tests in nix build - the testsuite requires the agda2hs binary
+  # to be in PATH, which is a circular dependency. Tests should be run
+  # via `cabal test` in a development environment instead.
+  hpkg = pkgs.haskell.lib.dontCheck (pkgs.haskellPackages.callPackage (hsrc "") { });
   expr = import ./agda2hs.nix;
   agda2hs = pkgs.lib.makeScope pkgs.newScope (
     self: