From 83ac4c099a4c31840d2ddce9febadfa75c692648 Mon Sep 17 00:00:00 2001 From: John Soo Date: Tue, 27 Aug 2019 21:46:26 -0700 Subject: [PATCH] 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 --- 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