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:
>>>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
> 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.
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