cmake: use add_custom_command to copy include files Otherwise, the make program would not rebuild when a header got changed
2022-06-21T02:26:49