From 3c3713c69f9a7fb0c14ef463ab520de7f601e1e9 Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Sun, 19 Jun 2022 15:07:14 +0200
Subject: refactor(users/Profpatsch/aerc): move ini stuff out

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
---
 users/Profpatsch/aerc.nix | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'users/Profpatsch/aerc.nix')

diff --git a/users/Profpatsch/aerc.nix b/users/Profpatsch/aerc.nix
index 569f045a00..407f224e58 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" [
-- 
cgit 1.4.1