diff options
| -rw-r--r-- | gnu/packages/coq.scm | 24 |
1 files changed, 12 insertions, 12 deletions
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 |