blarney-five.cabal

cabal-version: 3.0
name: blarney-five
version: 0.1.0.0

flag enable-namer-plugin
  description: Enable namer plugin
  manual: True
  default: False

common blarney-five-common
  default-language: GHC2021
  default-extensions:
    AllowAmbiguousTypes
    BlockArguments
    DataKinds
    DeriveAnyClass
    DerivingStrategies
    DuplicateRecordFields
    MultiWayIf
    NoImplicitPrelude
    NoStarIsType
    OverloadedRecordDot
    OverloadedLabels
    PartialTypeSignatures
    RebindableSyntax
    RecordWildCards
    RecursiveDo
    TypeFamilies
    NoFieldSelectors
  ghc-options:
    -Wno-partial-type-signatures
  if flag(enable-namer-plugin)
    build-depends:
      blarney-plugins-namer
    ghc-options:
      -fplugin BlarneyPlugins.Namer
  build-depends:
      base
    , blarney

library
  import: blarney-five-common
  hs-source-dirs: src
  exposed-modules: Blarney.Five
  other-modules:
    Blarney.Five.Util
    Blarney.Five.Verify
    Blarney.Five.Pipeline
    Blarney.Five.Interface
    Blarney.Five.RegisterFile
    Blarney.Five.BranchPredictor

executable blarney-five-gen
  import: blarney-five-common
  main-is: Gen.hs
  hs-source-dirs: verify
  build-depends: blarney-five

executable blarney-five-verify
  import: blarney-five-common
  main-is: Verify.hs
  hs-source-dirs: verify
  build-depends: blarney-five

executable blarney-five-verify-unbounded
  import: blarney-five-common
  main-is: VerifyUnbounded.hs
  hs-source-dirs: verify
  build-depends: blarney-five