From 3c5cd4ff81f1ae2c8f92f76870770f8f6b5614c5 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Thu, 6 Jan 2022 15:45:44 +0000 Subject: build: agda-build-system: ensure all packages have a name --- yellowsquid/build/agda-build-system.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yellowsquid/build/agda-build-system.scm b/yellowsquid/build/agda-build-system.scm index bd4f9d5..c667410 100644 --- a/yellowsquid/build/agda-build-system.scm +++ b/yellowsquid/build/agda-build-system.scm @@ -244,7 +244,7 @@ (let* ((my-agda-lib (find+parse-agda-lib)) (out (assoc-ref outputs "out")) - (name (agda-lib-name my-agda-lib)) + (name (or (agda-lib-name my-agda-lib) (strip-store-file-name out))) (libdir (string-append out "/share/agda/lib/")) (my-agda-lib* (agda-lib (inherit my-agda-lib) -- cgit v1.2.3