Cabal package homepage points to NASA.gov instead of pointing to repo

[ivanperez-keera]

Description

The cabal files indicate http://nasa.gov as the homepage for all packages. However, we don't really have an Ogma homepage on NASA gov, so it makes no sense to point to that website.

It should instead be replaced with a pointer to this repository.

Type

• Bug: Cabal packages point to website that does not contain information on Ogma.

Additional context

None.

Requester

• Ivan Perez

Method to check presence of bug

The following script checks whether https://nasa.gov is set as the homepage for any cabal packages:

$ grep -nHre '^homepage\s*:\s*http\(s\)\?:\/\/nasa.gov$' --include='*.cabal'
ogma-language-jsonspec/ogma-language-jsonspec.cabal:36:homepage:            http://nasa.gov
ogma-extra/ogma-extra.cabal:36:homepage:            http://nasa.gov
ogma-language-c/ogma-language-c.cabal:36:homepage:            http://nasa.gov
ogma-core/ogma-core.cabal:36:homepage:            http://nasa.gov
ogma-language-copilot/ogma-language-copilot.cabal:36:homepage:            http://nasa.gov
ogma-language-cocospec/ogma-language-cocospec.cabal:36:homepage:            http://nasa.gov
ogma-cli/ogma-cli.cabal:36:homepage:            http://nasa.gov
ogma-language-smv/ogma-language-smv.cabal:36:homepage:            http://nasa.gov
ogma-spec/ogma-spec.cabal:36:homepage:            http://nasa.gov

Expected result

Running the above grep command prints nothing, indicating that no cabal page lists http://nasa.gov as the homepage.

Desired result

Running the above grep command prints nothing, indicating that no cabal page lists http://nasa.gov as the homepage.

Proposed solution

Set the homepage to this repo's URL in all cabal packages.

Further notes

None.

[ivanperez-keera]

Change Manager: Confirmed that the issue exists.

[ivanperez-keera]

Technical Lead: Confirmed that the issue should be addressed.

[ivanperez-keera]

Technical Lead: Issue scheduled for fixing in Ogma 1.4.1.

Fix assigned to: @ivanperez-keera.

[ivanperez-keera]

Implementor: Solution implemented, review requested.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles passes the tests. Details:
    • Build logs:
      • https://github.com/nasa/ogma/actions/runs/10981018658/job/30487540446
      • https://github.com/nasa/ogma/actions/runs/10981018657/job/30487540460
    • Build log archives:
      • logs_28692510587.zip
      • logs_28692510584.zip
  • The solution proposed fixes the issues described.
    The following docker file checks that no cabal package uses http://nasa.gov as homepage, in which case it prints the message success:

    FROM ubuntu:focal
    
    RUN apt-get update
    
    RUN apt-get install --yes git
    
    SHELL ["/bin/bash", "-c"]
    CMD git clone $REPO \
        && cd $NAME \
        && git checkout $COMMIT \
        && ! grep -niHre '^homepage\s*:\s*http\(s\)\?:\/\/nasa.gov$' --include='*.cabal' ogma** \
        && echo "Success"

    Command:

    docker run -e "REPO=https://github.com/ivanperez-keera/ogma" -e "NAME=ogma" -e PAT="ogma-" -e "COMMIT=bf1de246422d625c583357616b41e027b34d9c3c" -it ogma-verify-147
    

• Implementation is documented. Details:
  No need for updates to documentation.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No examples affected.
• Required version bumps are evaluated. Details:
  No update needed, change to element in cabal file that does not affect behavior.

[ivanperez-keera]

Change Manager: Implementation ready to be merged.