[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] cmake bug?
I'm currently on vacation but once I'm back next week I can have a look as well if it's still unsolved.
> On 31 Jan 2018, at 05:39, John Regehr <email@example.com> 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.
> On 01/30/2018 08:31 PM, Eric Eide wrote:
>> John Regehr <firstname.lastname@example.org> 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?