[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Packaging Coq
|
From: |
Mark H Weaver |
|
Subject: |
Re: Packaging Coq |
|
Date: |
Thu, 04 Dec 2014 18:56:25 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) |
Andreas Enge <address@hidden> 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
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