From 914d2c2142eb22a0219cf09475ea7207808ded6a Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sun, 8 May 2022 02:00:00 +0200 Subject: gnu: agda: Use G-expressions. * gnu/packages/agda.scm (agda)[arguments]: Rewrite as G-expressions. --- gnu/packages/agda.scm | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) (limited to 'gnu/packages/agda.scm') diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 706360c94f..87e787b72d 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -71,22 +71,22 @@ ghc-uri-encode ghc-zlib)) (arguments - `(#:modules ((guix build haskell-build-system) - (guix build utils) - (srfi srfi-26) - (ice-9 match)) - #:phases - (modify-phases %standard-phases - ;; This allows us to call the 'agda' binary before installing. - (add-after 'unpack 'set-ld-library-path - (lambda _ - (setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build")))) - (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$")))))))) + (list #:modules `((guix build haskell-build-system) + (guix build utils) + (srfi srfi-26) + (ice-9 match)) + #:phases + #~(modify-phases %standard-phases + ;; This allows us to call the 'agda' binary before installing. + (add-after 'unpack 'set-ld-library-path + (lambda _ + (setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build")))) + (add-after 'compile 'agda-compile + (lambda* (#:key outputs #:allow-other-keys) + (let ((agda-compiler (string-append #$output "/bin/agda"))) + (for-each (cut invoke agda-compiler <>) + (find-files (string-append #$output "/share") + "\\.agda$")))))))) (home-page "https://wiki.portal.chalmers.se/agda/") (synopsis "Dependently typed functional programming language and proof assistant") -- cgit v1.2.3