From 00e546f650b5a909092e41fbeb45588096c92a18 Mon Sep 17 00:00:00 2001
From: John Soo <address@hidden>
Date: Tue, 27 Aug 2019 21:46:26 -0700
Subject: [PATCH 1/2] gnu: agda-ial: Fix install step.

* gnu/packages/agda.scm (agda-ial): copy library and agdai files when installing.
---
 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 56d4b15940..c085bfac2e 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
-- 
2.22.0