copilot-sbv-0.3: copilot-sbv.cabal

cabal-version             : >= 1.10
name                      : copilot-sbv
version                   : 0.3
synopsis                  : A compiler for CoPilot targeting SBV.
description               : Blah blah blah...
license                   : BSD3
license-file              : LICENSE
maintainer                : leepike@galois.com
stability                 : Experimental
category                  : Language, Embedded
build-type                : Simple
extra-source-files        : README.md

author                    : Lee Pike
                          , Robin Morisset
                          , Alwyn Goodloe
                          , Sebastian Niller
                          , Nis Nordby Wegmann

source-repository head
    type:       git
    location:   git://github.com/niswegmann/copilot-sbv.git

library
  default-language        : Haskell2010
  hs-source-dirs          : src
  ghc-options             : -Wall -fwarn-tabs
  ghc-prof-options        : -auto-all -caf-all

  build-depends           : sbv >= 0.9.21
                          , base >= 4.3 && < 5
                          , containers >= 0.4
                          , copilot-core
                          , pretty >= 1                         
                          , filepath >= 1.1

  exposed-modules         : Copilot.Compile.SBV
                          , Copilot.Compile.SBV.Code
                          , Copilot.Compile.SBV.Common
                          , Copilot.Compile.SBV.Copilot2SBV
                          , Copilot.Compile.SBV.MetaTable
                          , Copilot.Compile.SBV.Params
                          , Copilot.Compile.SBV.Queue
                          , Copilot.Compile.SBV.Witness
                          , Copilot.Compile.SBV.Driver
                          , Copilot.Compile.SBV.Makefile