Skip to content

Add documentation for trace-plugin and cmake-args target properties#322

Merged
lsk567 merged 1 commit intomainfrom
trace-plugin-docs
Jan 27, 2026
Merged

Add documentation for trace-plugin and cmake-args target properties#322
lsk567 merged 1 commit intomainfrom
trace-plugin-docs

Conversation

@lsk567
Copy link
Contributor

@lsk567 lsk567 commented Jan 19, 2026

Summary

  • Add trace-plugin property documentation for the C target to specify external trace plugins (e.g., lf-trace-xronos for Xronos Dashboard integration)
  • Add cmake-args property documentation for the C target to pass arbitrary CMake variable definitions to the build
  • Rename "Tracing in C and Python" to "Default Tracing in C and Python"
  • Add new section "Live Tracing in C via the Xronos Dashboard" with reference to lf-trace-xronos repository

🤖 Generated with Claude Code

- Add trace-plugin property documentation for C target to specify external
  trace plugins (e.g., lf-trace-xronos for Xronos Dashboard integration)
- Add cmake-args property documentation for C target to pass arbitrary
  CMake variable definitions to the build
- Rename "Tracing in C and Python" to "Default Tracing in C and Python"
- Add new section "Live Tracing in C via the Xronos Dashboard" with
  reference to lf-trace-xronos repository

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@lsk567 lsk567 requested a review from edwardalee January 19, 2026 07:02
Copy link
Contributor

@edwardalee edwardalee left a comment

Choose a reason for hiding this comment

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

Very nice! I suspect these new target properties will also work with the Python target, but I'm not sure.

@lsk567
Copy link
Contributor Author

lsk567 commented Jan 21, 2026

Yes, I think so. But at the moment I left the Python target out because there are no tests yet.

@lsk567 lsk567 merged commit 7700696 into main Jan 27, 2026
2 checks passed
@lsk567 lsk567 deleted the trace-plugin-docs branch January 27, 2026 17:38
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