From 83ac4c099a4c31840d2ddce9febadfa75c692648 Mon Sep 17 00:00:00 2001
From: John Soo <jsoo1@asu.edu>
Date: Tue, 27 Aug 2019 21:46:26 -0700
Subject: gnu: agda-ial: Fix install step.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/agda.scm (agda-ial): copy library and agdai files when installing.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/packages/agda.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gnu/packages')

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
-- 
cgit v1.2.3