From f32a8861c58598f759dac9945524e31141a93c31 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Fri, 11 Jul 2025 12:33:05 +0200
Subject: [PATCH] nix: add system argument to postgrest-push-cachix

This allows building aarch64-darwin derivations on a remote builder and
then pushing them to cachix before triggering CI.
---
 nix/tools/devTools.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/nix/tools/devTools.nix b/nix/tools/devTools.nix
index 4d3315338..a9d1e77f5 100644
--- a/nix/tools/devTools.nix
+++ b/nix/tools/devTools.nix
@@ -10,6 +10,7 @@
 , hsie
 , nix
 , silver-searcher
+, stdenv
 , style
 , tests
 , withTools
@@ -53,10 +54,14 @@ let
 
           Requires authentication with `cachix authtoken ...`.
         '';
+        args =
+          [
+            "ARG_OPTIONAL_SINGLE([system], , [System], [${stdenv.system}])"
+          ];
         workingDir = "/";
       }
       ''
-        ${nix}/bin/nix-instantiate \
+        ${nix}/bin/nix-instantiate --argstr system "$_arg_system" \
           | xargs ${nix}/bin/nix-store -qR --include-outputs \
           | ${cachix}/bin/cachix push postgrest
       '';