amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: coq-bignums: Update style.

Browse source 
* gnu/packages/coq.scm (coq-bignums)[arguments]: Use G-expression.

Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6
This commit is contained in:
Zheng Junjie 2024-09-12 13:26:57 +08:00
parent cd9ad4efe8
commit 7bd8e290b5
No known key found for this signature in database
GPG key ID: 3B5AA993E1A2DFF0
1 changed files with 12 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

23
gnu/packages/coq.scm
View file

@ -10,6 +10,7 @@
;;; Copyright © 2021 Simon Tournier <zimon.toutoune@gmail.com>
;;; Copyright © 2022 Garek Dyszel <garekdyszel@disroot.org>
;;; Copyright © 2024 Foundation Devices, Inc. <hello@foundation.xyz>
;;; Copyright © 2024 Zheng Junjie <873216071@qq.com>
;;;
;;; This file is part of GNU Guix.
;;;
@ -449,8 +450,8 @@ theorems between the two libraries.")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/coq/bignums")
(commit (string-append "v" version))))
(url "https://github.com/coq/bignums")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32
@ -461,15 +462,15 @@ theorems between the two libraries.")
(inputs
(list camlp5))
(arguments
`(#:tests? #f ; No test target.
#:make-flags
(list (string-append "COQLIBINSTALL=" (assoc-ref %outputs "out")
"/lib/coq/user-contrib")
(string-append "COQPLUGININSTALL=" (assoc-ref %outputs "out")
"/lib/ocaml/site-lib/"))
#:phases
(modify-phases %standard-phases
(delete 'configure))))
(list #:tests? #f ; No test target.
#:make-flags
#~(list (string-append "COQLIBINSTALL=" #$output
"/lib/coq/user-contrib")
(string-append "COQPLUGININSTALL=" #$output
"/lib/ocaml/site-lib/"))
#:phases
#~(modify-phases %standard-phases
(delete 'configure))))
(home-page "https://github.com/coq/bignums")
(synopsis "Coq library for arbitrary large numbers")
(description "Bignums is a coq library of arbitrary large numbers. It