👷 add CI step for ICPC

This commit is contained in:
Niels Lohmann 2021-12-30 13:43:23 +01:00
parent 8cbe3eda4c
commit 23a7a2d488
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69

View File

@ -855,6 +855,7 @@ add_custom_target(ci_icpc
COMMAND ${CMAKE_COMMAND}
-DCMAKE_BUILD_TYPE=Debug -GNinja
-DCMAKE_C_COMPILER=icc -DCMAKE_CXX_COMPILER=icpc
-DCMAKE_CXX_FLAGS="-DJSON_HAS_FILESYSTEM=0 -DJSON_HAS_EXPERIMENTAL_FILESYSTEM=0"
-DJSON_BuildTests=ON -DJSON_FastTests=ON
-S${PROJECT_SOURCE_DIR} -B${PROJECT_BINARY_DIR}/build_icpc
COMMAND ${CMAKE_COMMAND} --build ${PROJECT_BINARY_DIR}/build_icpc