name:                     liquidhaskell-cabal-demo
version:                  0.1.0.0
synopsis:                 Demo of Liquid Haskell integration for Cabal and stack
description:              Please see the README on GitHub for more information.
homepage:                 https://github.com/spinda/liquidhaskell-cabal-demo#readme
bug-reports:              https://github.com/spinda/liquidhaskell-cabal-demo/issues
license:                  BSD3
license-file:             LICENSE
author:                   Michael Smith
maintainer:               Michael Smith <michael@spinda.net>
copyright:                2016 Michael Smith
category:                 Development
cabal-version:            >=1.10
build-type:               Custom

-- Unfortunately this won't work until Cabal 1.24 is released.
--
-- custom-setup
--   setup-depends:           base, Cabal, liquidhaskell-cabal

flag liquidhaskell
  description:             After building, verify with LiquidHaskell
  default:                 False

library
  exposed-modules:         A, B, C
  build-depends:           base >=4.8 && <5
                         , liquidhaskell-cabal >= 0.1 && < 0.2
  hs-source-dirs:          src
  default-language:        Haskell2010
  default-extensions:      TupleSections
  x-liquidhaskell-options: --diff --no-termination

executable ffi
  main-is:                 FFI.hs
  build-depends:           base >=4.8 && <5
                         , liquidhaskell-cabal >= 0.1 && < 0.2
  hs-source-dirs:          app
  default-language:        Haskell2010
  default-extensions:      ForeignFunctionInterface
  include-dirs:            include
  c-sources:               include/foo.c
  x-liquidhaskell-options: --diff

source-repository head
  type:                git
  location:            https://github.com/spinda/liquidhaskell-cabal-demo