03/04: gnu: agda: Compile .agda files.

[Marius Bakke]

mbakke pushed a commit to branch master
in repository guix.

commit 253340dcc8c44acb4c687ebcc56e6f17167c5659
Author: Alex ter Weele <address@hidden>
Date:   Fri Jul 20 21:35:14 2018 -0500

    gnu: agda: Compile .agda files.
    
    * gnu/packages/agda.scm: (agda)[arguments]: Compile .agda files.
    
    Signed-off-by: Marius Bakke <address@hidden>
---
 gnu/packages/agda.scm | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 6aa2301..d677bb7 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -67,6 +67,19 @@
        ("ghc-text" ,ghc-text)
        ("ghc-unordered-containers" ,ghc-unordered-containers)
        ("ghc-zlib" ,ghc-zlib)))
+    (arguments
+     `(#:modules ((guix build haskell-build-system)
+                  (guix build utils)
+                  (srfi srfi-26))
+       #:phases
+       (modify-phases %standard-phases
+         (add-after 'compile 'agda-compile
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let* ((out (assoc-ref outputs "out"))
+                    (agda-compiler (string-append out "/bin/agda")))
+               (for-each (cut invoke agda-compiler <>)
+                         (find-files (string-append out "/share") "\\.agda$"))
+               #t))))))
     (home-page "http://wiki.portal.chalmers.se/agda/";)
     (synopsis
      "Dependently typed functional programming language and proof assistant")