me/guix
Archived
1
0
Fork 0
Code Activity

gnu: agda: Use G-expressions.

Browse source 
* gnu/packages/agda.scm (agda)[arguments]:
Rewrite as G-expressions.
This commit is contained in:
Tobias Geerinckx-Rice 2022-05-08 02:00:00 +02:00
parent 2c67e1cfbf
commit 914d2c2142
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 16 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
gnu/packages/agda.scm
View file

@ -71,22 +71,22 @@
ghc-uri-encode ghc-uri-encode
ghc-zlib)) ghc-zlib))
(arguments (arguments
`(#:modules ((guix build haskell-build-system) (list #:modules `((guix build haskell-build-system)
(guix build utils) (guix build utils)
(srfi srfi-26) (srfi srfi-26)
(ice-9 match)) (ice-9 match))
#:phases #:phases
(modify-phases %standard-phases #~(modify-phases %standard-phases
;; This allows us to call the 'agda' binary before installing. ;; This allows us to call the 'agda' binary before installing.
(add-after 'unpack 'set-ld-library-path (add-after 'unpack 'set-ld-library-path
(lambda _ (lambda _
(setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build")))) (setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build"))))
(add-after 'compile 'agda-compile (add-after 'compile 'agda-compile
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out")) (let ((agda-compiler (string-append #$output "/bin/agda")))
(agda-compiler (string-append out "/bin/agda"))) (for-each (cut invoke agda-compiler <>)
(for-each (cut invoke agda-compiler <>) (find-files (string-append #$output "/share")
(find-files (string-append out "/share") "\\.agda$")))))))) "\\.agda$"))))))))
(home-page "https://wiki.portal.chalmers.se/agda/") (home-page "https://wiki.portal.chalmers.se/agda/")
(synopsis (synopsis
"Dependently typed functional programming language and proof assistant") "Dependently typed functional programming language and proof assistant")