From 5e12096e90a1836fdfaaada8b42e52b5d7efa3ec Mon Sep 17 00:00:00 2001 From: Jean-Pierre De Jesus DIAZ Date: Mon, 16 Sep 2024 17:29:09 +0200 Subject: gnu: coq-mathcomp-bigenough: Use new style. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/coq.scm (coq-mathcomp-bigenough) [arguments]: Use new style and remove uneeded make flags. Change-Id: I11a6350a10cedd682cf598ecb8660b63a12aa00d Signed-off-by: Ludovic Courtès --- gnu/packages/coq.scm | 25 ++++++++++--------------- 1 file changed, 10 insertions(+), 15 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 31d1e8d51d7..166657fdd1f 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -753,21 +753,16 @@ subsume notations for finite sets.") "02f4dv4rz72liciwxb2k7acwx6lgqz4381mqyq5854p3nbyn06aw")))) (build-system gnu-build-system) (arguments - `(;; No references to tests in Makefile.common. - ;; It doesn't appear as though tests will be included - ;; by the packaged project in the future. - #:tests? #f - #:make-flags ,#~(list (string-append "COQBIN=" - #$(this-package-input "coq") - "/bin/") - (string-append "COQMF_COQLIB=" - (assoc-ref %outputs "out") - "/lib/ocaml/site-lib/coq") - (string-append "COQLIBINSTALL=" - (assoc-ref %outputs "out") - "/lib/coq/user-contrib")) - #:phases (modify-phases %standard-phases - (delete 'configure)))) + (list ;; No references to tests in Makefile.common. + ;; It doesn't appear as though tests will be included + ;; by the packaged project in the future. + #:tests? #f + #:make-flags + #~(list (string-append "COQLIBINSTALL=" #$output + "/lib/coq/user-contrib")) + #:phases + #~(modify-phases %standard-phases + (delete 'configure)))) (propagated-inputs (list coq coq-mathcomp which)) (home-page "https://math-comp.github.io/") (synopsis "Small library to do epsilon - N reasoning") -- cgit v1.3