[Top][All Lists]

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

Reusing the result of a shell command

From: Sébastien Hinderer
Subject: Reusing the result of a shell command
Date: Tue, 29 Jul 2003 21:13:43 +0200

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
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,

reply via email to

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