From 49f958788d97bdf966e2041e818ffb9d8b9630fb Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 6 Apr 2022 18:21:33 +0100
Subject: Add missing argument passing.

---
 yellowsquid/build-system/agda.scm | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/yellowsquid/build-system/agda.scm b/yellowsquid/build-system/agda.scm
index b590bdf..a4d01da 100644
--- a/yellowsquid/build-system/agda.scm
+++ b/yellowsquid/build-system/agda.scm
@@ -31,8 +31,6 @@
 (define* (lower name
                 #:key source inputs native-inputs outputs system target
                 (agda (default-agda))
-                (everything "Everything.agda")
-                (readme "README.agda")
                 #:allow-other-keys
                 #:rest arguments)
   (define private-keywords
@@ -57,6 +55,8 @@
 (define* (agda-build name inputs
                      #:key
                      guile source
+                     (everything "Everything.agda")
+                     (readme "README.agda")
                      (outputs '("out"))
                      (search-paths '())
                      (out-of-source? #t)
@@ -83,6 +83,8 @@
                             #:system #$system
                             #:outputs %outputs
                             #:inputs %build-inputs
+                            #:everything #$everything
+                            #:readme #$readme
                             #:search-paths
                             '#$(sexp->gexp
                                 (map search-path-specification->sexp
-- 
cgit v1.2.3