File tree 7 files changed +12
-26
lines changed
.azure-pipelines-templates
7 files changed +12
-26
lines changed Original file line number Diff line number Diff line change @@ -27,10 +27,10 @@ parameters:
27
27
cmake_args : " -DCOMPILE_TARGET=sgx"
28
28
cmake_env : " "
29
29
SNPCC :
30
- cmake_args : " -DCOMPILE_TARGET=snp -DLVI_MITIGATIONS=OFF - DLONG_TESTS=OFF"
30
+ cmake_args : " -DCOMPILE_TARGET=snp -DLONG_TESTS=OFF"
31
31
cmake_env : " CC=`which clang-15` CXX=`which clang++-15`"
32
32
debug :
33
- cmake_args : " -DCMAKE_BUILD_TYPE=Debug -DLVI_MITIGATIONS=OFF "
33
+ cmake_args : " -DCMAKE_BUILD_TYPE=Debug"
34
34
cmake_env : " "
35
35
ASAN :
36
36
cmake_args : " -DSAN=ON"
@@ -39,7 +39,7 @@ parameters:
39
39
cmake_args : " -DTSAN=ON -DWORKER_THREADS=2"
40
40
cmake_env : " "
41
41
unsafe :
42
- cmake_args : " -DLVI_MITIGATIONS=OFF - DVERBOSE_LOGGING=ON -DUNSAFE_VERSION=ON"
42
+ cmake_args : " -DVERBOSE_LOGGING=ON -DUNSAFE_VERSION=ON"
43
43
cmake_env : " "
44
44
45
45
jobs :
Original file line number Diff line number Diff line change @@ -30,15 +30,15 @@ parameters:
30
30
cmake_env : " "
31
31
ninja_targets : " default"
32
32
SNPCC :
33
- cmake_args : " -DCOMPILE_TARGET=snp -DLVI_MITIGATIONS=OFF - DLONG_TESTS=OFF"
33
+ cmake_args : " -DCOMPILE_TARGET=snp -DLONG_TESTS=OFF"
34
34
cmake_env : " CC=`which clang-15` CXX=`which clang++-15`"
35
35
ninja_targets : " default"
36
36
release :
37
37
cmake_args : " -DCLIENT_PROTOCOLS_TEST=ON -DLONG_TESTS=ON"
38
38
cmake_env : " "
39
39
ninja_targets : " default"
40
40
unsafe :
41
- cmake_args : " -DLVI_MITIGATIONS=OFF - DVERBOSE_LOGGING=ON -DUNSAFE_VERSION=ON"
41
+ cmake_args : " -DVERBOSE_LOGGING=ON -DUNSAFE_VERSION=ON"
42
42
cmake_env : " "
43
43
ninja_targets : " default"
44
44
Original file line number Diff line number Diff line change @@ -175,7 +175,7 @@ jobs:
175
175
git config --global --add safe.directory /__w/CCF/CCF
176
176
mkdir build
177
177
cd build
178
- cmake -L -GNinja .. -DCMAKE_BUILD_TYPE=Debug -DLVI_MITIGATIONS=OFF - DVERBOSE_LOGGING=ON -DCOMPILE_TARGET=virtual -DCCF_RAFT_TRACING=ON
178
+ cmake -L -GNinja .. -DCMAKE_BUILD_TYPE=Debug -DVERBOSE_LOGGING=ON -DCOMPILE_TARGET=virtual -DCCF_RAFT_TRACING=ON
179
179
ninja raft_driver
180
180
shell : bash
181
181
Original file line number Diff line number Diff line change 57
57
git config --global --add safe.directory /__w/CCF/CCF
58
58
mkdir build
59
59
cd build
60
- cmake -GNinja -DCOMPILE_TARGET=${{ matrix.platform.name }} -DCMAKE_BUILD_TYPE=Debug -DLVI_MITIGATIONS=OFF ..
60
+ cmake -GNinja -DCOMPILE_TARGET=${{ matrix.platform.name }} -DCMAKE_BUILD_TYPE=Debug ..
61
61
ninja
62
62
shell : bash
63
63
@@ -132,7 +132,7 @@ jobs:
132
132
git config --global --add safe.directory /__w/CCF/CCF
133
133
mkdir build
134
134
cd build
135
- CC=`which clang` CXX=`which clang++` cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DLVI_MITIGATIONS=OFF - DUSE_LIBCXX=OFF ..
135
+ CC=`which clang` CXX=`which clang++` cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DUSE_LIBCXX=OFF ..
136
136
ninja
137
137
shell : bash
138
138
Original file line number Diff line number Diff line change 56
56
set -ex
57
57
mkdir build
58
58
cd build
59
- cmake -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTS=OFF -DLVI_MITIGATIONS=OFF ..
59
+ cmake -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DBUILD_TESTS=OFF ..
60
60
name: Run CMake
61
61
62
62
- run : |
Original file line number Diff line number Diff line change 53
53
git config --global --add safe.directory "$GITHUB_WORKSPACE"
54
54
mkdir build
55
55
cd build
56
- cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DLONG_TESTS=ON -DLVI_MITIGATIONS=OFF - DSAN=ON ..
56
+ cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DLONG_TESTS=ON -DSAN=ON ..
57
57
ninja
58
58
59
59
- name : " Test"
91
91
git config --global --add safe.directory /__w/CCF/CCF
92
92
mkdir build
93
93
cd build
94
- cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DLONG_TESTS=ON -DLVI_MITIGATIONS=OFF - DTSAN=ON -DWORKER_THREADS=2 ..
94
+ cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DLONG_TESTS=ON -DTSAN=ON -DWORKER_THREADS=2 ..
95
95
ninja
96
96
97
97
- name : " Test"
@@ -129,7 +129,7 @@ jobs:
129
129
git config --global --add safe.directory /__w/CCF/CCF
130
130
mkdir build
131
131
cd build
132
- cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DLONG_TESTS=ON -DLVI_MITIGATIONS=OFF - DWORKER_THREADS=2 ..
132
+ cmake -GNinja -DCOMPILE_TARGET=virtual -DCMAKE_BUILD_TYPE=Debug -DLONG_TESTS=ON -DWORKER_THREADS=2 ..
133
133
ninja
134
134
135
135
- name : " Test"
Original file line number Diff line number Diff line change @@ -132,20 +132,6 @@ install(FILES ${CMAKE_CURRENT_SOURCE_DIR}/cmake/tools.cmake DESTINATION cmake)
132
132
include (${CMAKE_CURRENT_SOURCE_DIR} /cmake/ccf_app.cmake)
133
133
install (FILES ${CMAKE_CURRENT_SOURCE_DIR} /cmake/ccf_app.cmake DESTINATION cmake)
134
134
135
- if (SAN AND LVI_MITIGATIONS)
136
- message (
137
- FATAL_ERROR
138
- "Building with both SAN and LVI mitigations is unsafe and deadlocks - choose one"
139
- )
140
- endif ()
141
-
142
- if (TSAN AND LVI_MITIGATIONS)
143
- message (
144
- FATAL_ERROR
145
- "Building with both TSAN and LVI mitigations is unsafe and deadlocks - choose one"
146
- )
147
- endif ()
148
-
149
135
# Copy and install CCF utilities
150
136
set (CCF_UTILITIES keygenerator.sh submit_recovery_share.sh verify_quote.sh)
151
137
foreach (UTILITY ${CCF_UTILITIES} )
You can’t perform that action at this time.
0 commit comments