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

name:                ivory-backend-c
version:             0.1.0.3
x-revision: 2
author:              Galois, Inc.
maintainer:          leepike@galois.com
category:            Language
synopsis:            Ivory C backend.
description:         Ivory compiler, to a subset of C99.
homepage:            http://smaccmpilot.org/languages/ivory-introduction.html
build-type:          Simple
cabal-version:       >= 1.10
data-files:             runtime/ivory.h,
                        runtime/ivory_templates.h,
                        runtime/ivory_asserts.h
license:             BSD3
license-file:        LICENSE
source-repository    this
  type:     git
  location: https://github.com/GaloisInc/ivory
  tag:      hackage-backend-0103

library
  exposed-modules:      Ivory.Compile.C,
                        Ivory.Compile.C.Gen,
                        Ivory.Compile.C.Modules,
                        Ivory.Compile.C.Prop,
                        Ivory.Compile.C.Types,
                        Ivory.Compile.C.CmdlineFrontend,
                        Ivory.Compile.C.CmdlineFrontend.Options
  other-modules:        Paths_ivory_backend_c

  build-depends:        base >= 4.6 && < 5,
                        base-compat,
                        language-c-quote >= 0.10.0,
                        srcloc,
                        mainland-pretty >= 0.2.5 && <0.6,
                        monadLib >= 3.7,
                        template-haskell >= 2.8,
                        bytestring >= 0.10,
                        directory,
                        filepath,
                        process,
                        containers,
                        ivory == 0.1.0.3,
                        ivory-opts == 0.1.0.3,
                        ivory-artifact == 0.1.0.3
  hs-source-dirs:       src
  default-language:     Haskell2010

  ghc-options:          -Wall