diff options
| author | John Soo <jsoo1@asu.edu> | 2019-08-27 21:46:26 -0700 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 18:52:51 +0200 |
| commit | 83ac4c099a4c31840d2ddce9febadfa75c692648 (patch) | |
| tree | 8deeeb37819a887eb93328a4684dff5aaf84299c /gnu/packages | |
| parent | 8146c48632d39670afa7a8ec08a8891cc78d2b38 (diff) | |
| download | patches-83ac4c099a4c31840d2ddce9febadfa75c692648.tar patches-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>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/agda.scm | 2 |
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 |