diff options
| author | Francesco Borzì <borzifrancesco@gmail.com> | 2021-11-05 08:58:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-05 08:58:17 +0100 |
| commit | dd79b7f63f06d2c52795c853a80e5d3e21ba4748 (patch) | |
| tree | c0768af4cfcf9888aadfc773ff90c95c3438e1bb /conf/dist/config.sh | |
| parent | c91959bba97d56ba83136f5e08c368f7e0d1e316 (diff) | |
feat(CI): C++20 build (#8952)
Diffstat (limited to 'conf/dist/config.sh')
| -rw-r--r-- | conf/dist/config.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/dist/config.sh b/conf/dist/config.sh index ceeb656332..31c3648fdf 100644 --- a/conf/dist/config.sh +++ b/conf/dist/config.sh @@ -80,6 +80,8 @@ CTOOLS=${CTOOLS:-OFF} # use precompiled headers ( fatest compilation but not optimized if you change headers often ) CSCRIPTPCH=${CSCRIPTPCH:-ON} CCOREPCH=${CCOREPCH:-ON} +# compile with C++20 +CUSE_CPP_20=${CUSE_CPP_20:-OFF} # Skip specific modules from compilation (cmake reconfigure needed) # use semicolon ; to separate modules |