From fdff3396c4147b2e96d220981f45d5d270841684 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 01/18] ogma-extra: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-extra/ogma-extra.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-extra/ogma-extra.cabal b/ogma-extra/ogma-extra.cabal index 3388b99..0ba62d0 100644 --- a/ogma-extra/ogma-extra.cabal +++ b/ogma-extra/ogma-extra.cabal @@ -34,6 +34,7 @@ build-type: Simple name: ogma-extra version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -59,6 +60,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-extra + library exposed-modules: From acc36301ac378ab88156dba737f3fe2918e4975d Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 02/18] ogma-spec: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-spec/ogma-spec.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-spec/ogma-spec.cabal b/ogma-spec/ogma-spec.cabal index ec171fe..15a2563 100644 --- a/ogma-spec/ogma-spec.cabal +++ b/ogma-spec/ogma-spec.cabal @@ -34,6 +34,7 @@ build-type: Simple name: ogma-spec version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -57,6 +58,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-spec + library exposed-modules: From 98030e47a90c981928c1ba236a0562f99f2e213f Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 03/18] ogma-language-c: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-language-c/ogma-language-c.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-language-c/ogma-language-c.cabal b/ogma-language-c/ogma-language-c.cabal index d29072a..62c7df0 100644 --- a/ogma-language-c/ogma-language-c.cabal +++ b/ogma-language-c/ogma-language-c.cabal @@ -34,6 +34,7 @@ build-type: Custom name: ogma-language-c version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -61,6 +62,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-language-c + custom-setup setup-depends: base >= 4.11.0.0 && < 5 From 37d48c534b0a18e934ee9f8c3934aa194068a4ae Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 04/18] ogma-language-cocospec: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-language-cocospec/ogma-language-cocospec.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-language-cocospec/ogma-language-cocospec.cabal b/ogma-language-cocospec/ogma-language-cocospec.cabal index d201c86..e7ef546 100644 --- a/ogma-language-cocospec/ogma-language-cocospec.cabal +++ b/ogma-language-cocospec/ogma-language-cocospec.cabal @@ -34,6 +34,7 @@ build-type: Custom name: ogma-language-cocospec version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -62,6 +63,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-language-cocospec + custom-setup setup-depends: base >= 4.11.0.0 && < 5 From 9eff141b8a7e33e91528f696a8789a22bcc4beb3 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 05/18] ogma-language-copilot: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-language-copilot/ogma-language-copilot.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-language-copilot/ogma-language-copilot.cabal b/ogma-language-copilot/ogma-language-copilot.cabal index 0db0e6d..b50f005 100644 --- a/ogma-language-copilot/ogma-language-copilot.cabal +++ b/ogma-language-copilot/ogma-language-copilot.cabal @@ -34,6 +34,7 @@ build-type: Simple name: ogma-language-copilot version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -58,6 +59,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-language-copilot + library exposed-modules: From 18344f46bf929f061b7202d2eea9e8389f7f33fc Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 06/18] ogma-language-jsonspec: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-language-jsonspec/ogma-language-jsonspec.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-language-jsonspec/ogma-language-jsonspec.cabal b/ogma-language-jsonspec/ogma-language-jsonspec.cabal index d6c7788..36ec94d 100644 --- a/ogma-language-jsonspec/ogma-language-jsonspec.cabal +++ b/ogma-language-jsonspec/ogma-language-jsonspec.cabal @@ -34,6 +34,7 @@ build-type: Simple name: ogma-language-jsonspec version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -57,6 +58,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-language-jsonspec + library exposed-modules: From 7ba95c5448cc02874e6473fa0a2ff9bd83325ae2 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 07/18] ogma-language-smv: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-language-smv/ogma-language-smv.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-language-smv/ogma-language-smv.cabal b/ogma-language-smv/ogma-language-smv.cabal index 5b7bc35..ccbc35f 100644 --- a/ogma-language-smv/ogma-language-smv.cabal +++ b/ogma-language-smv/ogma-language-smv.cabal @@ -34,6 +34,7 @@ build-type: Custom name: ogma-language-smv version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -62,6 +63,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-language-smv + custom-setup setup-depends: base >= 4.11.0.0 && < 5 From a79360c4c04f1e722f87cb72f80e2da82071f381 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 08/18] ogma-core: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-core/ogma-core.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-core/ogma-core.cabal b/ogma-core/ogma-core.cabal index 54c0108..890c8f6 100644 --- a/ogma-core/ogma-core.cabal +++ b/ogma-core/ogma-core.cabal @@ -34,6 +34,7 @@ build-type: Simple name: ogma-core version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -84,6 +85,11 @@ data-files: templates/copilot-cfs/CMakeLists.txt -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-core + library exposed-modules: From 6dcfaaf6ce9943d3b13a6f1795e65cb8bd9426c9 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:17:30 +0000 Subject: [PATCH 09/18] ogma-cli: Add repository information to cabal package. Refs #148. The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such information is not, strictly speaking, necessary, it helps direct users without having to "jump around" to find out where they need to go. This commit adds both the bug-reports link and the source repository information to the cabal package. --- ogma-cli/ogma-cli.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ogma-cli/ogma-cli.cabal b/ogma-cli/ogma-cli.cabal index 7665eee..30dc181 100644 --- a/ogma-cli/ogma-cli.cabal +++ b/ogma-cli/ogma-cli.cabal @@ -34,6 +34,7 @@ build-type: Simple name: ogma-cli version: 1.5.0 homepage: https://github.com/nasa/ogma +bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense license-file: LICENSE.pdf author: Ivan Perez, Alwyn Goodloe @@ -116,6 +117,11 @@ description: Ogma is a tool to facilitate the integration of safe runtim -- exactly what we publish, unmodified by anyone external to our project. x-curation: uncurated +source-repository head + type: git + location: git@github.com:nasa/ogma.git + subdir: ogma-cli + executable ogma main-is: From a5c55f84cddb1aa4d4688297f899af79fed5402f Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 10/18] ogma-extra: Document changes in CHANGELOG. Refs #148. --- ogma-extra/CHANGELOG.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ogma-extra/CHANGELOG.md b/ogma-extra/CHANGELOG.md index 37efb0f..d1e9e22 100644 --- a/ogma-extra/CHANGELOG.md +++ b/ogma-extra/CHANGELOG.md @@ -1,8 +1,9 @@ # Revision history for ogma-extra -## [1.X.Y] - 2024-12-05 +## [1.X.Y] - 2024-12-24 * Deprecate unnecessary functions (#185). +* Add repository information to cabal package (#148). ## [1.5.0] - 2024-11-21 From 8e1bc9577054e4a20c2567bc7d75acc3ac261639 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 11/18] ogma-spec: Document changes in CHANGELOG. Refs #148. --- ogma-spec/CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ogma-spec/CHANGELOG.md b/ogma-spec/CHANGELOG.md index 36f9bdc..44fb32b 100644 --- a/ogma-spec/CHANGELOG.md +++ b/ogma-spec/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for ogma-spec +## [1.X.Y] - 2024-12-24 + +* Add repository information to cabal package (#148). + ## [1.5.0] - 2024-11-21 * Version bump 1.5.0 (#178). From a455b1d2841ee130df8c86886bf4411136011cd0 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 12/18] ogma-language-c: Document changes in CHANGELOG. Refs #148. --- ogma-language-c/CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ogma-language-c/CHANGELOG.md b/ogma-language-c/CHANGELOG.md index 209fcd3..847e49f 100644 --- a/ogma-language-c/CHANGELOG.md +++ b/ogma-language-c/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for ogma-language-c +## [1.X.Y] - 2024-12-24 + +* Add repository information to cabal package (#148). + ## [1.5.0] - 2024-11-21 * Version bump 1.5.0 (#178). From 12382cabff1c8de0c76ad2d1c6db40411ac3b949 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 13/18] ogma-language-cocospec: Document changes in CHANGELOG. Refs #148. --- ogma-language-cocospec/CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ogma-language-cocospec/CHANGELOG.md b/ogma-language-cocospec/CHANGELOG.md index 540fa36..0baff7f 100644 --- a/ogma-language-cocospec/CHANGELOG.md +++ b/ogma-language-cocospec/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for ogma-language-cocospec +## [1.X.Y] - 2024-12-24 + +* Add repository information to cabal package (#148). + ## [1.5.0] - 2024-11-21 * Version bump 1.5.0 (#178). From 3a27366385ab50fcdbeecf20704680cd5aff9479 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 14/18] ogma-language-copilot: Document changes in CHANGELOG. Refs #148. --- ogma-language-copilot/CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ogma-language-copilot/CHANGELOG.md b/ogma-language-copilot/CHANGELOG.md index 6c944cd..1b8cfe3 100644 --- a/ogma-language-copilot/CHANGELOG.md +++ b/ogma-language-copilot/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for ogma-language-copilot +## [1.X.Y] - 2024-12-24 + +* Add repository information to cabal package (#148). + ## [1.5.0] - 2024-11-21 * Version bump 1.5.0 (#178). From bd9461752f391af11feaf7aa9207f60acee50003 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 15/18] ogma-language-jsonspec: Document changes in CHANGELOG. Refs #148. --- ogma-language-jsonspec/CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ogma-language-jsonspec/CHANGELOG.md b/ogma-language-jsonspec/CHANGELOG.md index 944adb8..19682a0 100644 --- a/ogma-language-jsonspec/CHANGELOG.md +++ b/ogma-language-jsonspec/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for ogma-language-jsonspec +## [1.X.Y] - 2024-12-24 + +* Add repository information to cabal package (#148). + ## [1.5.0] - 2024-11-21 * Version bump 1.5.0 (#178). From fd0e05179d5997e5b0bce1e18f0ff832ea01adf3 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 16/18] ogma-language-smv: Document changes in CHANGELOG. Refs #148. --- ogma-language-smv/CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ogma-language-smv/CHANGELOG.md b/ogma-language-smv/CHANGELOG.md index 3b71957..b5fd5ae 100644 --- a/ogma-language-smv/CHANGELOG.md +++ b/ogma-language-smv/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for ogma-language-smv +## [1.X.Y] - 2024-12-24 + +* Add repository information to cabal package (#148). + ## [1.5.0] - 2024-11-21 * Version bump 1.5.0 (#178). From 204eeee9ce3ffe993a20b81c7eb602e2b0f545b6 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 17/18] ogma-core: Document changes in CHANGELOG. Refs #148. --- ogma-core/CHANGELOG.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ogma-core/CHANGELOG.md b/ogma-core/CHANGELOG.md index 7417feb..ccfe1f5 100644 --- a/ogma-core/CHANGELOG.md +++ b/ogma-core/CHANGELOG.md @@ -1,10 +1,11 @@ # Revision history for ogma-core -## [1.X.Y] - 2024-12-23 +## [1.X.Y] - 2024-12-24 * Replace queueSize with QUEUE_SIZE in FPP file (#186). * Use template expansion system to generate F' monitoring component (#185). * Use template expansion system to generate standalone Copilot monitor (#189). +* Add repository information to cabal package (#148). ## [1.5.0] - 2024-11-21 From 0edf304ad690c2f60fdc6309409dfa5c8f19fd79 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 24 Dec 2024 17:20:40 +0000 Subject: [PATCH 18/18] ogma-cli: Document changes in CHANGELOG. Refs #148. --- ogma-cli/CHANGELOG.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ogma-cli/CHANGELOG.md b/ogma-cli/CHANGELOG.md index dbd0af8..4712374 100644 --- a/ogma-cli/CHANGELOG.md +++ b/ogma-cli/CHANGELOG.md @@ -1,10 +1,11 @@ # Revision history for ogma-cli -## [1.X.Y] - 2024-12-23 +## [1.X.Y] - 2024-12-24 * Update contribution guidelines (#161). * Provide ability to customize template in fprime command (#185). * Provide ability to customize template in standalone command (#189). +* Add repository information to cabal package (#148). ## [1.5.0] - 2024-11-21