name: liquidhaskell-cabal-demo version: 0.1.1.0 synopsis: Demo of Liquid Haskell integration for Cabal and stack description: Please see the 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 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.1 && < 0.2 hs-source-dirs: src default-language: Haskell2010 default-extensions: TupleSections ghc-options: -rtsopts -with-rtsopts=-N -Wall x-liquidhaskell-options: --diff --no-termination executable ffi main-is: FFI.hs build-depends: base >=4.8 && <5 , liquidhaskell-cabal >= 0.1.1 && < 0.2 hs-source-dirs: app default-language: Haskell2010 default-extensions: ForeignFunctionInterface include-dirs: include c-sources: include/foo.c ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall x-liquidhaskell-options: --diff source-repository head type: git location: https://github.com/spinda/liquidhaskell-cabal-demo