copilot-language-0.1: copilot-language.cabal

cabal-version:       >=1.10
name:                copilot-language
version:             0.1
synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                     distributed systems.
description:         Blah blah blah...
license:             BSD3
license-file:        LICENSE
author:              Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller,
                     Nis Nordby Wegmann
maintainer:          niswegmann@gmail.com
stability:           Experimental
category:            Language, Embedded
build-type:          Simple

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

library
  default-language: Haskell2010

  hs-source-dirs: src

  build-depends:
    array,
    base >= 4.0 && < 5,
    containers >= 0.4 && < 1,
    data-reify >= 0.6,
    mtl >= 2.0 && < 3,
    ghc-prim >= 0.2 && < 0.3,
    copilot-core
  exposed-modules:
    Copilot
    Copilot.Language
    Copilot.Language.Error
    Copilot.Language.Interpret
    Copilot.Language.Operators.Boolean
    Copilot.Language.Operators.Cast
    Copilot.Language.Operators.Constant
    Copilot.Language.Operators.Eq
    Copilot.Language.Operators.Extern
    Copilot.Language.Operators.Local
    Copilot.Language.Operators.Integral
    Copilot.Language.Operators.Mux
    Copilot.Language.Operators.Ord
    Copilot.Language.Operators.Temporal
    Copilot.Language.Operators.BitWise
    Copilot.Language.Prelude
    Copilot.Language.Reify
--    Copilot.Language.Reify.Graph

  other-modules:
    Copilot.Language.Analyze
    Copilot.Language.Stream
    Copilot.Language.Spec
    System.Mem.StableName.Dynamic
    System.Mem.StableName.Dynamic.Map

  ghc-options:
    -fwarn-tabs
    -auto-all
    -caf-all
    -Wall