Shouldn't this be a user definable option (at CMake configuration time)? I mean that it is not set to `YES` here,  only when the user defines it at a CMake-run:

```bash
cmake ../path -DPETSC_EXECUTABLE_RUNS=ON
```