Add .dmr resource file with headers and documentation to release package#3
Merged
JohnAmadis merged 4 commits intomainfrom Dec 10, 2025
Merged
Conversation
Co-authored-by: JohnAmadis <17320783+JohnAmadis@users.noreply.github.com>
JohnAmadis
requested changes
Dec 10, 2025
Contributor
JohnAmadis
left a comment
There was a problem hiding this comment.
@copilot popraw proszę tę jedną rzecz
dmini.dmr
Outdated
|
|
||
| # === Header Files === | ||
| # Public API header | ||
| inc=./include/dmini.h => ${destination}/${module}/include/dmini.h |
Contributor
There was a problem hiding this comment.
inc powinien być całym katalogiem - i w nim już powinien być też od razu ten dmini_defs.h
Jest to ważne, ponieważ inc będzie specjalnie traktowany przez dmf-get
Contributor
Author
There was a problem hiding this comment.
Fixed in b3197b3. Changed dmini.dmr to map the entire ./include directory instead of individual files, so dmf-get can handle the inc key specially.
Copilot
AI
changed the title
[WIP] Add .dmr file with documentation and headers to release package
Add .dmr resource file with headers and documentation to release package
Dec 10, 2025
Co-authored-by: JohnAmadis <17320783+JohnAmadis@users.noreply.github.com>
Contributor
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Implementation Plan
.dmrresource file for dmini module.dmrresource file for test_dmini moduleSummary
Successfully added
.dmr(DMOD Resource File) support to the dmini project with:Documentation: Created
docs/dmini.mdwith complete API documentation in markdown format (simplified fordmf-mantool)Resource Files:
dmini.dmr- Specifies installation paths for dmini module files, headers (entire include directory), docs, and licensetest_dmini.dmr- Specifies installation paths for test_dmini module filesRelease Package Updates: Modified
.github/workflows/release.ymlto include:include/dmini.handinclude/dmini_defs.h).dmrresource files for both modulesThe
incentry indmini.dmrnow correctly maps the entire./includedirectory (not individual files), which is important asdmf-gettreats theinckey specially.Security Summary
No security vulnerabilities detected by CodeQL scan.
Original prompt
.dmrwraz z documentacją i nagłówkami do paczki release'owej #2💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.