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: https://cmake.org/cmake/help/v3.0/command/configure_file.html John On 01/30/2018 07:32 PM, Eric Eide wrote:
John Regehr <regehr@cs.utah.edu> 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 documented :-/.