ci: Add a C++ job that compiles the public headers without -fpermissive

This commit is contained in:
Tim Ruffing 2022-03-17 22:29:25 +01:00
parent 51f296a46c
commit 8dc4b03341

View File

@ -349,7 +349,7 @@ task:
<< : *CAT_LOGS << : *CAT_LOGS
task: task:
name: "C++ -fpermissive" name: "C++ -fpermissive (entire project)"
<< : *LINUX_CONTAINER << : *LINUX_CONTAINER
env: env:
CC: g++ CC: g++
@ -365,6 +365,14 @@ task:
- ./ci/cirrus.sh - ./ci/cirrus.sh
<< : *CAT_LOGS << : *CAT_LOGS
task:
name: "C++ (public headers)"
<< : *LINUX_CONTAINER
test_script:
- g++ -Werror include/*.h
- clang -Werror -x c++-header include/*.h
- /opt/msvc/bin/x64/cl.exe -c -WX -TP include/*.h
task: task:
name: "sage prover" name: "sage prover"
<< : *LINUX_CONTAINER << : *LINUX_CONTAINER