[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] cmake bug?
John Regehr <regehr@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 <eeide@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