Skip to content

Commit

Permalink
ogma-cli: List FPrime monitoring component generation in package desc…
Browse files Browse the repository at this point in the history
…ription. Refs #91.

The cabal package description does not list the FPrime backend among the use
cases supported.

This commit lists generating F' monitoring components as one of the supported
use cases.
  • Loading branch information
ivanperez-keera committed May 21, 2023
1 parent 5008830 commit 2e38bbf
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions ogma-cli/ogma-cli.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -71,6 +71,10 @@ description: Ogma is a tool to facilitate the integration of safe runtim
applications that use Copilot for monitoring data
received from different topics.
.
- Generating
<https://github.com/nasa/fprime F'>
components that use Copilot for monitoring.
.
The main invocation with @--help@ lists sub-commands available.
.
>$ ogma --help
Expand Down

0 comments on commit 2e38bbf

Please sign in to comment.