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 /configure.sh | |
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 'configure.sh')
-rwxr-xr-x | configure.sh | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/configure.sh b/configure.sh index 2057dd512..244592aee 100755 --- a/configure.sh +++ b/configure.sh @@ -10,6 +10,7 @@ Build types: debug testing competition + competition-inc General options; @@ -110,6 +111,7 @@ assertions=default best=default cadical=default cln=default +comp_inc=default coverage=default cryptominisat=default debug_symbols=default @@ -325,11 +327,12 @@ do -*) die "invalid option '$1' (try -h)";; *) case $1 in - production) buildtype=Production;; - debug) buildtype=Debug;; - testing) buildtype=Testing;; - competition) buildtype=Competition;; - *) die "invalid build type (try -h)";; + production) buildtype=Production;; + debug) buildtype=Debug;; + testing) buildtype=Testing;; + competition) buildtype=Competition;; + competition-inc) buildtype=Competition; comp_inc=ON;; + *) die "invalid build type (try -h)";; esac ;; esac @@ -344,11 +347,13 @@ cmake_opts="" && cmake_opts="$cmake_opts -DCMAKE_BUILD_TYPE=$buildtype" [ $asan != default ] \ - && cmake_opts="$cmake_opts -DENABLE_ASAN=$asan" + && cmake_opts="$cmake_opts -DENABLE_ASAN=$asan" [ $assertions != default ] \ && cmake_opts="$cmake_opts -DENABLE_ASSERTIONS=$assertions" [ $best != default ] \ && cmake_opts="$cmake_opts -DENABLE_BEST=$best" +[ $comp_inc != default ] \ + && cmake_opts="$cmake_opts -DENABLE_COMP_INC_TRACK=$comp_inc" [ $coverage != default ] \ && cmake_opts="$cmake_opts -DENABLE_COVERAGE=$coverage" [ $debug_symbols != default ] \ |