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

Make setting preferences more convenient #40

Merged
merged 4 commits into from
Nov 14, 2023

Conversation

JoshuaLampert
Copy link
Collaborator

With this PR setting the preferences for T8code.jl becomes more convenient and adapts the setting in P4est.jl
See also my corresponding PR (trixi-framework/P4est.jl#93) in P4est.jl and also trixi-framework/P4est.jl#88 and trixi-framework/P4est.jl#90.

For T8code.jl I propose another function set_libraries_path! that can be used to set all three preferences conveniently with only one function call by specifying the directory where the libraries are located.

Ideally, the preferences for P4est.jl are set from within T8code.jl whenever the preferences for T8code.jl are set to guarantee consistency. However, this is not possible at the moment since T8code.jl does not depend on P4est.jl and thus we cannot set preferences for P4est.jl from T8code.jl.

LocalPreferences.toml Outdated Show resolved Hide resolved
Copy link
Collaborator

@ranocha ranocha left a comment

Choose a reason for hiding this comment

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

I like this approach. Could you please add a link to the README.md/the repo in the warning?

Copy link
Contributor

@jmark jmark left a comment

Choose a reason for hiding this comment

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

@JoshuaLampert Thanks for your PR! Nice work and a great addition! I just have one comment. Would please consider it?

README.md Show resolved Hide resolved
src/Libt8.jl Show resolved Hide resolved
@JoshuaLampert
Copy link
Collaborator Author

Could you please add a link to the README.md/the repo in the warning?

Done in 0a28f20.

README.md Show resolved Hide resolved
@jmark jmark merged commit 9381215 into DLR-AMR:main Nov 14, 2023
13 checks passed
@ranocha ranocha mentioned this pull request Nov 14, 2023
@JoshuaLampert JoshuaLampert deleted the convenient-preferences branch November 14, 2023 12:57
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.

3 participants