[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Addition to gnu-build-system: make test.
From: |
John Darrington |
Subject: |
Re: Addition to gnu-build-system: make test. |
Date: |
Sun, 28 Aug 2016 11:41:03 +0200 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
"make check" is what the Gnu Coding Standards specify:
http://www.gnu.org/prep/standards/standards.html#Standard-Targets
So I think it should stay as it is - at least for the gnu-build-system
J'
On Sun, Aug 28, 2016 at 12:05:47PM +0300, Efraim Flashner wrote:
On Fri, Aug 26, 2016 at 04:14:25PM +0000, ng0 wrote:
>
> 2016-08-26 15:16 <ng0> recently when I pointed out to someone and they
> added a make check which just calls the original make test, I was
> wondering if our gnu build system should try for make test and make
> check.. this seems to be very common test instead of check
> 2016-08-26 15:19 <kyamashita> ng0: Or maybe try one if the other fails?
> 2016-08-26 15:19 <ng0> yes.. very often I had to replace check with just
> test
> 2016-08-26 15:21 <kyamashita> It might be worth bringing up on the
> guix-devel mailing list to see what others think.
> 2016-08-26 15:21 <ng0> yes.. I will do so later
>
> What do others think? How can we extend gnu-build-system so that make
> test can be used but make check is not ignored?
> --
> ng0
> For non-prism friendly talk find me on http://www.psyced.org
>
I was curious how many times we use test-target:
$ grep test-target gnu/packages/*scm | wc -l
87
$ grep test-target gnu/packages/*scm | grep \"test\" | wc -l
52
$ grep test-target gnu/packages/*scm | grep \"tests\" | wc -l
8
I guess the real question is, will running an extra `make test' after
`make check' break anything? Also, I'm sure some of the makefiles have
one as an alias of the other, we don't want to run the tests twice.
--
Efraim Flashner <address@hidden> ?????????? ??????????
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
--
Avoid eavesdropping. Send strong encryted email.
PGP Public key ID: 1024D/2DE827B3
fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature