language-xats.cabal

cabal-version: 1.18
name: language-xats
version: 0.1.0.0
license: BSD3
license-file: LICENSE
copyright: Copyright: (c) 2018-2019 Vanessa McHale
maintainer: vanessa.mchale@iohk.io
author: Vanessa McHale
synopsis: Language library for ATS3 Xanadu
description:
    Lexer, parser, and pretty-printer for the ATS3 language
category: Language, XATS
build-type: Simple
extra-source-files:
    cabal.project
extra-doc-files: README.md
                 CHANGELOG.md

source-repository head
    type: git
    location: https://github.com/vmchale/language-xats

flag development
    description:
        Enable `-Werror`
    default: False
    manual: True

library
    exposed-modules:
        Language.XATS
    build-tools: alex -any, happy >=1.17.1
    hs-source-dirs: src
    other-modules:
        Language.XATS.Type
        Language.XATS.Parser
        Language.XATS.Lexer
        Language.XATS.Type.Lexer
        Language.XATS.Type.SymEnv
        Language.XATS.Type.Common
        Language.XATS.Type.Syntax
        Language.XATS.Type.Syntax.Static
        Language.XATS.Rewrite
        Language.XATS.Dependency
    default-language: Haskell2010
    other-extensions: OverloadedStrings StandaloneDeriving
                      DeriveGeneric DeriveAnyClass
    ghc-options: -Wall -O2
    build-depends:
        base >=4.3 && <5,
        bytestring -any,
        array -any,
        mtl -any,
        transformers -any,
        prettyprinter -any,
        deepseq -any,
        containers >=0.6,
        directory -any,
        filepath -any,
        text -any

    if !impl(ghc >=8.0)
        build-depends:
            semigroups -any

    if flag(development)
        ghc-options: -Werror

    if impl(ghc >=8.0)
        ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates
                     -Wredundant-constraints -Widentities

    if impl(ghc >=8.4)
        ghc-options: -Wmissing-export-lists

test-suite language-xats-test
    type: exitcode-stdio-1.0
    main-is: Spec.hs
    hs-source-dirs: test
    default-language: Haskell2010
    other-extensions: OverloadedStrings
    ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
    build-depends:
        base -any,
        language-xats -any,
        hspec -any

    if flag(development)
        ghc-options: -Werror

    if impl(ghc >=8.0)
        ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates
                     -Wredundant-constraints -Widentities

    if impl(ghc >=8.4)
        ghc-options: -Wmissing-export-lists

benchmark language-xats-bench
    type: exitcode-stdio-1.0
    main-is: Bench.hs
    hs-source-dirs: bench
    default-language: Haskell2010
    other-extensions: OverloadedStrings
    ghc-options: -Wall
    build-depends:
        base -any,
        language-xats -any,
        criterion -any,
        bytestring -any

    if flag(development)
        ghc-options: -Werror

    if impl(ghc >=8.0)
        ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates
                     -Wredundant-constraints -Widentities

    if impl(ghc >=8.4)
        ghc-options: -Wmissing-export-lists