HCoop
/
jackhill
/
guix
/
guix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d2884b7
)
gnu: coq-stdpp: Reword comment.
author
Brett Gilio
<brettg@gnu.org>
Tue, 7 Jan 2020 19:03:07 +0000
(13:03 -0600)
committer
Brett Gilio
<brettg@gnu.org>
Tue, 7 Jan 2020 19:03:07 +0000
(13:03 -0600)
* gnu/packages/coq.scm (coq-stdpp)[arguments]: Reword comment about tests
being executed during build phase, to read more fluently.
gnu/packages/coq.scm
patch
|
blob
|
blame
|
history
diff --git
a/gnu/packages/coq.scm
b/gnu/packages/coq.scm
index
cadbbdb
..
3eba39e
100644
(file)
--- a/
gnu/packages/coq.scm
+++ b/
gnu/packages/coq.scm
@@
-604,7
+604,7
@@
kernel.")
(inputs
`(("coq" ,coq)))
(arguments
- `(#:tests? #f ;
; the tests are being run automaticlly as part of `make all`
+ `(#:tests? #f ;
Tests are executed during build phase.
#:phases
(modify-phases %standard-phases
(delete 'configure)