gecode
                                
                                 gecode copied to clipboard
                                
                                    gecode copied to clipboard
                            
                            
                            
                        cmake: Only write config.hpp when changed
By using file(CONFIGURE) instead of file(WRITE), the file output will only be written if it has changed. This allows for running cmake to pick up other (possible) changes without triggering a full rebuild as happens when the config.hpp file has changed.