Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add version bounds to all dependencies in cabal packages. Refs #119. #193

Merged
merged 14 commits into from
Dec 26, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions ogma-cli/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
* 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).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down
12 changes: 6 additions & 6 deletions ogma-cli/ogma-cli.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -139,7 +139,7 @@ executable ogma

build-depends:
base >= 4.11.0.0 && < 5
, optparse-applicative
, optparse-applicative >= 0.14 && < 0.19
, ogma-core >= 1.5.0 && < 1.6

hs-source-dirs:
Expand All @@ -160,11 +160,11 @@ test-suite test-ogma

build-depends:
base >= 4.11.0.0 && < 5
, HUnit
, process
, test-framework
, test-framework-hunit
, unix
, HUnit >= 1.2.0.0 && < 1.7
, process >= 1.6 && < 1.7
, test-framework >= 0.8.2 && < 0.9
, test-framework-hunit >= 0.2.0 && < 0.4
, unix >= 2.7.2.2 && < 2.9

hs-source-dirs:
tests
Expand Down
1 change: 1 addition & 0 deletions ogma-core/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
* 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).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down
20 changes: 10 additions & 10 deletions ogma-core/ogma-core.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -119,9 +119,9 @@ library
build-depends:
base >= 4.11.0.0 && < 5
, aeson >= 2.0.0.0 && < 2.2
, bytestring
, filepath
, mtl
, bytestring >= 0.10.8.2 && < 0.13
, filepath >= 1.4.2 && < 1.6
, mtl >= 2.2.2 && < 2.4
, text >= 1.2.3.1 && < 2.1

, ogma-extra >= 1.5.0 && < 1.6
Expand Down Expand Up @@ -149,13 +149,13 @@ test-suite unit-tests
Main.hs

build-depends:
base
, directory
, HUnit
, QuickCheck
, test-framework
, test-framework-hunit
, test-framework-quickcheck2
base >= 4.11.0.0 && < 5
, directory >= 1.3.1.5 && < 1.4
, HUnit >= 1.2.0.0 && < 1.7
, QuickCheck >= 2.8.2 && < 2.16
, test-framework >= 0.8.2 && < 0.9
, test-framework-hunit >= 0.2.0 && < 0.4
, test-framework-quickcheck2 >= 0.3.0.4 && < 0.4

, ogma-core

Expand Down
1 change: 1 addition & 0 deletions ogma-extra/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@

