diff options
author | NRK <nrk@disroot.org> | 2022-06-16 05:08:09 +0200 |
---|---|---|
committer | NRK <nrk@disroot.org> | 2022-06-16 05:08:09 +0200 |
commit | a67665a1c1569cdc16366cf635f76eb00c96048a (patch) | |
tree | 0628688f22ed1dd26fd58a8bb7d8b8fe754f4e9e /.woodpecker/CFLAGS | |
parent | 33a5d54cae441e447186c640747740dabc0c05fe (diff) |
add codeberg ci and cleanup github one (#311)
- apt-get is slow, takes up ~1m40s just to install deps, fix it by not
using it. instead use alpine linux for codeberg ci, which brings build
time down to 25s.
- And since alpine uses musl, it's probably a good idea to use it on our
ci since it might catch us using any glibc extensions. The github ci
can keep using ubuntu.
- remove duplication of CFLAGS by having it on a separate file instead.
- remove pull_request from github ci since we no longer accept PRs
there.
Closes: https://codeberg.org/nsxiv/nsxiv/issues/307
Reviewed-on: https://codeberg.org/nsxiv/nsxiv/pulls/311
Reviewed-by: Berke Kocaoğlu <berke.kocaoglu@metu.edu.tr>
Reviewed-by: TAAPArthur <taaparthur@noreply.codeberg.org>
Diffstat (limited to '.woodpecker/CFLAGS')
-rw-r--r-- | .woodpecker/CFLAGS | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.woodpecker/CFLAGS b/.woodpecker/CFLAGS new file mode 100644 index 0000000..df24be7 --- /dev/null +++ b/.woodpecker/CFLAGS @@ -0,0 +1,13 @@ +# vanilla flags +-std=c99 -Wall -pedantic +# optimizations: enables extra warnings and deeper analysis thus catches more errors/warnings +-O3 -flto +# treat warnings as errors +-Werror +# extra flags +-Wextra -Wshadow -Wvla -Wpointer-arith +-Wundef -Wstrict-overflow=4 -Wwrite-strings -Wunreachable-code +-Wbad-function-cast -Wdeclaration-after-statement +-Wmissing-prototypes -Wstrict-prototypes +# silence +-Wno-sign-compare -Wno-unused-parameter -Wno-missing-field-initializers |