John Regehr <reg...@cs.utah.edu> writes: > In souper we have similar foo.in -> foo transformations doing some > substitutions that do get run at "make" time. I don't know if there's > something special about C-Reduce that makes this unworkable.
Now that you mention it, I vaguely remember trying `configure_file` and failing. I forget why I failed. Probably because I don't know what I'm doing. Maybe I should try again! I vaguely recall that one problem was that `configure_file` doesn't let one specify that the output should be executable. But I think I had problems with the actual substitutions, too? Eric. -- ------------------------------------------------------------------------------- Eric Eide <ee...@cs.utah.edu> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX