projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2177106) | patch
Build system: Add build type for incremental competition builds. (#3365)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 8 Oct 2019 06:27:44 +0000 (23:27 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 8 Oct 2019 06:27:44 +0000 (23:27 -0700)
commit94feff6c3b03325115e2c1c91121b83945dba4b0
treee8bbbe5f922ccf671f8adf4673c5a00cb139bf8ftree
parent217710627bd440cb28524d014afb5f10058302fdcommit | 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.
CMakeLists.txt diff | blob | history
configure.sh diff | blob | history