diff options
| -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) |