name:                copilot
version:             3.0.1
cabal-version:       >= 1.10
license:             BSD3
license-file:        LICENSE
author:              Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
synopsis:            A stream DSL for writing embedded C programs.
build-type:          Simple
maintainer:          Frank Dedden <dev@dedden.net>
category:            Language, Embedded
homepage:            https://copilot-language.github.io
stability:           Experimental
description:
  This package is the main entry-point for using Copilot.
  .
  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, bug
  reports, and todos are available at
  <https://github.com/Copilot-Language/copilot-discussion>.
  .
  Examples are available at <https://github.com/Copilot-Language/Copilot/tree/master/Examples>.

extra-source-files: 
  README.md
  Examples/Heater.hs
  Examples/Array.hs
  Examples/Struct.hs
  Examples/Counter.hs

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

library
    hs-source-dirs: src
    default-language:  Haskell2010
    ghc-options:
      -Wall
      -fwarn-tabs
      -fno-warn-orphans
    build-depends:
                       base                 >= 4.9  && < 5
                     , optparse-applicative >= 0.14 && < 0.15
                     , directory            >= 1.3  && < 1.4
                     , filepath             >= 1.4  && < 1.5

                     , copilot-core         >= 3.0.1  && < 3.1
                     , copilot-theorem      >= 3.0    && < 3.1
                     , copilot-language     >= 3.0.1  && < 3.1
                     , copilot-libraries    >= 3.0    && < 3.1
                     , copilot-c99          >= 3.0.1  && < 3.1


    exposed-modules: Language.Copilot, Language.Copilot.Main