agda-language-server.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.37.0.
--
-- see: https://github.com/sol/hpack

name:           agda-language-server
version:        0.2.7.0.1.4
synopsis:       An implementation of language server protocal (LSP) for Agda 2.
description:    Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
category:       Development
homepage:       https://github.com/banacorn/agda-language-server#readme
bug-reports:    https://github.com/banacorn/agda-language-server/issues
author:         Ting-Gian LUA
maintainer:     banacorn@gmail.com, Andreas Abel
copyright:      2020-23 Ting-Gian LUA, Andreas ABEL
license:        MIT
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    CHANGELOG.md
    package.yaml
    stack.yaml
    stack-9.2-Agda-2.6.3.yaml
    stack-9.2-Agda-2.6.4.3.yaml
    stack-9.2-Agda-2.7.0.1.yaml

source-repository head
  type: git
  location: https://github.com/banacorn/agda-language-server

flag Agda-2-6-3
  description: Embed Agda-2.6.3
  manual: True
  default: False

flag Agda-2-6-4-3
  description: Embed Agda-2.6.4.3
  manual: True
  default: False

flag Agda-2-7-0-1
  description: Embed Agda-2.7.0.1
  manual: True
  default: False

library
  exposed-modules:
      Agda
      Agda.Convert
      Agda.IR
      Agda.Parser
      Agda.Position
      Control.Concurrent.SizedChan
      Monad
      Options
      Render
      Render.Class
      Render.Common
      Render.Concrete
      Render.Interaction
      Render.Internal
      Render.Literal
      Render.Name
      Render.Position
      Render.RichText
      Render.TypeChecking
      Render.Utils
      Server
      Server.CommandController
      Server.Handler
      Server.ResponseController
      Switchboard
  other-modules:
      Paths_agda_language_server
  hs-source-dirs:
      src
  default-extensions:
      LambdaCase
      OverloadedStrings
      PatternSynonyms
      TypeOperators
  ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -Werror=incomplete-patterns -fno-warn-orphans
  build-depends:
      Agda
    , aeson
    , base >=4.7 && <5
    , bytestring
    , containers
    , directory
    , filepath
    , lsp >=2
    , lsp-types >=2
    , mtl
    , network
    , network-simple
    , prettyprinter
    , process
    , stm
    , strict
    , text
    , text-icu
  default-language: Haskell2010
  if flag(Agda-2-6-3)
    build-depends:
        Agda ==2.6.3
  if flag(Agda-2-6-4-3)
    build-depends:
        Agda ==2.6.4.3
  if flag(Agda-2-7-0-1)
    build-depends:
        Agda ==2.7.0.1

executable als
  main-is: Main.hs
  other-modules:
      Paths_agda_language_server
  hs-source-dirs:
      app
  default-extensions:
      LambdaCase
      OverloadedStrings
      PatternSynonyms
      TypeOperators
  ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -threaded -rtsopts -with-rtsopts=-N -Werror=incomplete-patterns -fno-warn-orphans
  build-depends:
      Agda
    , aeson
    , agda-language-server
    , base >=4.7 && <5
    , bytestring
    , containers
    , directory
    , filepath
    , lsp >=2
    , lsp-types >=2
    , mtl
    , network
    , network-simple
    , prettyprinter
    , process
    , stm
    , strict
    , text
    , text-icu
  default-language: Haskell2010
  if flag(Agda-2-6-3)
    build-depends:
        Agda ==2.6.3
  if flag(Agda-2-6-4-3)
    build-depends:
        Agda ==2.6.4.3
  if flag(Agda-2-7-0-1)
    build-depends:
        Agda ==2.7.0.1

test-suite als-test
  type: exitcode-stdio-1.0
  main-is: Test.hs
  other-modules:
      Test.LSP
      Test.SrcLoc
      Agda
      Agda.Convert
      Agda.IR
      Agda.Parser
      Agda.Position
      Control.Concurrent.SizedChan
      Monad
      Options
      Render
      Render.Class
      Render.Common
      Render.Concrete
      Render.Interaction
      Render.Internal
      Render.Literal
      Render.Name
      Render.Position
      Render.RichText
      Render.TypeChecking
      Render.Utils
      Server
      Server.CommandController
      Server.Handler
      Server.ResponseController
      Switchboard
      Paths_agda_language_server
  hs-source-dirs:
      test
      src
  default-extensions:
      LambdaCase
      OverloadedStrings
      PatternSynonyms
      TypeOperators
  ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -threaded -rtsopts -with-rtsopts=-N -Werror=incomplete-patterns -fno-warn-orphans
  build-depends:
      Agda
    , aeson
    , base >=4.7 && <5
    , bytestring
    , containers
    , directory
    , filepath
    , lsp >=2
    , lsp-test
    , lsp-types >=2
    , mtl
    , network
    , network-simple
    , prettyprinter
    , process
    , stm
    , strict
    , tasty
    , tasty-golden
    , tasty-hunit
    , tasty-quickcheck
    , text
    , text-icu
  default-language: Haskell2010
  if flag(Agda-2-6-3)
    build-depends:
        Agda ==2.6.3
  if flag(Agda-2-6-4-3)
    build-depends:
        Agda ==2.6.4.3
  if flag(Agda-2-7-0-1)
    build-depends:
        Agda ==2.7.0.1