Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow building metal without documentation, examples and tests #134

Merged

Conversation

Corristo
Copy link
Contributor

@Corristo Corristo commented Apr 2, 2020

Users including metal in their projects using CMake's ExternalProject_Add,
FetchContent or a git submodule with add_subdirectory might not want to
build the docs, examples or tests. In fact, they might not even have the
dependencies (doxygen for docs, boost for examples), which causes CMake to
print a warning even though it doesn't cause build failures.

For such users metal now provides options METAL_BUILD_DOC,
METAL_BUILD_TESTS and METAL_BUILD_EXAMPLES that are ON by default, but
can be turned off by consumers.

Users including metal in their projects using CMake's ExternalProject_Add,
FetchContent or a git submodule with `add_subdirectory` might not want to
build the docs, examples or tests. In fact, they might not even have the
dependencies (doxygen for docs, boost for examples), which causes CMake to
print a warning even though it doesn't cause build failures.

For such users metal now provides options METAL_BUILD_DOC,
METAL_BUILD_TESTS and METAL_BUILD_EXAMPLES that are ON by default, but
can be turned off by consumers.
@brunocodutra
Copy link
Owner

Hey @Corristo, thanks for the patch, this seems reasonable to me.

Tests seems to have failed due to transient issues with the workers, do you mind restarting the execution?

@Corristo
Copy link
Contributor Author

Corristo commented Apr 2, 2020

@brunocodutra How do I do that? I've tried to follow https://help.github.com/en/actions/configuring-and-managing-workflows/managing-a-workflow-run#viewing-your-workflow-history but I don't have the re-run button.

@brunocodutra
Copy link
Owner

@Corristo when I attempt to retry it fails with some weird error I attributed to the fact this is a PR from a forked repo, no idea what's going on.

I have no concerns though, as the original failure seems to be due to a timeout installing dependencies, so I'll merge manually.

@brunocodutra brunocodutra merged commit 2dbd526 into brunocodutra:master Apr 2, 2020
@Corristo
Copy link
Contributor Author

Corristo commented Apr 3, 2020

Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants