ivory-0.1.0.7: ivory.cabal

-- Initial ivory.cabal generated by cabal init.  For further documentation,
--  see http://haskell.org/cabal/users-guide/

name:                ivory
version:             0.1.0.7
author:              Galois, Inc.
maintainer:          trevor@galois.com, leepike@galois.com
category:            Language
synopsis:            Safe embedded C programming.
description:         Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness.
homepage:            http://ivorylang.org
build-type:          Simple
cabal-version:       >= 1.10
license:             BSD3
license-file:        LICENSE
source-repository    this
  type:     git
  location: https://github.com/GaloisInc/ivory
  tag:      hackage-0.1.0.4

library
  exposed-modules:      Ivory.Language,
                        Ivory.Language.Effects,
                        Ivory.Language.Monad,
                        Ivory.Language.Area,
                        Ivory.Language.Array,
                        Ivory.Language.Assert,
                        Ivory.Language.Bits,
                        Ivory.Language.BitData.Array,
                        Ivory.Language.BitData.BitData,
                        Ivory.Language.BitData.Bits,
                        Ivory.Language.BitData.DefBitRep,
                        Ivory.Language.BitData.Monad,
                        Ivory.Language.BoundedInteger,
                        Ivory.Language.CArray,
                        Ivory.Language.Cast,
                        Ivory.Language.Comment,
                        Ivory.Language.Cond,
                        Ivory.Language.Const,
                        Ivory.Language.Coroutine,
                        Ivory.Language.Float,
                        Ivory.Language.IBool,
                        Ivory.Language.IChar,
                        Ivory.Language.IIntegral,
                        Ivory.Language.Init,
                        Ivory.Language.IString,
                        Ivory.Language.Loop,
                        Ivory.Language.MemArea,
                        Ivory.Language.Module,
                        Ivory.Language.Pointer,
                        Ivory.Language.Proc,
                        Ivory.Language.Proxy,
                        Ivory.Language.Ptr,
                        Ivory.Language.Ref,
                        Ivory.Language.Scope,
                        Ivory.Language.Sint,
                        Ivory.Language.SizeOf,
                        Ivory.Language.String,
                        Ivory.Language.Struct,
                        Ivory.Language.Syntax.Concrete.Lexer,
                        Ivory.Language.Syntax.Concrete.Lexeme,
                        Ivory.Language.Syntax.Concrete.Location,
                        Ivory.Language.Syntax.Concrete.Parser,
                        Ivory.Language.Syntax.Concrete.ParseAST,
                        Ivory.Language.Syntax.Concrete.ParseCore,
                        Ivory.Language.Syntax.Concrete.Pretty,
                        Ivory.Language.Syntax.Concrete.QQ,
                        Ivory.Language.Syntax.Concrete.QQ.AreaQQ,
                        Ivory.Language.Syntax.Concrete.QQ.BindExp,
                        Ivory.Language.Syntax.Concrete.QQ.BitDataQQ,
                        Ivory.Language.Syntax.Concrete.QQ.Common,
                        Ivory.Language.Syntax.Concrete.QQ.CondQQ,
                        Ivory.Language.Syntax.Concrete.QQ.ExprQQ,
                        Ivory.Language.Syntax.Concrete.QQ.ProcQQ,
                        Ivory.Language.Syntax.Concrete.QQ.StmtQQ,
                        Ivory.Language.Syntax.Concrete.QQ.StructQQ,
                        Ivory.Language.Syntax.Concrete.QQ.TypeQQ,
                        Ivory.Language.Syntax,
                        Ivory.Language.Syntax.AST,
                        Ivory.Language.Syntax.Type,
                        Ivory.Language.Syntax.Names,
                        Ivory.Language.Type,
                        Ivory.Language.Uint
  build-tools:          alex, happy
  build-depends:        base >= 4.7 && < 5,
                        base-compat,
                        pretty >= 1.1,
                        containers >= 0.5,
                        monadLib >= 3.7,
                        template-haskell >= 2.8 && <2.13,
                        th-abstraction >=0.2.5 && <0.3,
                        filepath,
                        text,
                        dlist >= 0.5,
                        th-lift >= 0.5.5,
                        array
  hs-source-dirs:       src
  default-language:     Haskell2010

  ghc-options:          -Wall
  if impl(ghc == 8.0.1)
    ghc-options:        -Wno-redundant-constraints