From 3f75cbd35761946d25a20ea63e7be5fd45614cdf Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Thu, 12 Dec 2024 03:13:17 +0100
Subject: [PATCH] default.nix: pass system argument to nixpkgs

---
 default.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/default.nix b/default.nix
index dd79ccc..ed6ddd8 100644
--- a/default.nix
+++ b/default.nix
@@ -1,5 +1,6 @@
 {
-  static ? false,
+  static ? false
+, system ? builtins.currentSystem
 }:
 
 let
@@ -22,7 +23,7 @@ let
       [ "default.nix" ".git" ]
       ++ lib.splitString "\n" (lib.readFile ./.gitignore));
 
-  inherit (import nixpkgs { }) lib pkgs;
+  inherit (import nixpkgs { inherit system; }) lib pkgs;
 
   python = pkgs.python3;