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

Re: [creduce-dev] cmake bug?

I have weak cmake skills but can try to help.

In any case I just added this as an item on the TODO list so we don't forget, in case we don't do it right away.


On 01/30/2018 08:31 PM, Eric Eide wrote:
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?