liquidhaskell-0.2.0.0: liquidhaskell.cabal

Name:                liquidhaskell
Version:             0.2.0.0
Copyright:           2010-13 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:             GPL
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/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
          , syntax/liquid.css

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

Executable liquid
  default-language: Haskell98
  Build-Depends: base >= 4 && < 5
               , ghc>=7.8.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
               , syb
               , text
               , vector
               , liquid-fixpoint >= 0.2
               , hashable
               , unordered-containers
               , aeson
               , bytestring
               , fingertree
               , liquidhaskell

  Main-is: Liquid.hs
  --ghc-options: -O -W
  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
                , 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
                , unix
                , intern
                , vector
                , hashable
                , unordered-containers
                , liquid-fixpoint >= 0.2
                , aeson
                , bytestring
                , fingertree
 
   hs-source-dirs:  include, src
 
   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, 
                    Language.Haskell.Liquid.Measure, 
                    Language.Haskell.Liquid.Parse, 
                    Language.Haskell.Liquid.GhcInterface, 
                    Language.Haskell.Liquid.World, 
                    Language.Haskell.Liquid.RefType, 
                    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.GhcMisc, 
                    Language.Haskell.Liquid.Misc, 
                    Language.Haskell.Liquid.Qualifier, 
                    Language.Haskell.Liquid.TransformRec, 
                    Language.Haskell.Liquid.Tidy, 
                    Language.Haskell.Liquid.Types,
                    Language.Haskell.Liquid.Strata,
                    Language.Haskell.Liquid.Fresh,
                    Paths_liquidhaskell,

                    --NOTE: these need to be exposed so GHC generates .dyn_o files for them..
                    Language.Haskell.Liquid.Desugar.Desugar,
                    Language.Haskell.Liquid.Desugar.DsExpr,
                    Language.Haskell.Liquid.Desugar.Coverage,
                    Language.Haskell.Liquid.Desugar.Check,
                    Language.Haskell.Liquid.Desugar.DsForeign,
                    Language.Haskell.Liquid.Desugar.DsMeta,
                    Language.Haskell.Liquid.Desugar.DsListComp,
                    Language.Haskell.Liquid.Desugar.MatchCon,
                    Language.Haskell.Liquid.Desugar.MatchLit,
                    Language.Haskell.Liquid.Desugar.DsArrows,
                    Language.Haskell.Liquid.Desugar.DsUtils,
                    Language.Haskell.Liquid.Desugar.Match,
                    Language.Haskell.Liquid.Desugar.DsBinds,
                    Language.Haskell.Liquid.Desugar.DsGRHSs,
                    Language.Haskell.Liquid.Desugar.HscMain
   --ghc-options: -O -W
   ghc-prof-options: -fprof-auto
   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,
                     directory,
                     filepath,
                     process,
                     tagged,
                     unix,
                     liquidhaskell,
                     optparse-applicative < 0.10,
                     tasty >= 0.8,
                     tasty-hunit >= 0.8,
                     tasty-rerun >= 1.1