lh-plugin-demo-client.cabal

cabal-version: 1.12

name:           lh-plugin-demo-client
version:        0.1.0.0
description:    This toy package demonstrates the use of LH as a plugin.
homepage:
bug-reports:
author:         Ranjit Jhala 
maintainer:     jhala@cs.ucsd.edu
copyright:      2020 Ranjit Jhala 
license:        MIT 
license-file:   LICENSE
build-type:     Simple

library
  exposed-modules:
      Demo.ExternalClient
  hs-source-dirs:
      src
  build-depends:
      liquid-base,
      liquidhaskell,
      lh-plugin-demo
  default-language: Haskell2010
  ghc-options: -fplugin=LiquidHaskell