[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Demexp-dev] Troublesome build system modifications

From: David MENTRE
Subject: Re: [Demexp-dev] Troublesome build system modifications
Date: Sun, 01 Oct 2006 17:26:53 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

GISQUET Christophe <address@hidden> writes:

>>  2. The configure arguments are stored in the generated Makefile:
>> ~/pub/demexp/hg/work$ head -1 Makefile # generated by ./configure
>> --prefix /tmp --for-developer
> Yeah I saw that, but it is put in a non-usable shape. See my code snipet
> for what I meant: if configure needs to be rerun, at least rerun it with
> the initial options. Not very interesting indeed if new options are
> present.

On don't very like much the idea of behind the scene configure option
(rationale: the same call to configure should give the same result).
Right now, I keep current behavior. If you feel the need for a different
behavior, please resubmit and provide a use case.

Best wishes,
GPG/PGP key: A3AD7A2A David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

reply via email to

[Prev in Thread] Current Thread [Next in Thread]