Updated nixpkgs. Added custom mypy build. (#1636)

* Updated nixpkgs. Added custom mypy build (required version isn't in nixpkgs) * Used overrideAttrs on nixpkgs' mypy rather than a new derivation as per @johnchildren's suggestion
CQCL · Oct 28, 2024 · d8ba24c · d8ba24c
1 parent a3ae551
commit d8ba24c
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 7 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/nix-support/pytket.nix b/nix-support/pytket.nix
@@ -73,7 +73,7 @@ in {
       } $out/lib/python${super.python3.pythonVersion}/site-packages/pytket/circuit/display/static;
     '';
     checkInputs = with super.python3.pkgs; [
-      mypy
+      self.mypy'
       pytest
       pytest-cov
       pytest-benchmark

diff --git a/nix-support/third-party-python-packages.nix b/nix-support/third-party-python-packages.nix
@@ -1,4 +1,14 @@
 self: super: {
+  mypy' = super.python3Packages.mypy.overrideAttrs (oldAttrs: rec {
+    version = "1.13.0";
+    name = "python${super.python3.pythonVersion}-mypy-${version}";
+    src = super.fetchFromGitHub {
+      owner = "python";
+      repo = "mypy";
+      rev = "refs/tags/v${version}";
+      hash = sha256:P2Ozmj7/7QBmjlveHLsNdYgUAerg0qOoa8pO0iQc5os=;
+    };
+  });
   pybind11_json = super.stdenv.mkDerivation {
     name = "pybind11_json";
     src = super.fetchFromGitHub {