03/09: gnu: agda-ial: Fix install step.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 83ac4c099a4c31840d2ddce9febadfa75c692648
Author: John Soo <address@hidden>
Date:   Tue Aug 27 21:46:26 2019 -0700

    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 <address@hidden>
---
 gnu/packages/agda.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 56d4b15..c085bfa 100644
--- 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