diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-12 11:36:39 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-12 11:36:39 -0700 |
commit | cfa833a09da24d1a0c92932f96fbd9c301119361 (patch) | |
tree | 2312844f25339794ca245c6bd5b1008e21f75caa /src/theory | |
parent | e01ae3a87f4e1dc4b4511e8bd028d5c0838ccedc (diff) |
Fix ANTLR build on CMake <3.11
With CMake 3.11 and later, `<DOWNLOAD_DIR>` is substituted in
`ExternalProject_Add` but not in older versions [0]. To maintain
compatibility with older versions of CMake, this commit changes
`ExternalProject_Add` to use `<DOWNLOADED_FILE>` instead, which is both
nicer and substituted in older versions of CMake.
[0] https://cmake.org/cmake/help/latest/release/3.11.html#modules
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions