Permalink
Fetching contributors…
Cannot retrieve contributors at this time
105 lines (101 sloc) 4.67 KB
-- Initial ivory.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: ivory
version: 0.1.0.8
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.14,
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
if impl(ghc < 8)
build-depends: semigroups