[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 12:17:38 +0100 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Thu, Dec 04, 2014 at 06:56:25PM -0500, Mark H Weaver wrote:
> Andreas Enge <address@hidden> writes:
> > 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.
In that case, maybe we should add a variable 'build-target' to our build
system.
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