refactor(users/Profpatsch/aerc): move ini stuff out r/4247

First shot at generating a dhall FFI standard.

Change-Id: I1cdf7eeaa6b2668a49282315f308a8e51abd0cf6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5887
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI

1 files changed, 5 insertions, 2 deletions

diff --git a/users/Profpatsch/aerc.nix b/users/Profpatsch/aerc.nix
index 569f045a00dc..407f224e588a 100644
--- a/users/Profpatsch/aerc.nix
+++ b/users/Profpatsch/aerc.nix
@@ -15,13 +15,16 @@ let
         root = ./.;
         files = [
           "aerc.dhall"
+          "dhall/lib.dhall"
+          "ini/ini.dhall"
         ];
         main = "aerc.dhall";
-        deps = [ ];
+        deps = [
+        ];
       }
       {
         aercFilter = name: "${aerc-patched}/share/aerc/filters/${name}";
-        toIni = depot.users.Profpatsch.toINI { };
+        "Ini/externs" = depot.users.Profpatsch.ini.externs;
       };
 
   aerc-config = pkgs.linkFarm "alacritty-config" [