I'm currently on vacation but once I'm back next week I can have a look as well if it's still unsolved.
Moritz > On 31 Jan 2018, at 05:39, John Regehr <reg...@cs.utah.edu> wrote: > > 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. > > John > > > On 01/30/2018 08:31 PM, Eric Eide wrote: >> 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.