2 commits

Author	SHA1	Message	Date
Maxim Cournoyer	905256af76	build: agda-build-system: Do not rely on "locales" being present. ... A "locales" package is no longer included in the 'standard-packages' collection, per commit de9d6d12 (gnu: commencement: Remove ‘glibc-utf8-locales’ from ‘%final-inputs’."), which is made because glibc now embeds a C.UTF8 locale. * guix/build-system/agda.scm (lower): Remove "locales" implicit input. * guix/build/agda-build-system.scm (set-locpath): Do not fail when a locales package is not available. Change-Id: If14e074e457c625960d70fcaf46c7e829d5d58d1	2024-08-31 10:44:19 +02:00
Josselin Poiret	80d1228321	build-system: New agda-build-system. ... * guix/build-system/agda.scm: New file. * guix/build/agda-build-system.scm: New file. * Makefile.am (MODULES): Register them. * doc/guix.texi (Build Systems): Add documentation for agda-build-system.	2023-06-04 10:59:34 +02:00