cabal-version:  3.0

name:           intensional-datatys
version:        0.2.0.0
synopsis:       A GHC Core plugin for intensional datatype refinement checking
description:    Please see the README on GitHub at <https://github.com/bristolpl/intensional-datatys#readme>
homepage:       https://github.com/bristolpl/intensional-datatys#readme
bug-reports:    https://github.com/bristolpl/intensional-datatys/issues
category:       Language
author:         Eddie Jones, Steven Ramsay
maintainer:     ej16147@bristol.ac.uk, steven.ramsay@bristol.ac.uk
copyright:      2019 Eddie Jones, Steven Ramsay
license:        BSD-3-Clause
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md

source-repository head
  type: git
  location: https://github.com/bristolpl/intensional-datatys

flag bbenchmarks
    description: Build the benchmark management script
    default: False
    manual: True

library
  exposed-modules:
      Intensional
  other-modules:
      Intensional.Types
      Intensional.Constructors
      Intensional.Constraints
      Intensional.Guard
      Intensional.Scheme
      Intensional.InferM
      Intensional.FromCore
      Intensional.InferCoreExpr
      Intensional.Ubiq
  hs-source-dirs:
      src
  cpp-options:
  -- -DDEBUG
  ghc-options:
      -Wall
      -Wcompat
      -Wincomplete-record-updates
      -Wincomplete-uni-patterns
      -Wredundant-constraints
      -Wnoncanonical-monad-instances
  build-depends:
        base >=4 && <5
      , ghc >=8.6.0 && <=8.8.4
      , extra ==1.7.4
      , containers ==0.6.2.1
      , unordered-containers ==0.2.11.0
      , mtl ==2.2.2
      , hashable ==1.3.0.0
      , aeson ==1.5.2.0
      , directory ==1.3.6.0
      , filepath ==1.4.2.1
      , haskeline ==0.7.5.0
  default-language: Haskell2010

test-suite test
  type: exitcode-stdio-1.0
  main-is: PaperExamples.hs
  hs-source-dirs:
      test
  ghc-options: 
      -g 
      -fno-pre-inlining 
      -funfolding-use-threshold=0 
      -fno-ignore-interface-pragmas 
      -fno-omit-interface-pragmas
      -fplugin Intensional
  build-depends:
      base >=4 && <5
    , intensional-datatys
  default-language: Haskell2010

-- A library intended to be used from GHCI
-- to manage benchmarks for the associated paper
library benchmark
  if flag(bbenchmarks)
    buildable:True
  else
    buildable:False
  exposed-modules:
      Benchmark
  build-depends:
      base >=4
    , aeson ==1.5.2.0
    , containers ==0.6.2.1
    , intensional-datatys
    , filepath ==1.4.2.1
    , directory ==1.3.6.0
  hs-source-dirs:
      benchmark
  default-language: Haskell2010

-- Requires ghc 8.8
-- Needs manual tailoring to your
-- particular system, so disabled by
-- default.
executable profile
  ghc-options:
  buildable: False
  build-depends:
      base >=4 && <5
    , ghc  >= 8.8
    , filepath ==1.4.2.1
    , directory ==1.3.6.0
    , intensional-datatys
  hs-source-dirs:
      profile
  main-is: Profile.hs
  default-language: Haskell2010