diff options
Diffstat (limited to '.ci/scripts/linux/docker.sh')
| -rwxr-xr-x | .ci/scripts/linux/docker.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ci/scripts/linux/docker.sh b/.ci/scripts/linux/docker.sh index 35c4a4368..c8bc56c9a 100755 --- a/.ci/scripts/linux/docker.sh +++ b/.ci/scripts/linux/docker.sh | |||
| @@ -12,6 +12,7 @@ mkdir build || true && cd build | |||
| 12 | cmake .. \ | 12 | cmake .. \ |
| 13 | -DBoost_USE_STATIC_LIBS=ON \ | 13 | -DBoost_USE_STATIC_LIBS=ON \ |
| 14 | -DCMAKE_BUILD_TYPE=Release \ | 14 | -DCMAKE_BUILD_TYPE=Release \ |
| 15 | -DCMAKE_CXX_FLAGS="-march=x86-64-v2" \ | ||
| 15 | -DCMAKE_CXX_COMPILER=/usr/lib/ccache/g++ \ | 16 | -DCMAKE_CXX_COMPILER=/usr/lib/ccache/g++ \ |
| 16 | -DCMAKE_C_COMPILER=/usr/lib/ccache/gcc \ | 17 | -DCMAKE_C_COMPILER=/usr/lib/ccache/gcc \ |
| 17 | -DCMAKE_INSTALL_PREFIX="/usr" \ | 18 | -DCMAKE_INSTALL_PREFIX="/usr" \ |