amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: coq-stdpp: Reword comment.

Browse source 
* gnu/packages/coq.scm (coq-stdpp)[arguments]: Reword comment about tests
  being executed during build phase, to read more fluently.
This commit is contained in:
Brett Gilio 2020-01-07 13:03:07 -06:00
parent d2884b7fef
commit 3c9e86ae8b
No known key found for this signature in database
GPG key ID: 672243C4A03F0EEE
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/coq.scm
View file

@ -604,7 +604,7 @@ kernel.")
(inputs (inputs
`(("coq" ,coq))) `(("coq" ,coq)))
(arguments (arguments
`(#:tests? #f ;; the tests are being run automaticlly as part of `make all` `(#:tests? #f ; Tests are executed during build phase.
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(delete 'configure) (delete 'configure)