copilot-language-2.2.0: copilot-language.cabal

cabal-version:       >=1.10
name:                copilot-language
version:             2.2.0
synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                     distributed systems.
description:
  The concrete syntax for 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>.

license:             BSD3
license-file:        LICENSE
author:              Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller,
                     Nis Nordby Wegmann
maintainer:          leepike@gmail.com
stability:           Experimental
category:            Language, Embedded
build-type:          Simple

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

library
  default-language: Haskell2010
  hs-source-dirs: src
  build-depends: array
               , base >= 4.0 && < 5
               , containers >= 0.4
               , data-reify >= 0.6
               , mtl >= 2.0 && < 3
               , ghc-prim >= 0.2
               , copilot-core == 2.2.0
               , copilot-theorem == 0.2
  exposed-modules: Copilot
                 , Copilot.Language
                 , Copilot.Language.Operators.BitWise
                 , Copilot.Language.Operators.Boolean
                 , Copilot.Language.Operators.Propositional
                 , Copilot.Language.Operators.Cast
                 , Copilot.Language.Operators.Constant
                 , Copilot.Language.Operators.Eq
                 , Copilot.Language.Operators.Extern
                 , Copilot.Language.Operators.Integral
                 , Copilot.Language.Operators.Local
                 , Copilot.Language.Operators.Label
                 , Copilot.Language.Operators.Mux
                 , Copilot.Language.Operators.Ord
                 , Copilot.Language.Operators.Temporal
                 , Copilot.Language.Prelude
                 , Copilot.Language.Reify
  other-modules:   Copilot.Language.Analyze
                 , Copilot.Language.Interpret
                 , Copilot.Language.Stream
                 , Copilot.Language.Spec
                 , System.Mem.StableName.Dynamic
                 , System.Mem.StableName.Map
                 , Copilot.Language.Error
  ghc-options:
    -fwarn-tabs
    -auto-all
    -caf-all
    -Wall

    -fpackage-trust
    -- Trusted packages:
    -trust=base
    -trust=containers
    -trust=array