[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
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.
- Reusing the result of a shell command,
Sébastien Hinderer <=