From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Packaging Coq Date: Fri, 05 Dec 2014 20:03:02 +0100 Message-ID: <87sigt3ont.fsf@gnu.org> 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=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52266) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XxG1p-0003px-6u for guix-devel@gnu.org; Sat, 06 Dec 2014 09:08:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XxG1h-0006oN-S2 for guix-devel@gnu.org; Sat, 06 Dec 2014 09:08:09 -0500 Received: from hera.aquilenet.fr ([2a01:474::1]:49706) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XxG1h-0006oI-Ky for guix-devel@gnu.org; Sat, 06 Dec 2014 09:08:01 -0500 In-Reply-To: <878uim5ehf.fsf@yeeloong.lan> (Mark H. Weaver's message of "Fri, 05 Dec 2014 09:59:56 -0500") 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 Mark H Weaver skribis: > 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. I think it=E2=80=99s quite infrequent, so I would not bother. BTW, using #:make-flags to specify a target may not work well because the =E2=80=98install=E2=80=99 phase also honors #:make-flags. Thanks, Ludo=E2=80=99.