gnu: agda-ial: Fix install step.

* gnu/packages/agda.scm (agda-ial): copy library and agdai files when installing. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-08-27 21:46:26 -07:00 · 2019-08-27 21:46:26 -07:00 · 83ac4c099a
parent 8146c48632
commit 83ac4c099a
1 changed files with 1 additions and 1 deletions
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@ -190,7 +190,7 @@ Agda.  It also aids the input of Unicode characters.")))
               (for-each (lambda (file)
                           (make-file-writable file)
                           (install-file file include))
-                         (find-files "." "\\.agda$"))
+                         (find-files "." "\\.agdai?(-lib)?$"))
               #t))))))
    (synopsis "The Iowa Agda Library")
    (description