diff options
| author | Arun Isaac | 2021-02-09 16:50:23 +0530 |
|---|---|---|
| committer | Arun Isaac | 2021-02-09 16:50:23 +0530 |
| commit | d88045a3b7c592d07c168d1bca060e3e26d61b73 (patch) | |
| tree | a0f30a1428ed761b7792562978a258967bc1a2e2 /include/oracles.h | |
| parent | e151e74563aa2fe9ef4609ca85f5e049cb90d4c4 (diff) | |
| download | nsmc-d88045a3b7c592d07c168d1bca060e3e26d61b73.tar.gz nsmc-d88045a3b7c592d07c168d1bca060e3e26d61b73.tar.lz nsmc-d88045a3b7c592d07c168d1bca060e3e26d61b73.zip | |
Make indentation of generated C sources optional.
This is so as to not make indent a build dependency.
* CMakeLists.txt: Indent generated C sources only when the indent
program is found. Don't fail when indent is not found.
Diffstat (limited to 'include/oracles.h')
0 files changed, 0 insertions, 0 deletions