From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: Re: Packaging Coq Date: Thu, 04 Dec 2014 18:56:25 -0500 Message-ID: <87y4qn55qu.fsf@yeeloong.lan> References: <87ppc0447w.fsf@karetnikov.org> <20141204100748.GA4371@debian.math.u-bordeaux1.fr> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:51296) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwgHo-0006tO-Ow for guix-devel@gnu.org; Thu, 04 Dec 2014 18:58:22 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XwgHi-0005uP-AW for guix-devel@gnu.org; Thu, 04 Dec 2014 18:58:16 -0500 Received: from world.peace.net ([50.252.239.5]:56391) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwgHi-0005uH-5c for guix-devel@gnu.org; Thu, 04 Dec 2014 18:58:10 -0500 In-Reply-To: <20141204100748.GA4371@debian.math.u-bordeaux1.fr> (Andreas Enge's message of "Thu, 4 Dec 2014 11:07:48 +0100") 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: Andreas Enge Cc: guix-devel@gnu.org Andreas Enge writes: > On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: >> (alist-replace 'build >> (lambda _ >> (system* "make" "world")) > > Instead of this, you could use > #:make-flags '("world") IMO, this is a misuse of #:make-flags. 'world' is not a make flag, it is a make *target*. The make flags are also passed to 'make' during the default 'check' and 'install' phases. Mark