Skip to content

fix: clear PUBLIC_HEADER before re-installing json schema validator#169

Open
BrianMichell wants to merge 1 commit into
TGSAI:mainfrom
BrianMichell:fix/json-schema-validator-public-header
Open

fix: clear PUBLIC_HEADER before re-installing json schema validator#169
BrianMichell wants to merge 1 commit into
TGSAI:mainfrom
BrianMichell:fix/json-schema-validator-public-header

Conversation

@BrianMichell

Copy link
Copy Markdown
Collaborator

The bundled nlohmann_json_schema_validator declares its PUBLIC_HEADER with a path relative to its own source tree. Re-installing the target from the mdio scope resolved that path against the wrong directory, so make install aborted on a missing nlohmann/json-schema.hpp. Clear the property before install(TARGETS) so the redundant header copy is skipped; the validator still installs its own header and the export set is preserved.

The bundled nlohmann_json_schema_validator declares its PUBLIC_HEADER with
a path relative to its own source tree. Re-installing the target from the
mdio scope resolved that path against the wrong directory, so make install
aborted on a missing nlohmann/json-schema.hpp. Clear the property before
install(TARGETS) so the redundant header copy is skipped; the validator
still installs its own header and the export set is preserved.

Co-authored-by: Cursor <cursoragent@cursor.com>
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.

1 participant