aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Soo <jsoo1@asu.edu>2019-08-27 21:46:26 -0700
committerLudovic Courtès <ludo@gnu.org>2019-08-28 18:52:51 +0200
commit83ac4c099a4c31840d2ddce9febadfa75c692648 (patch)
tree8deeeb37819a887eb93328a4684dff5aaf84299c
parent8146c48632d39670afa7a8ec08a8891cc78d2b38 (diff)
downloadguix-83ac4c099a4c31840d2ddce9febadfa75c692648.tar
guix-83ac4c099a4c31840d2ddce9febadfa75c692648.tar.gz
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>
-rw-r--r--gnu/packages/agda.scm2
1 files changed, 1 insertions, 1 deletions
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