projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61321e5) | patch
Build shared and static in CI (#7472)
authorGereon Kremer <nafur42@gmail.com>
Thu, 28 Oct 2021 01:08:13 +0000 (18:08 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Oct 2021 01:08:13 +0000 (01:08 +0000)
commitc30a8af3a0aeca118deb0491044cfa0678da3b94
tree906d3c17abb5862912f0b5d91854f26dd13fcce7tree
parent61321e583c889ca097b1ac008899a43467cabc21commit | diff
Build shared and static in CI (#7472)

This PR changes our strategy to deal with shared vs. static builds in CI jobs.
All jobs now build cvc5 both shared and static by default. The builds happen in different build directories (build-shared and build-static), and we configure ccache such that these two build directories share a common cache.
.github/actions/add-to-release/action.yml diff | blob | history
.github/actions/build-documentation/action.yml diff | blob | history
.github/actions/configure-and-build/action.yml [new file with mode: 0644] blob
.github/actions/install-dependencies/action.yml diff | blob | history
.github/actions/run-tests/action.yml diff | blob | history
.github/actions/setup-cache/action.yml diff | blob | history
.github/workflows/ci.yml diff | blob | history