Name:                liquidhaskell
Version:             0.5.0.1
x-revision: 2
Copyright:           2010-15 Ranjit Jhala, University of California, San Diego.
build-type:          Simple
Synopsis:            Liquid Types for Haskell 
Description:         Liquid Types for Haskell.
Homepage:            http://goto.ucsd.edu/liquidhaskell
License:             BSD3
License-file:        LICENSE
Author:              Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer:          Ranjit Jhala <jhala@cs.ucsd.edu>
Category:            Language
Build-Type:          Simple
Cabal-version:       >=1.18

data-files: include/*.hquals
          , include/*.hs
          , include/*.spec
          , include/CoreToLogic.lg
          , include/Control/*.spec
          , include/Data/*.hquals
          , include/Data/*.spec
          , include/Data/Text/*.spec
          , include/Data/Text/Fusion/*.spec
          , include/Data/Text/Lazy/*.spec
          , include/Foreign/*.spec
          , include/Foreign/C/*.spec
          , include/Foreign/Marshal/*.spec
          , include/GHC/*.hquals
          , include/GHC/*.spec
          , include/GHC/IO/*.spec
          , include/Language/Haskell/Liquid/*.hs
          , include/Language/Haskell/Liquid/*.pred
          , include/System/*.spec
          , include/708/Control/*.spec
          , include/710/Data/*.spec
          , syntax/liquid.css

extra-source-files: tests/pos/*.hs
                  , tests/neg/*.hs
                  , tests/crash/*.hs
                  , tests/pos/*.hquals
                  , tests/ffi-include/foo.c
                  , tests/ffi-include/foo.h

Source-Repository head
  Type:        git
  Location:    https://github.com/ucsd-progsys/liquidhaskell/

Flag include
  Description: use in-tree include directory
  Default:     False

Executable liquid
  default-language: Haskell98
  Build-Depends: base >= 4 && < 5
               , ghc
               , ansi-terminal
               , template-haskell
               , time
               , array
               , hpc
               , bifunctors
               , cmdargs
               , containers
               , cpphs
               , data-default
               , deepseq
               , directory
               , Diff
               , filemanip
               , filepath
               , ghc-paths
               , hscolour
               , mtl
               , parsec
               , pretty
               , process
               , syb
               , text
               , vector
               , liquid-fixpoint
               , hashable
               , unordered-containers
               , aeson
               , bytestring
               , fingertree
               , liquidhaskell

  Main-is: Liquid.hs
  ghc-options: -W  -fno-warn-unused-imports -fno-warn-dodgy-imports -fno-warn-deprecated-flags -fno-warn-deprecations
  Default-Extensions: PatternGuards

-- Executable liquid-count-binders
--   Build-Depends: base >= 4 && < 5
--                , ghc==7.6.3
--                , ansi-terminal
--                , bifunctors
--                , cmdargs
--                , containers
--                , cpphs
--                , deepseq
--                , directory
--                , Diff
--                , filemanip
--                , filepath
--                , ghc-paths
--                , hscolour
--                , mtl
--                , parsec
--                , pretty
--                , process
--                , syb
--                , text
--                , vector
--                , liquid-fixpoint
--                , hashable
--                , unordered-containers
--                , aeson
--                , bytestring
--                , fingertree
--                , liquidhaskell
--                
--   Main-is: CountBinders.hs
--   --ghc-options: -O -W
--   Extensions: PatternGuards


Library
   Default-Language: Haskell98
   Build-Depends: base
                , ghc == 7.8.3 || == 7.8.4 || == 7.10.2 || == 7.10.3
                , ansi-terminal
                , template-haskell
                , time
                , array
                , hpc
                , bifunctors
                , cmdargs
                , containers
                , cpphs
                , data-default
                , deepseq
                , directory
                , Diff
                , filemanip
                , filepath
                , ghc-paths
                , hscolour
                , mtl
                , parsec
                , pretty
                , process >= 1.2
                , syb
                , text
                , intern
                , vector
                , hashable
                , unordered-containers
                , liquid-fixpoint >= 0.4 && < 0.5
                , aeson
                , bytestring
                , fingertree
                , Cabal >= 1.18
 
   hs-source-dirs:  src, include
 
   Exposed-Modules: Language.Haskell.Liquid.Prelude,
                    Language.Haskell.Liquid.Foreign, 
                    Language.Haskell.Liquid.List, 
                    Language.Haskell.Liquid.PrettyPrint, 
                    Language.Haskell.Liquid.Bare,
                    Language.Haskell.Liquid.Constraint.Constraint, 
                    Language.Haskell.Liquid.Constraint.Types, 
                    Language.Haskell.Liquid.Constraint.Generate, 
                    Language.Haskell.Liquid.Constraint.ToFixpoint, 
                    Language.Haskell.Liquid.Measure, 
                    Language.Haskell.Liquid.Parse, 
                    Language.Haskell.Liquid.GhcInterface, 
                    Language.Haskell.Liquid.World, 
                    Language.Haskell.Liquid.RefType, 
                    Language.Haskell.Liquid.RefSplit, 
                    Language.Haskell.Liquid.Errors, 
                    Language.Haskell.Liquid.PredType, 
                    Language.Haskell.Liquid.ACSS, 
                    Language.Haskell.Liquid.DiffCheck, 
                    Language.Haskell.Liquid.ANFTransform, 
                    Language.Haskell.Liquid.Annotate, 
                    Language.Haskell.Liquid.CTags,
                    Language.Haskell.Liquid.CmdLine, 
                    Language.Haskell.Liquid.Cabal, 
                    Language.Haskell.Liquid.GhcMisc, 
                    Language.Haskell.Liquid.GhcPlay, 
                    Language.Haskell.Liquid.Misc, 
                    Language.Haskell.Liquid.CoreToLogic,
                    Language.Haskell.Liquid.Variance,
                    Language.Haskell.Liquid.Bounds,
                    Language.Haskell.Liquid.Dictionaries,
                    Language.Haskell.Liquid.Qualifier, 
                    Language.Haskell.Liquid.TransformRec, 
                    Language.Haskell.Liquid.Tidy, 
                    Language.Haskell.Liquid.Types,
                    Language.Haskell.Liquid.Simplify,
                    Language.Haskell.Liquid.Literals,
                    Language.Haskell.Liquid.Strata,
                    Language.Haskell.Liquid.Fresh,
                    Language.Haskell.Liquid.Visitors,
                    Language.Haskell.Liquid.WiredIn,
                    Language.Haskell.Liquid.Names,
                    Paths_liquidhaskell,

                    -- FIXME: These shouldn't really be exposed, but the linker complains otherwise...
                    Language.Haskell.Liquid.Bare.RefToLogic
                    Language.Haskell.Liquid.Bare.Check
                    Language.Haskell.Liquid.Bare.DataType
                    Language.Haskell.Liquid.Bare.Env
                    Language.Haskell.Liquid.Bare.Expand
                    Language.Haskell.Liquid.Bare.Existential
                    Language.Haskell.Liquid.Bare.GhcSpec
                    Language.Haskell.Liquid.Bare.Lookup
                    Language.Haskell.Liquid.Bare.Measure
                    Language.Haskell.Liquid.Bare.Misc
                    Language.Haskell.Liquid.Bare.OfType
                    Language.Haskell.Liquid.Bare.Plugged
                    Language.Haskell.Liquid.Bare.Resolve
                    Language.Haskell.Liquid.Bare.RTEnv
                    Language.Haskell.Liquid.Bare.SymSort
                    Language.Haskell.Liquid.Bare.Spec

   if impl(ghc < 7.10)
     exposed-modules:
                    --NOTE: these need to be exposed so GHC generates .dyn_o files for them..
                    Language.Haskell.Liquid.Desugar.Check,
                    Language.Haskell.Liquid.Desugar.Coverage,
                    Language.Haskell.Liquid.Desugar.Desugar,
                    Language.Haskell.Liquid.Desugar.DsArrows,
                    Language.Haskell.Liquid.Desugar.DsBinds,
                    Language.Haskell.Liquid.Desugar.DsExpr,
                    Language.Haskell.Liquid.Desugar.DsForeign,
                    Language.Haskell.Liquid.Desugar.DsGRHSs,
                    Language.Haskell.Liquid.Desugar.DsListComp,
                    Language.Haskell.Liquid.Desugar.DsMeta,
                    Language.Haskell.Liquid.Desugar.DsUtils,
                    Language.Haskell.Liquid.Desugar.HscMain,
                    Language.Haskell.Liquid.Desugar.Match,
                    Language.Haskell.Liquid.Desugar.MatchCon,
                    Language.Haskell.Liquid.Desugar.MatchLit
   else
     exposed-modules:
                    --NOTE: these need to be exposed so GHC generates .dyn_o files for them..
                    Language.Haskell.Liquid.Desugar710.Check,
                    Language.Haskell.Liquid.Desugar710.Coverage,
                    Language.Haskell.Liquid.Desugar710.Desugar,
                    Language.Haskell.Liquid.Desugar710.DsArrows,
                    Language.Haskell.Liquid.Desugar710.DsBinds,
                    Language.Haskell.Liquid.Desugar710.DsCCall,
                    Language.Haskell.Liquid.Desugar710.DsExpr,
                    Language.Haskell.Liquid.Desugar710.DsForeign,
                    Language.Haskell.Liquid.Desugar710.DsGRHSs,
                    Language.Haskell.Liquid.Desugar710.DsListComp,
                    Language.Haskell.Liquid.Desugar710.DsMeta,
                    Language.Haskell.Liquid.Desugar710.DsUtils,
                    Language.Haskell.Liquid.Desugar710.HscMain,
                    Language.Haskell.Liquid.Desugar710.Match,
                    Language.Haskell.Liquid.Desugar710.MatchCon,
                    Language.Haskell.Liquid.Desugar710.MatchLit
   ghc-options: -W -fno-warn-unused-imports -fno-warn-dodgy-imports -fno-warn-deprecated-flags -fno-warn-deprecations
   if flag(include)
     hs-source-dirs: devel
   Default-Extensions: PatternGuards

test-suite test
  default-language: Haskell98
  type:              exitcode-stdio-1.0
  hs-source-dirs:    tests
  ghc-options:       -O2 -threaded
  main-is:           test.hs
  build-depends:     base,
                     liquidhaskell,
                     containers,
                     directory,
                     filepath,
                     mtl,
                     process,
                     optparse-applicative == 0.11.*,
                     stm,
                     tagged,
                     tasty >= 0.10,
                     tasty-hunit >= 0.9,
                     tasty-rerun >= 1.1,
                     transformers