[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Reusing the result of a shell command

From: Mike Gibson
Subject: Re: Reusing the result of a shell command
Date: Tue, 29 Jul 2003 13:26:57 -0600
User-agent: KMail/1.5.1

Wouldn't $(shell ...) work here?

On Tuesday 29 July 2003 01:13 pm, Sébastien Hinderer wrote:
> Dear listers,
> I would like to know if it is possible to store the result of a shell
> command into a make variable (locally in a rule), or, let's say, is it a
> way
> to use the result
> of a shell command more than once. Keeping the result of the command in a
> shell variable wouldn't help much, since I'd like to be able to perform
> text operations make makes easy, such as substitution.
> Since all that can sound quite abstract, here is my problem.
> I use a tool called coqdep to calculate dependencies between source files.
> I then want :
> 1. To write these dependencies to an auxiliary Makefile
> 2. To write them in another file, in a slightly different way, this other
> file being used to generate documentation.
> And, of course, I don't want to call coqdep twice, since parsing a source
> file is long.
> So, if somebody has some idea, it'd be appreciated.
> Thanks a lot,
> Sébastien.
> _______________________________________________
> Help-make mailing list
> address@hidden

reply via email to

[Prev in Thread] Current Thread [Next in Thread]