From: Vladimir Prus (ghost_at_[hidden])
Date: 2004-12-16 09:03:06
Larry Evans wrote:
>
> On 12/16/2004 03:23 AM, Tompa wrote:
>> Vladimir Prus <ghost <at> cs.msu.su> writes:
> [snip]
>>>I think that make does not even allow to create a user-defined function,
>>>and so it completely non-suitable to the task.
>>
>>
>> Oups... I am far from being a make expert, but I do know that GNU make
>> supports user-defined functions (as well as built-in functions)!
>
> This user-defined function can be any shell script. An example
> is:
>
> 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.
- Volodya