copilot-2.2.1: copilot.cabal

name:                copilot
version:             2.2.1
cabal-version:       >= 1.10
license:             BSD3
license-file:        LICENSE
author:              Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
synopsis:            A stream DSL for writing embedded C programs.
build-type:          Simple
maintainer:          Lee Pike <leepike@galois.com>
category:            Language, Embedded
homepage:            http://leepike.github.com/Copilot/
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/leepike/copilot-discussion>.
  .
  Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>.

extra-source-files:  README.md

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

library
    hs-source-dirs: src
    default-language:  Haskell2010
    ghc-options:
      -Wall
      -fwarn-tabs
      -auto-all
      -caf-all
      -fno-warn-orphans
    build-depends:
                       base >= 4.0 && < 5
                     , copilot-core >= 2.2.1
                     , copilot-theorem >= 2.2.1
                     , copilot-language >= 2.2.1
                     , copilot-libraries >= 2.2.1
                     , copilot-sbv >= 2.2.1
                     , copilot-cbmc >= 2.2.1
                     , copilot-c99 >= 2.2.1

    exposed-modules: Language.Copilot

executable copilot-regression
  default-language        : Haskell2010
  hs-source-dirs          : Examples, src
  ghc-options             : -Wall -fwarn-tabs
  main-is                 : Test.hs
  build-depends:
                     base >= 4.0 && < 5
                   , copilot-core >= 2.2.1
                   , copilot-theorem >= 2.2.1
                   , copilot-language >= 2.2.1
                   , copilot-libraries >= 2.2.1
                   , copilot-sbv >= 2.2.1
                   , copilot-cbmc >= 2.2.1
                   , copilot-c99 >= 2.2.1
                   , directory >= 1.2.1
                   , random
  other-modules:    AddMult
                  , Array
                  , Cast
                  , ClockExamples
                  , EngineExample
                  , Examples
                  , Examples2
                  , ExtFuns
                  , Languages
                  , Local
                  , LTLExamples
                  , PTLTLExamples
                  , Random
                  , RegExpExamples
                  , Sat
                  , StackExamples
                  , StatExamples
                  , VotingExamples