nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: agda-ial: Fetch source from Git. 

This addresses a 'guix lint' warning.

* gnu/packages/agda.scm (agda-ial)[source]: Change to use 'git-fetch'.
[arguments]: Change 'install phase accordingly; adjust its 'find-files'
regexp.
This commit is contained in:
Ludovic Courtès 2019-08-28 00:19:48 +02:00
parent 276f598abc
commit 48752f277c
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 19 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
gnu/packages/agda.scm
View File

@ -4,6 +4,7 @@
;;; Copyright © 2018 Alex Vong <alexvong1995@gmail.com> ;;; Copyright © 2018 Alex Vong <alexvong1995@gmail.com>
;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2018 John Soo <jsoo1@asu.edu> ;;; Copyright © 2018 John Soo <jsoo1@asu.edu>
;;; Copyright © 2019 Ludovic Courtès <ludo@gnu.org>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -29,6 +30,7 @@
#:use-module (guix build-system haskell) #:use-module (guix build-system haskell)
#:use-module (guix build-system trivial) #:use-module (guix build-system trivial)
#:use-module (guix download) #:use-module (guix download)
#:use-module (guix git-download)
#:use-module ((guix licenses) #:prefix license:) #:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages)) #:use-module (guix packages))
@ -161,16 +163,15 @@ Agda. It also aids the input of Unicode characters.")))
(package (package
(name "agda-ial") (name "agda-ial")
(version "1.5.0") (version "1.5.0")
(source (home-page "https://github.com/cedille/ial")
(origin (source (origin
(method url-fetch) (method git-fetch)
(uri (string-append (uri (git-reference (url home-page)
"https://github.com/cedille/ial/archive/v" (commit (string-append "v" version))))
version ".tar.gz")) (file-name (git-file-name name version))
(file-name (string-append name "-" version))
(sha256 (sha256
(base32 (base32
"0ilgalmx3kljy6j9i8d7w6r7ky4bq0xzxanwfr6kyx56mf2sf0zh")))) "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs
`(("agda" ,agda))) `(("agda" ,agda)))
@ -184,17 +185,14 @@ Agda. It also aids the input of Unicode characters.")))
(delete 'check) (delete 'check)
(replace 'install (replace 'install
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(for-each (let* ((out (assoc-ref outputs "out"))
(lambda (file) (include (string-append out "/include/agda/ial")))
(install-file (for-each (lambda (file)
file (make-file-writable file)
(string-append (install-file file include))
(assoc-ref outputs "out") "/include/agda/ial"))) (find-files "." "\\.agda$"))
(find-files "." ".*agda.*")) #t))))))
#t))))) (synopsis "The Iowa Agda Library")
(home-page "https://github.com/cedille/ial")
(synopsis
"The Iowa Agda Library")
(description (description
"The goal is to provide a concrete library focused on verification "The goal is to provide a concrete library focused on verification
examples, as opposed to mathematics. The library has a good number examples, as opposed to mathematics. The library has a good number