lambda-ski/lambda-ski.cabal at master · quchen/lambda-ski · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
name:                lambda-ski
version:             0
synopsis:            Quchen's Stack template
description:         See README.md
homepage:            https://github.com/quchen/lambda-ski#readme
license:             BSD3
license-file:        LICENSE.md
author:              David »quchen« Luposchainsky <dluposchainsky+lambda-ski (λ) gmail>
maintainer:          David »quchen« Luposchainsky <dluposchainsky+lambda-ski (λ) gmail>
copyright:           David »quchen« Luposchainsky <dluposchainsky+lambda-ski (λ) gmail>
category:            Web
build-type:          Simple
-- extra-source-files:
cabal-version:       >=1.10

library
    build-depends:
          base >= 4.7 && < 5
        , containers
        , megaparsec
        , mtl
        , prettyprinter
        , prettyprinter-ansi-terminal
        , text
        , transformers
        , template-haskell
        , th-lift
    hs-source-dirs:      src
    exposed-modules:     Convert
                       , DeBruijn
                       , Nominal
                       , Orphans
                       , Ski
                       , ExamplePrograms
                       , Marshal
                       , QuasiQuoter
    default-language:    Haskell2010
    ghc-options:         -Wall

executable repl
    build-depends:
          base
        , lambda-ski
        , haskeline
        , prettyprinter
        , prettyprinter-ansi-terminal
        , text
    hs-source-dirs:      app
    main-is:             Repl.hs
    ghc-options:         -threaded -rtsopts -with-rtsopts=-N -Wall
    default-language:    Haskell2010

executable hello-ski
    build-depends:
          base
        , lambda-ski
        , containers
        , prettyprinter
        , text
    hs-source-dirs:      app
    main-is:             HelloSki.hs
    ghc-options:         -threaded -rtsopts -with-rtsopts=-N -Wall
    default-language:    Haskell2010

test-suite lambda-ski-test
    build-depends:
          base
        , lambda-ski
        , containers
        , HUnit
        , tasty
        , tasty-hunit
        , tasty-quickcheck
        , text
    ghc-options:         -threaded -rtsopts -with-rtsopts=-N -Wall
    type:                exitcode-stdio-1.0
    hs-source-dirs:      test
    main-is:             Test.hs
    default-language:    Haskell2010

source-repository head
  type:     git
  location: https://github.com/quchen/lambda-ski