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

Fix: fail early if definitions contains non-existent dir #34

Conversation

opajonk
Copy link

@opajonk opajonk commented Aug 19, 2024

If the configuration file explicitly lists directories for CMake definitions, gersemi should fail early if one of them does not exist. Otherwise, problems (like typos) with these directories may be detected only later - especially when using gersemi as pre-commit hook.

If the configuration file explicitly lists paths for CMake
definitions, gersemi should fail early if one of them does not exist.
Otherwise, problems (like typos) with these paths may be detected only
later - especially when using gersemi as pre-commit hook.

Co-Authored-By: Blank Spruce <32396809+BlankSpruce@users.noreply.github.com>
@BlankSpruce BlankSpruce force-pushed the fail-early-if-definitions-contains-nonexisten-dir branch 2 times, most recently from 83df535 to c824823 Compare August 19, 2024 13:05
@BlankSpruce BlankSpruce force-pushed the fail-early-if-definitions-contains-nonexisten-dir branch from c824823 to 01df622 Compare August 19, 2024 13:07
@BlankSpruce
Copy link
Owner

Nice change. I've added a couple of things:

  • simple tests
  • failing also for non-existent sources
  • extra information in case such error happens like Definition path doesn't exist: /tmp/foo/bar

You're still main author of the first commit. I'll release it as 0.15.1 today. Thank you for your contribution.

@BlankSpruce BlankSpruce merged commit c1cc7f9 into BlankSpruce:master Aug 19, 2024
9 checks passed
@opajonk
Copy link
Author

opajonk commented Aug 20, 2024

Nice change. I've added a couple of things:

  • simple tests
  • failing also for non-existent sources
  • extra information in case such error happens like Definition path doesn't exist: /tmp/foo/bar

You're still main author of the first commit. I'll release it as 0.15.1 today. Thank you for your contribution.

Very nice, thanks! This is of course even much better than my "trivial change"...

@opajonk opajonk deleted the fail-early-if-definitions-contains-nonexisten-dir branch August 20, 2024 06:11
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