[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] cmake bug?
Thanks, I guess I just hadn't run into this before!
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.
This is the mechanism we use there:
On 01/30/2018 07:32 PM, Eric Eide wrote:
John Regehr <email@example.com> writes:
There's something weird going on where the "creduce" file isn't getting
generated from "creduce.in" after I modify the latter. So I change
creduce.in, run "make install", and then I just get the old version of the
file. I can get the newer version if I remove my build directory and run
cmake again. Might this be related to recent changes?
Anyway, "not an unknown bug." I guess it's not a feature since it's not