Skip to content

also allow imports relative to the _supplied_ input file#851

Merged
MichaelRawson merged 1 commit into
masterfrom
michael-relative-includes
May 6, 2026
Merged

also allow imports relative to the _supplied_ input file#851
MichaelRawson merged 1 commit into
masterfrom
michael-relative-includes

Conversation

@MichaelRawson
Copy link
Copy Markdown
Contributor

Hopefully closes #850. This is probably my bug, oops.

Weave an appropriate std::filesystem::path through the code. The whole logic could use a re-work but this works for now.

@MichaelRawson MichaelRawson requested a review from quickbeam123 May 1, 2026 16:30
Comment thread Shell/UIHelper.cpp Outdated
@MichaelRawson MichaelRawson force-pushed the michael-relative-includes branch from ed59088 to 74af300 Compare May 6, 2026 18:26
@MichaelRawson MichaelRawson force-pushed the michael-relative-includes branch from 74af300 to 1b9b86b Compare May 6, 2026 18:28
@MichaelRawson MichaelRawson merged commit 703d556 into master May 6, 2026
1 check passed
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.

TPTP includes relative to input problem not working

2 participants