diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-10-07 23:27:44 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-07 23:27:44 -0700 |
| commit | 94feff6c3b03325115e2c1c91121b83945dba4b0 (patch) | |
| tree | e8bbbe5f922ccf671f8adf4673c5a00cb139bf8f /test/regress/CMakeLists.txt | |
| parent | 217710627bd440cb28524d014afb5f10058302fd (diff) | |
Build system: Add build type for incremental competition builds. (#3365)
Previously, competition builds for incremental tracks required to
manually pass in -DCVC4_SMTCOMP_APPLICATION_TRACK as compiler flag. This
introduces an additional build type for incremental competition builds
to simplify configuration for such builds.
Diffstat (limited to 'test/regress/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions