diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-04-30 12:01:43 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:34 +0200 |
| commit | 80d122832135c4b7f1a35d22ae746cc6374a83f5 (patch) | |
| tree | 4a9b112dbac908ffb50d5cdce17d9a8a2644eb03 /Makefile.am | |
| parent | 0769a9b3c580df7d31db05e439d33e76d5db17e2 (diff) | |
| download | guix-80d122832135c4b7f1a35d22ae746cc6374a83f5.tar guix-80d122832135c4b7f1a35d22ae746cc6374a83f5.tar.gz | |
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.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 685e2b2f86..ab901df757 100644 --- a/Makefile.am +++ b/Makefile.am @@ -141,6 +141,7 @@ MODULES = \ guix/platforms/riscv.scm \ guix/platforms/x86.scm \ guix/build-system.scm \ + guix/build-system/agda.scm \ guix/build-system/android-ndk.scm \ guix/build-system/ant.scm \ guix/build-system/cargo.scm \ @@ -196,6 +197,7 @@ MODULES = \ guix/diagnostics.scm \ guix/ui.scm \ guix/status.scm \ + guix/build/agda-build-system.scm \ guix/build/android-ndk-build-system.scm \ guix/build/ant-build-system.scm \ guix/build/download.scm \ |