Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

RE: PATCH 3.1.5-pws-10: Fix

X-seq: zsh-workers 5600
From: "Andrej Borsenkow" <borsenkow.msk@xxxxxx>
To: "Peter Stephenson" <pws@xxxxxxxxxxxxxxxxx>, <zsh-workers@xxxxxxxxxxxxxx>
Subject: RE: PATCH 3.1.5-pws-10: Fix
Date: Tue, 2 Mar 1999 12:25:18 +0300
Importance: Normal
In-reply-to: <9903020853.AA30487@xxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

> We could have a separate file that is used unconditionally if it
> exists ---
> no make dependencies, so no rebuilding/deleting horror --- but
> gets removed
> by a distclean, which is appropriate in this case since it's now
> configuration information.  How does that sound?

That reminds me. Why cannot we
have --enable-dynamic-modules/--enable-static-modules in configure? That is
really better as having separate file that needs to be edited by hand.

  I could even probably be
> persuaded it shouldn't be removed automatically at all.

It should be removed by distclean in any case. That is exactly the point,
why configure argument is much better. You could the have a standard
config.zsh, that runs configure with all desired options.

/andrej

References:
- Re: PATCH 3.1.5-pws-10: Fix
  - From: Peter Stephenson

Messages sorted by: Reverse Date, Date, Thread, Author