use python3Full

hydro-dev · Aug 7, 2023 · 030e261 · 030e261
1 parent 27c75df
commit 030e261
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/default.nix b/default.nix
@@ -1,7 +1,9 @@
-{ system ? builtins.currentSystem }:
+{ 
+  system ? builtins.currentSystem,
+  pkgs ? import <nixpkgs> { inherit system; }
+}:
 
 let
-  pkgs = import <nixpkgs> { inherit system; };
   callPackage = pkgs.lib.callPackageWith (pkgs // self);
   tuna = "https://mirrors.tuna.tsinghua.edu.cn/mongodb/";
 

diff --git a/judge.nix b/judge.nix
@@ -34,7 +34,7 @@ pkgs.buildEnv {
       mono
       verilog
       gbenchmark
-      python3
+      python3Full
       pypy3
       ghostscript
       xvfb-run