From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: Packaging Coq Date: Fri, 5 Dec 2014 16:52:09 +0100 Message-ID: <20141205155209.GA17576@debian> References: <87ppc0447w.fsf@karetnikov.org> <20141204100748.GA4371@debian.math.u-bordeaux1.fr> <87y4qn55qu.fsf@yeeloong.lan> <20141205111738.GA15226@debian.bordeaux.inria.fr> <878uim5ehf.fsf@yeeloong.lan> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:41514) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwvBe-0001Ov-Ka for guix-devel@gnu.org; Fri, 05 Dec 2014 10:53:02 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XwvBW-00011g-UC for guix-devel@gnu.org; Fri, 05 Dec 2014 10:52:54 -0500 Received: from mout.kundenserver.de ([212.227.17.10]:49792) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwvBW-00010x-LU for guix-devel@gnu.org; Fri, 05 Dec 2014 10:52:46 -0500 Content-Disposition: inline In-Reply-To: <878uim5ehf.fsf@yeeloong.lan> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Mark H Weaver Cc: guix-devel@gnu.org 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