[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35855: [PATCH] gnu: Add coq-stdpp.
From: |
Ludovic Courtès |
Subject: |
bug#35855: [PATCH] gnu: Add coq-stdpp. |
Date: |
Fri, 24 May 2019 18:23:29 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
Hi Dan,
I took the liberty to apply the minor changes below and applied the
patch (grep, diffutils, etc. are implicit inputs of ‘gnu-build-system’,
so you don’t need to list them; as for ‘invoke’, it’s now the preferred
way to invoke programs.)
Thank you!
Ludo’.
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 15a7e791f9..6c48af4fc9 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -551,11 +551,6 @@ kernel.")
(sha256
(base32
"11m7kqxsbxygk41v2wsi3npdzwin9fcnzc1gn0gq0rd57wnqk83i"))))
(build-system gnu-build-system)
- (native-inputs
- `(("grep" ,grep) ;; need egrep for tests
- ("gawk" ,gawk)
- ;; need diff for tests
- ("diffutils" ,diffutils)))
(inputs
`(("coq" ,coq)))
(arguments
@@ -566,10 +561,10 @@ kernel.")
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(setenv "COQLIB" (string-append (assoc-ref outputs "out")
"/lib/coq/"))
- (zero? (system* "make"
- (string-append "COQLIB=" (assoc-ref outputs "out")
- "/lib/coq/")
- "install")))))))
+ (invoke "make"
+ (string-append "COQLIB=" (assoc-ref outputs "out")
+ "/lib/coq/")
+ "install"))))))
(description "This project contains an extended \"Standard Library\" for
Coq called coq-std++. The key features are:
@itemize