From: Larry Evans (cppljevans_at_[hidden])
Date: 2004-12-16 13:35:54
On 12/16/2004 07:03 AM, Vladimir Prus wrote:
> Larry Evans wrote:
>>On 12/16/2004 03:23 AM, Tompa wrote:
>>>Vladimir Prus <ghost <at> cs.msu.su> writes:
>>>>I think that make does not even allow to create a user-defined function,
>>>>and so it completely non-suitable to the task.
>>This user-defined function can be any shell script. An example
>> include $(shell echo default.imk|tee -a Makefile.d)
>>which includes default.imk into the Makefile and records
>>it's inclusion in Makefile.d. 'echo default.imk' can be replaced
>>by a user defined shell script.
> Do you really mean that invoking *shell* is a good substitute for functions.
> At least, that's going to be many orders of magnitude slower.
True, however, it's probably an order of magnitude faster than a single
compilation; hence, it won't have much impact on the user. And I was
*think* that make does not even allow to create a user-defined
:) You seemed to have some doubt (the *think*), and that's why I
mentioned the shell alternative.
Boost-Build list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk