me
/
guix
Archived
1
0
Fork 0
Code

gnu: agda: Update to 2.6.2.1. 

* gnu/packages/agda.scm (agda): Update to 2.6.2.1.
[arguments]: Don't explicitly return #t from phases.
master
Tobias Geerinckx-Rice 2021-12-17 02:12:30 +01:00
parent 1bada70d63
commit 2e964d0d7d
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gnu/packages/agda.scm
View File

@ -37,7 +37,7 @@
(define-public agda (define-public agda
(package (package
(name "agda") (name "agda")
(version "2.6.2") (version "2.6.2.1")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
@ -45,8 +45,7 @@
"https://hackage.haskell.org/package/Agda/Agda-" "https://hackage.haskell.org/package/Agda/Agda-"
version ".tar.gz")) version ".tar.gz"))
(sha256 (sha256
(base32 (base32 "03dw7jfqr3ffik6avigm525djqh2gn5c3qwnb2h6298zkr9lch9w"))))
"159hznnsxg7hlp80r1wqizyd7gwgnq0j13cm4d27cns0ganslb07"))))
(build-system haskell-build-system) (build-system haskell-build-system)
(inputs (inputs
(list ghc-aeson (list ghc-aeson
@ -81,15 +80,13 @@
;; 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"))))
#t))
(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* ((out (assoc-ref outputs "out"))
(agda-compiler (string-append out "/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 out "/share") "\\.agda$")) (find-files (string-append out "/share") "\\.agda$"))))))))
#t))))))
(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")