semantic/semantic.cabal

name:                semantic
version:             0.3.0
synopsis:            Initial project template from stack
description:         Please see README.md
homepage:            http://github.com/github/semantic#readme
author:              Rob Rix, Josh Vera
maintainer:          rob.rix@github.com
copyright:           2016 GitHub
category:            Web
build-type:          Simple
-- extra-source-files:
cabal-version:       >=1.10

library
  hs-source-dirs:      src
  exposed-modules:
                     -- Analyses & term annotations
                       Analysis.Abstract.Caching
                     , Analysis.Abstract.Collecting
                     , Analysis.Abstract.Dead
                     , Analysis.Abstract.Evaluating
                     , Analysis.Abstract.Tracing
                     , Analysis.CallGraph
                     , Analysis.ConstructorName
                     , Analysis.CyclomaticComplexity
                     , Analysis.Decorator
                     , Analysis.Declaration
                     , Analysis.IdentifierName
                     , Analysis.ModuleDef
                     -- Semantic assignment
                     , Assigning.Assignment
                     , Assigning.Assignment.Table
                     -- Control structures & interfaces for abstract interpretation
                     , Control.Abstract.Addressable
                     , Control.Abstract.Analysis
                     , Control.Abstract.Evaluator
                     , Control.Abstract.Value
                     -- Control flow
                     , Control.Effect
                     -- Effects used for program analysis
                     , Control.Effect.Fresh
                     , Control.Effect.NonDet
                     -- Datatypes for abstract interpretation
                     , Data.Abstract.Address
                     , Data.Abstract.Cache
                     , Data.Abstract.Configuration
                     , Data.Abstract.Environment
                     , Data.Abstract.Evaluatable
                     , Data.Abstract.Exports
                     , Data.Abstract.FreeVariables
                     , Data.Abstract.Heap
                     , Data.Abstract.Live
                     , Data.Abstract.ModuleTable
                     , Data.Abstract.Number
                     , Data.Abstract.Path
                     , Data.Abstract.Type
                     , Data.Abstract.Value
                     -- General datatype definitions & generic algorithms
                     , Data.Algebra
                     , Data.Align.Generic
                     , Data.AST
                     , Data.Blob
                     , Data.Diff
                     , Data.Error
                     , Data.Functor.Both
                     , Data.Functor.Classes.Generic
                     , Data.JSON.Fields
                     , Data.Language
                     , Data.Map.Monoidal
                     , Data.Mergeable
                     , Data.Output
                     , Data.Patch
                     , Data.Range
                     , Data.Record
                     , Data.Semigroup.App
                     , Data.Source
                     , Data.Span
                     , Data.SplitDiff
                     -- À la carte syntax types
                     , Data.Syntax
                     , Data.Syntax.Comment
                     , Data.Syntax.Declaration
                     , Data.Syntax.Expression
                     , Data.Syntax.Literal
                     , Data.Syntax.Statement
                     , Data.Syntax.Type
                     , Data.Term
                     -- Diffing algorithms & interpretation thereof
                     , Diffing.Algorithm
                     , Diffing.Algorithm.RWS
                     , Diffing.Algorithm.RWS.FeatureVector
                     , Diffing.Algorithm.SES
                     , Diffing.Interpreter
                     -- Language-specific grammar/syntax types, & assignments
                     , Language.Markdown.Assignment
                     , Language.Markdown.Syntax
                     , Language.Go.Grammar
                     , Language.Go.Assignment
                     , Language.Go.Syntax
                     , Language.Go.Type
                     , Language.JSON.Grammar
                     , Language.JSON.Assignment
                     , Language.Ruby.Grammar
                     , Language.Ruby.Assignment
                     , Language.Ruby.Syntax
                     , Language.TypeScript.Assignment
                     , Language.TypeScript.Grammar
                     , Language.TypeScript.Syntax
                     , Language.PHP.Assignment
                     , Language.PHP.Grammar
                     , Language.PHP.Syntax
                     , Language.Python.Assignment
                     , Language.Python.Grammar
                     , Language.Python.Syntax
                     -- Parser glue
                     , Parsing.CMark
                     , Parsing.Parser
                     , Parsing.TreeSitter
                     , Paths_semantic
                     -- Rendering formats
                     , Rendering.DOT
                     , Rendering.Imports
                     , Rendering.JSON
                     , Rendering.Renderer
                     , Rendering.SExpression
                     , Rendering.Symbol
                     , Rendering.TOC
                     -- High-level flow & operational functionality (logging, stats, etc.)
                     , Semantic
                     , Semantic.CLI
                     , Semantic.IO
                     , Semantic.Log
                     , Semantic.Stat
                     , Semantic.Task
                     , Semantic.Queue
                     , Semantic.Util
                    -- Custom Prelude
  other-modules:       Prologue
  build-depends:       base >= 4.8 && < 5
                     , aeson
                     , algebraic-graphs
                     , ansi-terminal
                     , array
                     , async
                     , bifunctors
                     , bytestring
                     , cmark-gfm
                     , containers
                     , directory
                     , effects
                     , filepath
                     , free
                     , freer-cofreer
                     , ghc-prim
                     , gitrev
                     , Glob
                     , hashable
                     , kdt
                     , mersenne-random-pure64
                     , mtl
                     , network
                     , network-uri
                     , optparse-applicative
                     , parallel
                     , parsers
                     , recursion-schemes
                     , reducers
                     , scientific
                     , semigroupoids
                     , split
                     , stm-chans
                     , template-haskell
                     , text >= 1.2.1.3
                     , these
                     , time
                     , unix
                     , haskell-tree-sitter
                     , tree-sitter-go
                     , tree-sitter-json
                     , tree-sitter-php
                     , tree-sitter-python
                     , tree-sitter-ruby
                     , tree-sitter-typescript
  default-language:    Haskell2010
  default-extensions:  DataKinds
                     , DeriveFoldable
                     , DeriveFunctor
                     , DeriveGeneric
                     , DeriveTraversable
                     , FlexibleContexts
                     , FlexibleInstances
                     , MultiParamTypeClasses
                     , OverloadedStrings
                     , RecordWildCards
                     , StandaloneDeriving
                     , StrictData
  ghc-options:         -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -fno-warn-name-shadowing -O -j
  ghc-prof-options:    -fprof-auto

executable semantic
  hs-source-dirs:      app
  main-is:             Main.hs
  ghc-options:         -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m" -static -j -O
  cc-options:          -DU_STATIC_IMPLEMENTATION=1
  cpp-options:         -DU_STATIC_IMPLEMENTATION=1
  build-depends:       base
                     , semantic
  default-language:    Haskell2010
  default-extensions:  FlexibleInstances, OverloadedStrings, RecordWildCards

test-suite test
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Spec.hs
  other-modules:       Assigning.Assignment.Spec
                     , Analysis.Go.Spec
                     , Analysis.PHP.Spec
                     , Analysis.Python.Spec
                     , Analysis.Ruby.Spec
                     , Analysis.TypeScript.Spec
                     , Data.Diff.Spec
                     , Data.Functor.Classes.Generic.Spec
                     , Data.Functor.Listable
                     , Data.Mergeable.Spec
                     , Data.Source.Spec
                     , Data.Term.Spec
                     , Diffing.Algorithm.RWS.Spec
                     , Diffing.Algorithm.SES.Spec
                     , Diffing.Interpreter.Spec
                     , Integration.Spec
                     , Rendering.Imports.Spec
                     , Rendering.TOC.Spec
                     , Semantic.Spec
                     , Semantic.CLI.Spec
                     , Semantic.IO.Spec
                     , Semantic.Stat.Spec
                     , SpecHelpers
                     , Test.Hspec.LeanCheck
  build-depends:       aeson
                     , array
                     , base
                     , bifunctors
                     , bytestring
                     , comonad
                     , effects
                     , filepath
                     , free
                     , Glob
                     , haskell-tree-sitter
                     , hspec >= 2.4.1
                     , hspec-core
                     , hspec-expectations-pretty-diff
                     , HUnit
                     , leancheck
                     , mtl
                     , network
                     , containers
                     , recursion-schemes >= 4.1
                     , semantic
                     , text >= 1.2.1.3
                     , these
  ghc-options:       -threaded -rtsopts -with-rtsopts=-N -j
  default-language:    Haskell2010
  default-extensions:  DataKinds
                     , DeriveFunctor
                     , DeriveGeneric
                     , FlexibleContexts
                     , FlexibleInstances
                     , MultiParamTypeClasses
                     , OverloadedStrings
                     , RecordWildCards
                     , StandaloneDeriving

test-suite doctests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Doctests.hs
  default-language:    Haskell2010
  ghc-options:         -dynamic -threaded -j
  build-depends:       base
                     , doctest
                     , QuickCheck

benchmark evaluation
  hs-source-dirs: bench
  type:           exitcode-stdio-1.0
  main-is:        Main.hs
  ghc-options:    -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m -T" -static -j -O
  cc-options:     -DU_STATIC_IMPLEMENTATION=1
  cpp-options:    -DU_STATIC_IMPLEMENTATION=1
  default-language: Haskell2010
  build-depends:  base
                , criterion
                , semantic


source-repository head
  type:     git
  location: https://github.com/github/semantic