From 20ab69dfaf1c38d556e9d45b54c4e92c92fd07bf Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Mon, 27 Dec 2021 13:05:28 +0000 Subject: agda-stdlib: fix missing `.agdai` files. --- yellowsquid/packages/agda.scm | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 9b023d4..2f8d9ec 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -25,13 +25,13 @@ (arguments `(#:phases (modify-phases %standard-phases - (add-after 'build 'generate-everything + (add-after 'compile 'generate-everything (lambda* (#:key inputs #:allow-other-keys) (invoke "dist/build/GenerateEverything/GenerateEverything"))) - (add-after 'generate-everything 'build-agdai + (add-after 'generate-everything 'compile-agda (lambda* (#:key inputs #:allow-other-keys) (invoke "agda" "-i." "-isrc" "Everything.agda"))) - (add-after 'build-agdai 'build-doc + (add-after 'compile-agda 'build-doc (lambda* (#:key inputs #:allow-other-keys) (invoke "agda" "-i." "-isrc" "--html" "README.agda"))) (delete 'haddock) @@ -69,7 +69,8 @@ include: stdlib\n" (with-directory-excursion "src" (map (lambda (file) (install-file file (string-append lib "/stdlib/"))) - (find-files "." "\\.agdai?")))))) + (find-files "." "\\.agda"))) + (copy-recursively "_build" (string-append lib "/_build/"))))) (delete 'register)))) (synopsis "Standard library for Agda") (description "The Agda standard library aims to contain all the tools needed -- cgit v1.2.3