ogma-cli: Document existence of fprime command in Cabal file. Refs #77

. Mention the existence of the FPrime backend in the documentation of the cabal file for the CLI, which will be used for hackage.
nasa · Mar 21, 2023 · caa0c3e · caa0c3e
1 parent 5eadf8e
commit caa0c3e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ogma-cli/ogma-cli.cabal b/ogma-cli/ogma-cli.cabal
@@ -86,6 +86,7 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
                      >  structs                  Generate Copilot structs from C structs
                      >  handlers                 Generate message handlers from C structs
                      >  cfs                      Generate a complete CFS/Copilot application
+                     >  fprime                   Generate a complete F' monitoring component
                      >  fret-component-spec      Generate a Copilot file from a FRET Component
                      >                           Specification
                      >  fret-reqs-db             Generate a Copilot file from a FRET Requirements