* Is it necessary to run "make" before "make check"?
@ 2017-12-08 2:17 Chris Marusich
2017-12-10 16:29 ` Catonano
2017-12-17 13:26 ` Danny Milosavljevic
0 siblings, 2 replies; 5+ messages in thread
From: Chris Marusich @ 2017-12-08 2:17 UTC (permalink / raw)
To: guix-devel
[-- Attachment #1: Type: text/plain, Size: 195 bytes --]
Hi,
Is it necessary to run "make" before "make check", or is it good enough
to just run "make check" and rely on Make to build whatever needs to be
built to run "make check"?
--
Chris
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 832 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Is it necessary to run "make" before "make check"?
2017-12-08 2:17 Is it necessary to run "make" before "make check"? Chris Marusich
@ 2017-12-10 16:29 ` Catonano
2017-12-17 13:26 ` Danny Milosavljevic
1 sibling, 0 replies; 5+ messages in thread
From: Catonano @ 2017-12-10 16:29 UTC (permalink / raw)
To: Chris Marusich; +Cc: guix-devel
[-- Attachment #1: Type: text/plain, Size: 345 bytes --]
2017-12-08 3:17 GMT+01:00 Chris Marusich <cmmarusich@gmail.com>:
> Hi,
>
> Is it necessary to run "make" before "make check", or is it good enough
> to just run "make check" and rely on Make to build whatever needs to be
> built to run "make check"?
>
> --
> Chris
>
in my experience, make builds whatever is needed in order to run make check
[-- Attachment #2: Type: text/html, Size: 800 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Is it necessary to run "make" before "make check"?
2017-12-08 2:17 Is it necessary to run "make" before "make check"? Chris Marusich
2017-12-10 16:29 ` Catonano
@ 2017-12-17 13:26 ` Danny Milosavljevic
2017-12-17 14:12 ` Danny Milosavljevic
1 sibling, 1 reply; 5+ messages in thread
From: Danny Milosavljevic @ 2017-12-17 13:26 UTC (permalink / raw)
To: Chris Marusich; +Cc: guix-devel
Hi,
On Thu, 07 Dec 2017 18:17:49 -0800
Chris Marusich <cmmarusich@gmail.com> wrote:
> Is it necessary to run "make" before "make check",
No.
>or is it good enough
> to just run "make check" and rely on Make to build whatever needs to be
> built to run "make check"?
Yes.
See the Makefile:
all: $(BUILT_SOURCES)
check: $(BUILT_SOURCES)
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Is it necessary to run "make" before "make check"?
2017-12-17 13:26 ` Danny Milosavljevic
@ 2017-12-17 14:12 ` Danny Milosavljevic
2017-12-18 2:26 ` Chris Marusich
0 siblings, 1 reply; 5+ messages in thread
From: Danny Milosavljevic @ 2017-12-17 14:12 UTC (permalink / raw)
To: Chris Marusich; +Cc: guix-devel
On Sun, 17 Dec 2017 14:26:30 +0100
Danny Milosavljevic <dannym@scratchpost.org> wrote:
> Hi,
>
> On Thu, 07 Dec 2017 18:17:49 -0800
> Chris Marusich <cmmarusich@gmail.com> wrote:
>
> > Is it necessary to run "make" before "make check",
>
> No.
>
> >or is it good enough
> > to just run "make check" and rely on Make to build whatever needs to be
> > built to run "make check"?
>
> Yes.
>
> See the Makefile:
>
> all: $(BUILT_SOURCES)
> check: $(BUILT_SOURCES)
And also
check-am: all-am
all-am: ...
And also a Rube-Goldberg-esque contraption for all-recursive, check-recursive which invokes "make" inside SUBDIRS. *shakes head*
Interesting :)
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2017-12-18 2:26 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-12-08 2:17 Is it necessary to run "make" before "make check"? Chris Marusich
2017-12-10 16:29 ` Catonano
2017-12-17 13:26 ` Danny Milosavljevic
2017-12-17 14:12 ` Danny Milosavljevic
2017-12-18 2:26 ` Chris Marusich
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.