diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-11 09:31:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-11 16:31:21 +0000 |
commit | 0ddbf090c7f7f33ce724df456daecf84d807e793 (patch) | |
tree | 522cc84a63e2b1eb180abb569e2cdb9c9b392ffd /docs | |
parent | 9c9c909d8815c8026b6aaa1da259672aa96d193e (diff) |
Add CI workflow to test different cmake versions (#7254)
This refactors the CI setup by moving parts of the CI workflow into new composite actions. This allows to reuse this parts in a new workflow that tests against many different cmake versions. It is mostly useful after modifying our cmake setup to check compatibility with older cmake versions.
The workflow is not triggered automatically, but can be started manually.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/api/java/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/api/java/CMakeLists.txt b/docs/api/java/CMakeLists.txt index 96a5d80b6..20a5d91a3 100644 --- a/docs/api/java/CMakeLists.txt +++ b/docs/api/java/CMakeLists.txt @@ -29,7 +29,7 @@ if(BUILD_BINDINGS_JAVA) OUTPUT "${JAVADOC_INDEX_FILE}" COMMAND ${Java_JAVADOC_EXECUTABLE} cvc5 - --source-path ${CMAKE_SOURCE_DIR}/src/api/java/ + -sourcepath ${CMAKE_SOURCE_DIR}/src/api/java/ -d ${JAVADOC_OUTPUT_DIR} -cp ${CMAKE_BINARY_DIR}/src/api/java/cvc5.jar -notimestamp |