Second try: fix cmake version file generation#2659

Merged

kroening merged 1 commit intodiffblue:developfrom

smowton:smowton/fix/cmake-third-time-is-charm

Aug 2, 2018

Commits on Aug 2, 2018

Switch version.cpp from a rule product to a byproduct
smowton
committed