From caa0c3ead57c223f9bb5faa85217360e22bfd92d Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Wed, 18 Jan 2023 10:39:10 -0800 Subject: [PATCH] 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. --- ogma-cli/ogma-cli.cabal | 1 + 1 file changed, 1 insertion(+) diff --git a/ogma-cli/ogma-cli.cabal b/ogma-cli/ogma-cli.cabal index f25e4f3..0b7afee 100644 --- 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