copilot-c99.cabal

cabal-version             : >= 1.10
name                      : copilot-c99
version                   : 3.2.1
synopsis                  : A compiler for Copilot targeting C99.
description               :
  This package is a back-end from Copilot to C.
  .
  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
  Haskell that compiles into embedded C.  Copilot contains an interpreter,
  multiple back-end compilers, and other verification tools.
  .
  A tutorial, examples, and other information are available at
  <https://copilot-language.github.io>.

license                   : BSD3
license-file              : LICENSE
maintainer                : Frank Dedden <dev@dedden.net>
homepage                  : https://copilot-language.github.io
bug-reports               : https://github.com/Copilot-Language/copilot-c99/issues
stability                 : Experimental
category                  : Language, Embedded
build-type                : Simple
extra-source-files        : README.md
                          , CHANGELOG

author                    : Frank Dedden
                          , Alwyn Goodloe

source-repository head
    type:       git
    location:   git://github.com/Copilot-Language/copilot-c99.git

library
  default-language        : Haskell2010
  hs-source-dirs          : src
  ghc-options             : -Wall -fwarn-tabs
  build-depends           : base                >= 4.9 && < 5
                          , containers          >= 0.4 && < 0.7
                          , directory           >= 1.3 && < 1.4
                          , filepath            >= 1.4 && < 1.5
                          , mtl                 >= 2.2 && < 2.3
                          , pretty              >= 1.1 && < 1.2

                          , copilot-core        >= 3.2.1 && < 3.3
                          , language-c99        >= 0.1.1 && < 0.2
                          , language-c99-util   >= 0.1.1 && < 0.2
                          , language-c99-simple >= 0.1.1 && < 0.2

  exposed-modules         : Copilot.Compile.C99
                          , Copilot.Compile.C99.Translate
                          , Copilot.Compile.C99.Util
                          , Copilot.Compile.C99.CodeGen
                          , Copilot.Compile.C99.External
                          , Copilot.Compile.C99.Compile

test-suite test
  type:             exitcode-stdio-1.0
  default-language: Haskell2010
  hs-source-dirs:   testing
  main-is:          Main.hs
  other-modules:    Copilot.Compile.C99.Driver
                  , Copilot.Compile.C99.Test
                  , Copilot.Compile.C99.Property.MatchesInterpreter
                  , Copilot.Compile.C99.Property.SequencePoint
  build-depends:    base
                  , copilot-core
                  , copilot-c99         >= 3.2.1 && < 3.3
                  , copilot-language    >= 3.2.1 && < 3.3
                  , language-c99        >= 0.1.2 && < 0.2
                  , language-c99-simple
                  , pretty              >= 1.1.3 && < 1.2
                  , process             >= 1.6.5 && < 1.7
                  , QuickCheck          >= 2.14  && < 2.15
                  , csv                 >= 0.1.2 && < 0.2
                  , hspec               >= 2.7.1 && < 2.8