[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.

Moritz

> On 31 Jan 2018, at 05:39, John Regehr <regehr@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 <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.