Skip to content

chore(build): integrate mud-area CLI into build #45

@berkeleynerd

Description

@berkeleynerd

Integrate mud-area into the build (e.g., update examples.gpr or create a dedicated GPR project).

Acceptance

  • alr exec -- gprbuild -P <project> produces bin/mud_area.
  • README updated with CLI build/run instructions.

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:buildBuild and integrationchoreChore / maintenance

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions