Skip to content

Commit

Permalink
ogma-language-copilot: Mark package as uncurated. Refs #74.
Browse files Browse the repository at this point in the history
Cabal packages in Ogma are not using the flag x-curation to indicate to package
maintainers that our packages should not be modified by them.

Because this is a NASA project, we want to make sure that users obtain exactly
what we publish, unmodified by anyone external to our project.

This commit sets modifies the cabal package to include x-curation: uncurated,
signaling our preferences to the Hackage maintainers.
  • Loading branch information
ivanperez-keera committed Mar 22, 2023
1 parent 7abf364 commit e82ee0d
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions ogma-language-copilot/ogma-language-copilot.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,13 @@ description: Ogma is a tool to facilitate the integration of safe runtim
This library contains a frontend to read Copilot monitors, a definition of Copilot
structs, and a backend to generate and pretty print Copilot code.

-- Ogma packages should be uncurated so that only the official maintainers make
-- changes.
--
-- Because this is a NASA project, we want to make sure that users obtain
-- exactly what we publish, unmodified by anyone external to our project.
x-curation: uncurated

library

exposed-modules:
Expand Down

0 comments on commit e82ee0d

Please sign in to comment.