quebex

A software analysis framework built around the QBE intermediate language

git clone https://git.8pit.net/quebex.git

 1cabal-version:      3.4
 2name:               quebex-cli
 3version:            0.1.0.0
 4-- synopsis:
 5-- description:
 6license:            GPL-3.0-only
 7-- license-file:
 8author:             Sören Tempel
 9maintainer:         soeren+git@soeren-tempel.net
10-- copyright:
11category:           Language
12build-type:         Simple
13-- extra-doc-files:
14-- extra-source-files:
15
16common warnings
17    -- -Wall-missed-specializations can be useful too
18    ghc-options: -Wall
19
20common opts
21    ghc-options: -fspecialise-aggressively
22
23library
24    import:           warnings, opts
25    hs-source-dirs:   src
26    default-language: GHC2021
27
28    build-depends:
29      base,
30      binary,
31      bytestring,
32      containers,
33      quebex,
34      quebex-symex,
35      quebex-syntax,
36      optparse-applicative >=0.17.0.0
37
38    exposed-modules:
39      Data.KTest,
40      Language.QBE.CmdLine
41
42executable quebex
43    import:               warnings, opts
44    main-is:              Main.hs
45    hs-source-dirs:       app/quebex
46    default-language:     GHC2021
47    build-depends:
48      base,
49      quebex,
50      quebex-cli,
51      quebex-syntax,
52      optparse-applicative
53
54executable quebex-symex
55    import:               warnings, opts
56    main-is:              Main.hs
57    hs-source-dirs:       app/quebex-symex
58    default-language:     GHC2021
59    build-depends:
60      base,
61      quebex,
62      quebex-cli,
63      quebex-symex,
64      quebex-syntax,
65      filepath,
66      binary,
67      directory,
68      optparse-applicative
69
70test-suite quebex-cli-test
71    import:           warnings
72    default-language: GHC2021
73    type:             exitcode-stdio-1.0
74    hs-source-dirs:   test
75    main-is:          Main.hs
76
77    other-modules:
78      KTest
79
80    build-depends:
81        base,
82        binary,
83        bytestring,
84        quebex-cli,
85        tasty        >=1.4.3,
86        tasty-hunit  >=0.10