RTEMS | spec/build: reformat all yaml files (!1122)

Sebastian Huber (@sebhub) gitlab at rtems.org
Mon Jun 1 01:06:06 UTC 2026




Sebastian Huber commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1122#note_151416


To address the issue with the YAML item formatting I would:
1. Check the format of the items with the `specwareverify` tool of [specware](https://pypi.org/project/specware/).
2. Extend the item type specification to optionally specify a format for integer types. This can be used for example for build option values.
3. Decide if we want to have a 2-space indentation for lists or keep the zero-indented lists.
4. Add an option to `specwareverify` to format the items or add a new tool `specwareformat` to do the formatting.

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1122#note_151416
You're receiving this email because of your account on gitlab.rtems.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20260601/65ff108c/attachment.htm>


More information about the bugs mailing list