Skip to content

Fixes #409#434

Merged
tom91136 merged 1 commit intodevfrom
fix-version-header
Oct 31, 2024
Merged

Fixes #409#434
tom91136 merged 1 commit intodevfrom
fix-version-header

Conversation

@tom91136
Copy link
Copy Markdown
Member

@tom91136 tom91136 commented Oct 6, 2024

Fix a bug where the generated header version.hh gets placed in the source, causing full rebuilds from time to time.

@tom91136 tom91136 requested review from dANW34V3R and jj16791 October 6, 2024 04:21
@FinnWilkinson FinnWilkinson linked an issue Oct 24, 2024 that may be closed by this pull request
Copy link
Copy Markdown
Contributor

@dANW34V3R dANW34V3R left a comment

Choose a reason for hiding this comment

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

This seems to do the trick

Copy link
Copy Markdown
Contributor

@jj16791 jj16791 left a comment

Choose a reason for hiding this comment

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

I'm sure there's good reasoning but just so I know. WHy did we change the bin dir include from private to public? Was it just to allow for the visibility of the version.hh file?

@tom91136
Copy link
Copy Markdown
Member Author

Yes, otherwise the header in not visible in dependent projects and won't compile.

@jj16791 jj16791 assigned jj16791 and unassigned jj16791 Oct 27, 2024
@tom91136 tom91136 merged commit 1d9e277 into dev Oct 31, 2024
@tom91136 tom91136 mentioned this pull request Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Version.hh

4 participants