diff options
| -rw-r--r-- | yellowsquid/packages/agda.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 2f8d9ec..dce9733 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -25,7 +25,7 @@ (arguments `(#:phases (modify-phases %standard-phases - (add-after 'compile 'generate-everything + (add-after 'build 'generate-everything (lambda* (#:key inputs #:allow-other-keys) (invoke "dist/build/GenerateEverything/GenerateEverything"))) (add-after 'generate-everything 'compile-agda @@ -70,7 +70,7 @@ include: stdlib\n" (map (lambda (file) (install-file file (string-append lib "/stdlib/"))) (find-files "." "\\.agda"))) - (copy-recursively "_build" (string-append lib "/_build/"))))) + (copy-recursively "_build" (string-append lib "/_build"))))) (delete 'register)))) (synopsis "Standard library for Agda") (description "The Agda standard library aims to contain all the tools needed |