ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-24 21:38:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: coq-equations: Update style.

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

Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6
This commit is contained in:
Zheng Junjie 2024-09-12 13:28:28 +08:00
parent 1a814b79ae
commit 86690427b6
No known key found for this signature in database
GPG key ID: 3B5AA993E1A2DFF0
1 changed files with 12 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
gnu/packages/coq.scm
View file

@ -582,18 +582,18 @@ (define-public coq-equations
(native-inputs (native-inputs
(list ocaml coq camlp5)) (list ocaml coq camlp5))
(arguments (arguments
`(#:test-target "test-suite" (list #:test-target "test-suite"
#:make-flags (list (string-append "COQLIBINSTALL=" #:make-flags #~(list (string-append "COQLIBINSTALL="
(assoc-ref %outputs "out") #$output
"/lib/coq/user-contrib") "/lib/coq/user-contrib")
(string-append "COQPLUGININSTALL=" (string-append "COQPLUGININSTALL="
(assoc-ref %outputs "out") #$output
"/lib/ocaml/site-lib/")) "/lib/ocaml/site-lib/"))
#:phases #:phases
(modify-phases %standard-phases #~(modify-phases %standard-phases
(replace 'configure (replace 'configure
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(invoke "sh" "./configure.sh")))))) (invoke "sh" "./configure.sh"))))))
(home-page "https://mattam82.github.io/Coq-Equations/") (home-page "https://mattam82.github.io/Coq-Equations/")
(synopsis "Function definition plugin for Coq") (synopsis "Function definition plugin for Coq")
(description "Equations provides a notation for writing programs (description "Equations provides a notation for writing programs