Re: [Demexp-dev] Troublesome build system modifications

[David MENTRE]

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,
d.
-- 
GPG/PGP key: A3AD7A2A David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A