From 86690427b68202ba265b1d25ddecbcd2a2e1d0e6 Mon Sep 17 00:00:00 2001 From: Zheng Junjie Date: Thu, 12 Sep 2024 13:28:28 +0800 Subject: gnu: coq-equations: Update style. * gnu/packages/coq.scm (coq-equations)[arguments]: Use G-expression. Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6 --- gnu/packages/coq.scm | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index e3212a88ef..31d1e8d51d 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -582,18 +582,18 @@ uses Ltac to synthesize the substitution operation.") (native-inputs (list ocaml coq camlp5)) (arguments - `(#:test-target "test-suite" - #: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 - (replace 'configure - (lambda* (#:key outputs #:allow-other-keys) - (invoke "sh" "./configure.sh")))))) + (list #:test-target "test-suite" + #:make-flags #~(list (string-append "COQLIBINSTALL=" + #$output + "/lib/coq/user-contrib") + (string-append "COQPLUGININSTALL=" + #$output + "/lib/ocaml/site-lib/")) + #:phases + #~(modify-phases %standard-phases + (replace 'configure + (lambda* (#:key outputs #:allow-other-keys) + (invoke "sh" "./configure.sh")))))) (home-page "https://mattam82.github.io/Coq-Equations/") (synopsis "Function definition plugin for Coq") (description "Equations provides a notation for writing programs -- cgit v1.2.3