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      mtl,
66      filepath,
67      binary,
68      directory,
69      optparse-applicative
70
71test-suite quebex-cli-test
72    import:           warnings
73    default-language: GHC2021
74    type:             exitcode-stdio-1.0
75    hs-source-dirs:   test
76    main-is:          Main.hs
77
78    other-modules:
79      KTest
80
81    build-depends:
82        base,
83        binary,
84        bytestring,
85        quebex-cli,
86        tasty        >=1.4.3,
87        tasty-hunit  >=0.10