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

CI now covers compilation of all projects. #142

Merged
merged 4 commits into from
Apr 26, 2023

Conversation

marcfehling
Copy link
Member

@marcfehling marcfehling commented Apr 23, 2023

Part of dealii/dealii#15073.

I believe this is the most convenient and low-maintenance way to verify that all code-gallery programs compile.

CeresFE couldn't be compiled with deal.II 9.4 because of a deprecated function that has been deleted. I've updated it in this patch so that the CI will pass.

parallel_in_time finds the braid include folder, but has issues finding the actual library. I've changed a few lines in its CMakeLists.txt.

@marcfehling marcfehling force-pushed the xbraid branch 2 times, most recently from ef96082 to 033905b Compare April 23, 2023 01:32
@marcfehling
Copy link
Member Author

marcfehling commented Apr 23, 2023

In later patches, we might want to

Comment on lines 53 to -68
FIND_PATH(BRAID_INCLUDE_DIR
NAMES braid.h
HINTS ${BRAID_DIR}
PATH_SUFFIXES include
)

FIND_LIBRARY(BRAID_LIBRARY
NAMES braid.a
NAMES libbraid.a
HINTS ${BRAID_DIR}
PATH_SUFFIXES lib64 lib
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Normally, you would install xbraid instead of just building it, right? I think we should do that in the CI, too.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

xbraid is such a homegrown project that it is built with a small Makefile and no install target :-)

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah, OK.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There is no convenient way to install it using their Makefile. Building is also the option they provide in their user manual.
https://github.com/XBraid/xbraid/files/10865642/user_manual.pdf
https://github.com/XBraid/xbraid/blob/master/braid/Makefile

@bangerth bangerth merged commit 0d0a31c into dealii:master Apr 26, 2023
@marcfehling marcfehling deleted the xbraid branch April 26, 2023 22:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants