[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Packaging Coq
|
From: |
Andreas Enge |
|
Subject: |
Re: Packaging Coq |
|
Date: |
Fri, 5 Dec 2014 16:52:09 +0100 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Fri, Dec 05, 2014 at 09:59:56AM -0500, Mark H Weaver wrote:
> Sounds reasonable to me, although it should be 'build-targets' since
> there is often more than one. Ditto for 'install-targets' and
> 'check-targets' (or 'test-targets') if we don't already have them.
We already have test-target, which often becomes "test" instead of "check".
Andreas
Re: Packaging Coq, John Darrington, 2014/12/04
Re: Packaging Coq, Nikita Karetnikov, 2014/12/04
Re: Packaging Coq, Mark H Weaver, 2014/12/05