ogma-cli: Allow customizing the F' component template. Refs #185.

[ivanperez-keera]

Adjust ogma-cli and ogma-core to allow customizing the F' monitoring component by using custom-provided templates, as prescribed in the solution proposed for #185 .

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles and passes all tests. Details:
    • Build logs:
      • https://github.com/nasa/ogma/actions/runs/12192080455/job/34012077556
      • https://github.com/nasa/ogma/actions/runs/12192080460/job/34012077563
    • Build log archives:
      • logs_31733018205.zip
      • logs_31733018219.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile generates the F' component using the default template and using a copy and the default template and checks that both are the same. It then adds a file to the copy of the template and checks that the file is copied to the target directory when the custom template is used, after which it prints the message "Success". Compiling the produced component completes successfully:

    --- fprime-handlers
    handlerMyProperty
    
    --- fprime-variable-dbs
    ("pullup", "bool")
    ("input", "float")
    
    --- fprime-variables
    variables
    
    --- Monitor.hs
    import           Copilot.Compile.C99
    import           Copilot.Language      hiding (prop)
    import qualified Copilot.Library.PTLTL as PTLTL
    import           Language.Copilot      (reify)
    import           Prelude               hiding (not, (/=))
    
    input :: Stream Float
    input = extern "input" Nothing
    
    myProperty :: Stream Bool
    myProperty = PTLTL.alwaysBeen (input /= 30.0)
    
    spec :: Spec
    spec = do
      trigger "handlerMyProperty" (not myProperty) []
    
    main :: IO ()
    main = reify spec >>= compile "copilot"
    
    --- Dockerfile
    FROM ubuntu:trusty
    
    ENV DEBIAN_FRONTEND=noninteractive
    
    RUN apt-get update
    
    RUN apt-get install --yes software-properties-common
    RUN add-apt-repository ppa:hvr/ghc
    RUN apt-get update
    
    RUN apt-get install --yes ghc-8.6.5 cabal-install-2.4
    RUN apt-get install --yes libz-dev
    
    ENV PATH=/opt/ghc/8.6.5/bin:/opt/cabal/2.4/bin:$PWD/.cabal-sandbox/bin:$PATH
    
    RUN cabal update
    RUN cabal v1-sandbox init
    RUN cabal v1-install alex happy
    RUN apt-get install --yes git
    
    ADD fprime-variables    /tmp/fprime-variables
    ADD fprime-handlers     /tmp/fprime-handlers
    ADD fprime-variable-dbs /tmp/fprime-variable-dbs
    ADD Monitor.hs          /tmp/Monitor.hs
    
    CMD git clone $REPO                                                              && \
        cd $NAME                                                                     && \
        git checkout $COMMIT                                                         && \
        cd ..                                                                        && \
        cp -r $NAME/ogma-core/templates/fprime custom-template-fprime                && \
        cabal v1-sandbox init                                                        && \
        cabal v1-install copilot $NAME/$PAT**/                                          \
          --constraint="aeson>=2.0.3.0"                                                 \
          --constraint="copilot>=4.1"                                                   \
          --constraint="copilot-core>=4.1"                                              \
          --constraint="copilot-language>=4.1"                                          \
          --constraint="copilot-theorem>=4.1"                                           \
          --constraint="copilot-c99>=4.1"                                               \
          --constraint="copilot-interpreter>=4.1"                                       \
          --constraint="copilot-prettyprinter>=4.1"                                  && \
        ./.cabal-sandbox/bin/ogma fprime --app-target-dir original                      \
                                         --variable-file /tmp/fprime-variables          \
                                         --handlers-file /tmp/fprime-handlers           \
                                         --variable-db /tmp/fprime-variable-dbs      && \
        ./.cabal-sandbox/bin/ogma fprime --app-target-dir new                           \
                                         --app-template-dir custom-template-fprime      \
                                         --variable-file /tmp/fprime-variables          \
                                         --handlers-file /tmp/fprime-handlers           \
                                         --variable-db /tmp/fprime-variable-dbs      && \
        diff -rq original new                                                        && \
        rm -rf new/*                                                                 && \
        echo "Success" >> custom-template-fprime/test                                && \
        ./.cabal-sandbox/bin/ogma fprime --app-target-dir new                           \
                                         --app-template-dir custom-template-fprime      \
                                         --variable-file /tmp/fprime-variables          \
                                         --handlers-file /tmp/fprime-handlers           \
                                         --variable-db /tmp/fprime-variable-dbs      && \
        cabal v1-exec -- runhaskell /tmp/Monitor.hs                                  && \
        mv copilot* new/                                                             && \
        cat new/test
    

    Command (substitute variables based on new path after merge):

    $ docker run -v $PWD/fprime_demo/:/new -e "REPO=https://github.com/ivanperez-keera/ogma" -e "NAME=ogma" -e "PAT=ogma"  -e "COMMIT=56e24677f821ca31dc7af63a5d596ad4d55dca31" -it ogma-verify-185
    $ cd fprime_demo
    $ docker build -t ogma-verify-185-fprime -f Dockerfile .
    

• Implementation is documented. Details:
  The new code has comments.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No updates needed.
• Required version bumps are evaluated. Details:
  No bump needed. New feature is backwards compatible.