diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 18:21:33 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 18:46:52 +0100 |
| commit | 49f958788d97bdf966e2041e818ffb9d8b9630fb (patch) | |
| tree | 32cc6a36a2a1b2fe26475104fa424578e531f807 | |
| parent | a53bfcfb00afcc86e185779168c164e4f87c141b (diff) | |
Add missing argument passing.
| -rw-r--r-- | yellowsquid/build-system/agda.scm | 6 |
1 files 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 |