clash-systolic.cabal

cabal-version: 2.4

name: clash-systolic
version: 0.1.0
license: BSD-3-Clause
author: Alex McKenna <alex@qbaylogic.com>
maintainer: alex@qbaylogic.com
build-type: Simple

common common-options
  default-language: Haskell2010

  default-extensions:
    BangPatterns
    ConstraintKinds
    DataKinds
    DeriveFoldable
    DeriveFunctor
    DeriveGeneric
    DeriveTraversable
    DerivingStrategies
    FlexibleContexts
    FlexibleInstances
    GADTs
    LambdaCase
    NoImplicitPrelude
    NumericUnderscores
    ScopedTypeVariables
    StandaloneDeriving
    TypeApplications
    TypeFamilyDependencies
    TypeOperators

  ghc-options:
    -Wall
    -Wcompat
    -Werror
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wredundant-constraints

    -- Plugins to support type-level constraint solving on naturals
    -fplugin=GHC.TypeLits.Extra.Solver
    -fplugin=GHC.TypeLits.KnownNat.Solver
    -fplugin=GHC.TypeLits.Normalise

    -- Clash needs access to the source code in compiled modules
    -fexpose-all-unfoldings

    -- Worker wrappers introduce unstable names for functions that might have
    -- blackboxes attached for them. You can disable this, but be sure to add
    -- a no-specialize pragma to every function with a blackbox.
    -fno-worker-wrapper

  if impl(ghc >= 8.2)
    ghc-options:
      -fhide-source-paths

  if impl(ghc >= 8.4)
    ghc-options:
      -Wmissing-export-lists
      -Wpartial-fields

  if impl(ghc >= 8.6)
    default-extensions:
      NoStarIsType

  build-depends:
    base                        >= 4.13  && < 5,
    clash-prelude               >= 1.2   && < 1.8,
    ghc-typelits-extra          >= 0.4.3 && < 0.5,
    ghc-typelits-knownnat       >= 0.7.6 && < 0.8,
    ghc-typelits-natnormalise   >= 0.7.6 && < 0.8,

library
  import: common-options
  hs-source-dirs: src

  exposed-modules:
    Clash.Systolic
    Clash.Systolic.Cell
    Clash.Systolic.Network
    Clash.Systolic.Network.Pipeline
    Clash.Systolic.Network.Rectangle

test-suite doctests
  import: common-options
  hs-source-dirs: tests
  type: exitcode-stdio-1.0
  main-is: Doctests.hs

  if impl(ghc >= 8.4)
    ghc-options:
      -- Build_doctests has no explicit export list
      -Wno-missing-export-lists

  x-doctest-options:
    -fplugin=GHC.TypeLits.Extra.Solver
    -fplugin=GHC.TypeLits.KnownNat.Solver
    -fplugin=GHC.TypeLits.Normalise

  build-depends:
    doctest-parallel >= 0.2 && < 0.3,
    filepath,

    clash-systolic,

test-suite test-library
  import: common-options
  hs-source-dirs: tests
  type: exitcode-stdio-1.0
  main-is: TestLibrary.hs

  build-depends:
    hedgehog,
    tasty,
    tasty-hedgehog,

    clash-systolic,

-- Builds the executable 'clash' with the project in scope
executable clash
  default-language: Haskell2010
  main-is: bin/Clash.hs

  build-Depends:
    base      >= 4.13 && < 5,
    clash-ghc >= 1.2  && < 1.8,

    clash-systolic,

-- Builds the executable 'clashi' with the project in scope
executable clashi
  default-language: Haskell2010
  main-is: bin/Clashi.hs
  if !os(Windows)
    ghc-options: -dynamic

  build-depends:
    base      >= 4.13 && < 5,
    clash-ghc >= 1.2  && < 1.8,

    clash-systolic,