Skip to content

Commit

Permalink
ci: Add a C++ job that compiles the public headers without -fpermissive
Browse files Browse the repository at this point in the history
  • Loading branch information
real-or-random committed Jun 29, 2022
1 parent 51f296a commit 8dc4b03
Showing 1 changed file with 9 additions and 1 deletion.
10 changes: 9 additions & 1 deletion .cirrus.yml
Original file line number Diff line number Diff line change
Expand Up @@ -349,7 +349,7 @@ task:
<< : *CAT_LOGS

task:
name: "C++ -fpermissive"
name: "C++ -fpermissive (entire project)"
<< : *LINUX_CONTAINER
env:
CC: g++
Expand All @@ -365,6 +365,14 @@ task:
- ./ci/cirrus.sh
<< : *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:
name: "sage prover"
<< : *LINUX_CONTAINER
Expand Down

0 comments on commit 8dc4b03

Please sign in to comment.