diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-06 15:45:44 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-06 15:45:44 +0000 |
| commit | 3c5cd4ff81f1ae2c8f92f76870770f8f6b5614c5 (patch) | |
| tree | b0f084e0a89e33510053d58d99952d98537e4663 | |
| parent | 78dba7382ca61a52a07ed244abc1665c81659df1 (diff) | |
build: agda-build-system: ensure all packages have a name
| -rw-r--r-- | yellowsquid/build/agda-build-system.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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) |