* Deprecate unnecessary functions (#185).
* Add repository information to cabal package (#148).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down
16 changes: 8 additions & 8 deletions ogma-extra/ogma-extra.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -76,10 +76,10 @@ library
build-depends:
base >= 4.11.0.0 && < 5
, aeson >= 2.0.0.0 && < 2.2
, bytestring
, Cabal
, directory
, filepath
, bytestring >= 0.10.8.2 && < 0.13
, Cabal >= 2.2.0.0 && < 3.9
, directory >= 1.3.1.5 && < 1.4
, filepath >= 1.4.2 && < 1.6
, microstache >= 1.0 && < 1.1
, text >= 1.2.3.1 && < 2.1

Expand All @@ -100,10 +100,10 @@ test-suite unit-tests
Main.hs

build-depends:
base
, QuickCheck
, test-framework
, test-framework-quickcheck2
base >= 4.11.0.0 && < 5
, QuickCheck >= 2.8.2 && < 2.16
, test-framework >= 0.8.2 && < 0.9
, test-framework-quickcheck2 >= 0.3.0.4 && < 0.4

, ogma-extra

Expand Down
1 change: 1 addition & 0 deletions ogma-language-c/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
## [1.X.Y] - 2024-12-24

* Add repository information to cabal package (#148).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down
12 changes: 6 additions & 6 deletions ogma-language-c/ogma-language-c.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -71,8 +71,8 @@ custom-setup
setup-depends:
base >= 4.11.0.0 && < 5
, Cabal >= 2.0 && < 3.9
, process
, BNFC >= 2.9.1
, process >= 1.6 && < 1.7
, BNFC >= 2.9.1 && < 2.10

library

Expand All @@ -91,7 +91,7 @@ library

build-depends:
base >= 4.11.0.0 && < 5
, array >= 0.5.2.0
, array >= 0.5.2.0 && < 0.6

hs-source-dirs:
src
Expand All @@ -108,9 +108,9 @@ test-suite unit-tests

build-depends:
base >= 4.11.0.0 && < 5
, QuickCheck
, test-framework
, test-framework-quickcheck2
, QuickCheck >= 2.8.2 && < 2.16
, test-framework >= 0.8.2 && < 0.9
, test-framework-quickcheck2 >= 0.3.0.4 && < 0.4

, ogma-language-c

Expand Down
1 change: 1 addition & 0 deletions ogma-language-cocospec/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
## [1.X.Y] - 2024-12-24

* Add repository information to cabal package (#148).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down
12 changes: 6 additions & 6 deletions ogma-language-cocospec/ogma-language-cocospec.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -72,8 +72,8 @@ custom-setup
setup-depends:
base >= 4.11.0.0 && < 5
, Cabal >= 2.0 && < 3.9
, process
, BNFC >= 2.9.1
, process >= 1.6 && < 1.7
, BNFC >= 2.9.1 && < 2.10

library

Expand All @@ -92,7 +92,7 @@ library

build-depends:
base >= 4.11.0.0 && < 5
, array >= 0.5.2.0
, array >= 0.5.2.0 && < 0.6

hs-source-dirs:
src
Expand All @@ -109,9 +109,9 @@ test-suite unit-tests

build-depends:
base >= 4.11.0.0 && < 5
, QuickCheck
, test-framework
, test-framework-quickcheck2
, QuickCheck >= 2.8.2 && < 2.16
, test-framework >= 0.8.2 && < 0.9
, test-framework-quickcheck2 >= 0.3.0.4 && < 0.4

, ogma-language-cocospec

Expand Down
1 change: 1 addition & 0 deletions ogma-language-jsonspec/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
## [1.X.Y] - 2024-12-24

* Add repository information to cabal package (#148).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down
6 changes: 3 additions & 3 deletions ogma-language-jsonspec/ogma-language-jsonspec.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -72,9 +72,9 @@ library
base >= 4.11.0.0 && < 5
, aeson >= 2.0.0.0 && < 2.2
, jsonpath >= 0.3 && < 0.4
, text
, megaparsec
, bytestring
, text >= 1.2.3.1 && < 2.1
, megaparsec >= 8.0.0 && < 9.10
, bytestring >= 0.10.8.2 && < 0.13

, ogma-spec >= 1.5.0 && < 1.6

Expand Down
1 change: 1 addition & 0 deletions ogma-language-smv/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
## [1.X.Y] - 2024-12-24

* Add repository information to cabal package (#148).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down
12 changes: 6 additions & 6 deletions ogma-language-smv/ogma-language-smv.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -72,8 +72,8 @@ custom-setup
setup-depends:
base >= 4.11.0.0 && < 5
, Cabal >= 2.0 && < 3.9
, process
, BNFC >= 2.9.1
, process >= 1.6 && < 1.7
, BNFC >= 2.9.1 && < 2.10

library

Expand All @@ -93,7 +93,7 @@ library

build-depends:
base >= 4.11.0.0 && < 5
, array >= 0.5.2.0
, array >= 0.5.2.0 && < 0.6

hs-source-dirs:
src
Expand All @@ -110,9 +110,9 @@ test-suite unit-tests

build-depends:
base >= 4.11.0.0 && < 5
, QuickCheck
, test-framework
, test-framework-quickcheck2
, QuickCheck >= 2.8.2 && < 2.16
, test-framework >= 0.8.2 && < 0.9
, test-framework-quickcheck2 >= 0.3.0.4 && < 0.4

, ogma-language-smv

Expand Down
Loading