shelley-spec-ledger.cabal

name:                shelley-spec-ledger
version:             0.1.0.0
description:         Shelley Ledger Executable Model
author:              IOHK Formal Methods Team
maintainer:          formal.methods@iohk.io
build-type:          Simple
cabal-version:       >=1.8

source-repository head
  type: git
  location: https://github.com/input-output-hk/cardano-ledger-specs.git
  subdir:   hs

flag development
    description: Disable '-Werror'
    default: False
    manual: True

library
  exposed-modules:
    Cardano.Ledger.Compactible
    Cardano.Ledger.Core
    Cardano.Ledger.Crypto
    Cardano.Ledger.Era
    Cardano.Ledger.Shelley
    Cardano.Ledger.Torsor
    Cardano.Ledger.Val
    Shelley.Spec.Ledger.Address
    Shelley.Spec.Ledger.Address.Bootstrap
    Shelley.Spec.Ledger.API
    Shelley.Spec.Ledger.API.ByronTranslation
    Shelley.Spec.Ledger.API.Protocol
    Shelley.Spec.Ledger.API.Validation
    Shelley.Spec.Ledger.BaseTypes
    Shelley.Spec.Ledger.BlockChain
    Shelley.Spec.Ledger.Coin
    Shelley.Spec.Ledger.CompactAddr
    Shelley.Spec.Ledger.Credential
    Shelley.Spec.Ledger.Delegation.Certificates
    Shelley.Spec.Ledger.Delegation.PoolParams
    Shelley.Spec.Ledger.EpochBoundary
    Shelley.Spec.Ledger.Genesis
    Shelley.Spec.Ledger.HardForks
    Shelley.Spec.Ledger.Hashing
    Shelley.Spec.Ledger.Keys
    Shelley.Spec.Ledger.LedgerState
    Shelley.Spec.Ledger.MetaData
    Shelley.Spec.Ledger.OCert
    Shelley.Spec.Ledger.Orphans
    Shelley.Spec.Ledger.OverlaySchedule
    Shelley.Spec.Ledger.PParams
    Shelley.Spec.Ledger.Rewards
    Shelley.Spec.Ledger.Scripts
    Shelley.Spec.Ledger.Serialization
    Shelley.Spec.Ledger.Slot
    Shelley.Spec.Ledger.SoftForks
    Shelley.Spec.Ledger.StabilityWindow
    Shelley.Spec.Ledger.STS.Bbody
    Shelley.Spec.Ledger.STS.Chain
    Shelley.Spec.Ledger.STS.Deleg
    Shelley.Spec.Ledger.STS.Delegs
    Shelley.Spec.Ledger.STS.Delpl
    Shelley.Spec.Ledger.STS.Epoch
    Shelley.Spec.Ledger.STS.Ledger
    Shelley.Spec.Ledger.STS.Ledgers
    Shelley.Spec.Ledger.STS.Mir
    Shelley.Spec.Ledger.STS.NewEpoch
    Shelley.Spec.Ledger.STS.Newpp
    Shelley.Spec.Ledger.STS.Ocert
    Shelley.Spec.Ledger.STS.Overlay
    Shelley.Spec.Ledger.STS.Pool
    Shelley.Spec.Ledger.STS.PoolReap
    Shelley.Spec.Ledger.STS.Ppup
    Shelley.Spec.Ledger.STS.Prtcl
    Shelley.Spec.Ledger.STS.Rupd
    Shelley.Spec.Ledger.STS.Snap
    Shelley.Spec.Ledger.STS.Tick
    Shelley.Spec.Ledger.STS.Tickn
    Shelley.Spec.Ledger.STS.Updn
    Shelley.Spec.Ledger.STS.Utxo
    Shelley.Spec.Ledger.STS.Utxow
    Shelley.Spec.Ledger.Tx
    Shelley.Spec.Ledger.TxBody
    Shelley.Spec.Ledger.UTxO
  other-modules:     Shelley.Spec.Ledger.API.Mempool
                     Shelley.Spec.Ledger.API.Wallet
                     Shelley.Spec.Ledger.API.Types
  hs-source-dirs: src
  ghc-options:
    -Wall
    -Wcompat
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wredundant-constraints
    -Wpartial-fields
  if (!flag(development))
    ghc-options:
      -Werror
  build-depends:
    aeson,
    base >= 4.7 && < 5,
    base16-bytestring,
    binary,
    bytestring,
    cardano-binary,
    cardano-crypto,
    cardano-crypto-class,
    cardano-crypto-wrapper,
    cardano-ledger,
    cardano-crypto-praos,
    cardano-prelude,
    cardano-slotting,
    cborg,
    cborg-json,
    containers,
    deepseq,
    groups,
    iproute,
    mtl,
    network,
    nothunks,
    partial-order,
    primitive >= 0.7.1.0,
    quiet,
    scientific,
    shelley-spec-non-integral,
    small-steps,
    stm,
    text,
    time,
    transformers