Skip to content

Commit

Permalink
Merge pull request #292 from turion/dev_cabal_gild
Browse files Browse the repository at this point in the history
cabal gild
  • Loading branch information
turion authored Feb 27, 2024
2 parents 3258ce4 + 5ebc763 commit b750a23
Show file tree
Hide file tree
Showing 7 changed files with 378 additions and 297 deletions.
5 changes: 3 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -138,15 +138,16 @@ jobs:
# - run: nix flake check

cabal-check:
name: Check all cabal files
name: Check and format all cabal files
runs-on:
- ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: tfausak/cabal-gild-setup-action@v2
- run: ./cabal_check.sh

success:
name: Success
name: Successfully build and test on all systems
needs:
- build-cabal
- build-flake
Expand Down
1 change: 1 addition & 0 deletions cabal_check.sh
Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,6 @@ for cabalfile in $(ls */*.cabal)
do
pushd $(dirname $cabalfile)
cabal check
cabal-gild --mode=check --input=$(basename $cabalfile)
popd
done
94 changes: 53 additions & 41 deletions rhine-bayes/rhine-bayes.cabal
Original file line number Diff line number Diff line change
@@ -1,42 +1,46 @@
name: rhine-bayes
version: 1.2
synopsis: monad-bayes backend for Rhine
name: rhine-bayes
version: 1.2
synopsis: monad-bayes backend for Rhine
description:
This package provides a backend to the @monad-bayes@ library,
enabling you to write stochastic processes as signal functions,
and performing online machine learning on them.
license: BSD3
license-file: LICENSE
author: Manuel Bärenz
maintainer: [email protected]

license: BSD3
license-file: LICENSE
author: Manuel Bärenz
maintainer: [email protected]
-- copyright:
category: FRP
build-type: Simple
extra-doc-files: README.md ChangeLog.md
cabal-version: 2.0
category: FRP
build-type: Simple
extra-doc-files:
ChangeLog.md
README.md

cabal-version: 2.0

source-repository head
type: git
type: git
location: [email protected]:turion/rhine.git

source-repository this
type: git
type: git
location: [email protected]:turion/rhine.git
tag: v1.1
tag: v1.1

library
exposed-modules:
FRP.Rhine.Bayes
other-modules:
Data.MonadicStreamFunction.Bayes
build-depends: base >= 4.11 && < 4.18
, transformers >= 0.5
, rhine == 1.2
, dunai ^>= 0.11
, log-domain >= 0.12
, monad-bayes ^>= 1.2
hs-source-dirs: src
default-language: Haskell2010
exposed-modules: FRP.Rhine.Bayes
other-modules: Data.MonadicStreamFunction.Bayes
build-depends:
base >=4.11 && <4.18,
dunai ^>=0.11,
log-domain >=0.12,
monad-bayes ^>=1.2,
rhine ==1.2,
transformers >=0.5

hs-source-dirs: src
default-language: Haskell2010
default-extensions:
Arrows
DataKinds
Expand All @@ -51,24 +55,27 @@ library
TypeFamilies
TypeOperators

ghc-options: -W
ghc-options: -W

if flag(dev)
ghc-options: -Werror

executable rhine-bayes-gloss
main-is: Main.hs
hs-source-dirs: app
build-depends: base >= 4.11 && < 4.18
, rhine
, rhine-bayes
, rhine-gloss == 1.2
, dunai
, monad-bayes
, transformers
, log-domain
, mmorph
, time
default-language: Haskell2010
main-is: Main.hs
hs-source-dirs: app
build-depends:
base >=4.11 && <4.18,
dunai,
log-domain,
mmorph,
monad-bayes,
rhine,
rhine-bayes,
rhine-gloss ==1.2,
time,
transformers

default-language: Haskell2010
default-extensions:
Arrows
DataKinds
Expand All @@ -80,7 +87,12 @@ executable rhine-bayes-gloss
TypeFamilies
TypeOperators

ghc-options: -W -threaded -rtsopts -with-rtsopts=-N
ghc-options:
-W
-threaded
-rtsopts
-with-rtsopts=-N

if flag(dev)
ghc-options: -Werror

Expand Down
Loading

0 comments on commit b750a23

Please sign in to comment.