diff options
| -rw-r--r-- | yellowsquid/build-system/agda.scm | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/yellowsquid/build-system/agda.scm b/yellowsquid/build-system/agda.scm index d72bbcb..458ace0 100644 --- a/yellowsquid/build-system/agda.scm +++ b/yellowsquid/build-system/agda.scm @@ -31,7 +31,6 @@ (define* (lower name #:key source inputs native-inputs outputs system target (agda (default-agda)) - (agda-inputs '()) #:allow-other-keys #:rest arguments) (define private-keywords @@ -40,13 +39,15 @@ (bag (name name) (system system) - (host-inputs `(,@(if source + (target target) + (build-inputs `(,@(if source `(("source" ,source)) '()) - ,@inputs - ,@(standard-packages))) - (build-inputs `(("agda" ,agda) - ,@native-inputs)) + ,@native-inputs + ,@(if target '() inputs) + ("agda" agda) + ,@(standard-packages))) + (host-inputs (if target inputs '())) (outputs outputs) (build agda-build) (arguments (strip-keyword-arguments private-keywords arguments)))) |