From 74c2299a47f8ae75408edd9ec2885131e4cdeb19 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Mon, 27 Dec 2021 14:19:58 +0000 Subject: agda-stdlib: fix incorrect build order --- yellowsquid/packages/agda.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 2f8d9ec..dce9733 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -25,7 +25,7 @@ (arguments `(#:phases (modify-phases %standard-phases - (add-after 'compile 'generate-everything + (add-after 'build 'generate-everything (lambda* (#:key inputs #:allow-other-keys) (invoke "dist/build/GenerateEverything/GenerateEverything"))) (add-after 'generate-everything 'compile-agda @@ -70,7 +70,7 @@ include: stdlib\n" (map (lambda (file) (install-file file (string-append lib "/stdlib/"))) (find-files "." "\\.agda"))) - (copy-recursively "_build" (string-append lib "/_build/"))))) + (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