lion-0.1.0.0: lion.cabal

cabal-version:      2.4
name:               lion
version:            0.1.0.0
synopsis:           RISC-V Core
description:        Lion is a formally verified, 5-stage pipeline [RISC-V](https://riscv.org) core. Lion targets the [VELDT FPGA development board](https://standardsemiconductor.com) and is written in Haskell using [Clash](https://clash-lang.org).
bug-reports:        https://github.com/standardsemiconductor/lion/issues
license:            BSD-3-Clause
license-file:       LICENSE
author:             dopamane <standard.semiconductor@gmail.com>
maintainer:         dopamane <standard.semiconductor@gmail.com>
copyright:          (c) 2021 David Cox
category:           Hardware
extra-source-files:
    CHANGELOG.md
    README.md

source-repository head
  type: git
  location: git://github.com/standardsemiconductor/lion.git

library
  exposed-modules: Lion.Core
                 , Lion.Rvfi
  other-modules:   Lion.Instruction
                 , Lion.Pipe
  hs-source-dirs: src
  default-language: Haskell2010
  build-depends: 
    base >= 4.13 && < 4.15,
    Cabal,
    generic-monoid >= 0.1 && < 0.2,
    mtl,
    lens,
    ice40-prim >= 0.1 && < 0.2,
    clash-prelude >= 1.2.5 && < 1.4,
    ghc-typelits-natnormalise,
    ghc-typelits-extra,
    ghc-typelits-knownnat
  ghc-options:
    -Wall -Wcompat
    -haddock
    -fplugin GHC.TypeLits.Extra.Solver
    -fplugin GHC.TypeLits.Normalise
    -fplugin GHC.TypeLits.KnownNat.Solver
    -fexpose-all-unfoldings
    -fno-worker-wrapper
  default-extensions:
    BinaryLiterals
    DataKinds
    DeriveAnyClass
    DeriveGeneric
    DerivingStrategies
    DerivingVia
    FlexibleContexts
    FlexibleInstances
    GADTs
    GeneralizedNewtypeDeriving
    LambdaCase
    MagicHash
    MultiWayIf
    NoImplicitPrelude
    NoStarIsType
    PolyKinds
    RankNTypes
    TemplateHaskell
    TupleSections
    TypeFamilies
    TypeOperators
    ViewPatterns