xingli/xingli.cabal at main · xiaoshihou514/xingli · 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
cabal-version:   3.0
name:            xingli
version:         0.1.0.0
license:         GPL-3.0-only
license-file:    LICENSE
maintainer:      xiaoshihou@tutamail.com
author:          xiaoshihou
category:        Language
build-type:      Simple
extra-doc-files: README.md

common base
    default-language: GHC2024
    ghc-options:      -Wall
    build-depends:
        base >=4.13 && <5,
        containers

executable xingli
    import:           base
    main-is:          Main.hs
    hs-source-dirs:   app
    build-depends:
        optparse-applicative,
        xingli-lib

library xingli-lib
    import:           base
    hs-source-dirs:   src
    exposed-modules:
        Expr.LC
        Expr.LCN
        Expr.LCNR
        Expr.ML
        Types.CurryTypes
        Types.ML
        Parser.LC
        Parser.LCN
        Parser.LCNR
        Parser.ML
        Typeclasses

test-suite xingli-test
    import:           base
    type:             exitcode-stdio-1.0
    main-is:          Tests.hs
    hs-source-dirs:   test
    other-modules:
        TUtils,
        LCParserTest,
        LCNParserTest,
        LCNRParserTest,
        MLParserTest,
        LCTyperTest,
        LCNTyperTest,
        LCNRTyperTest,
        MLTyperTest
    build-depends:
        xingli-lib,
        tasty,
        tasty-hunit