quebex - quebex-symex.cabal

 1cabal-version:      3.4
 2name:               quebex-symex
 3version:            0.1.0.0
 4-- synopsis:
 5-- description:
 6license:            GPL-3.0-only AND MIT
 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    ghc-options: -Wall
18
19library
20    import:           warnings
21    -- other-modules:
22    hs-source-dirs:   src
23    default-language: GHC2021
24
25    build-depends:
26      base,
27      mtl,
28      containers,
29      random,
30      quebex,
31      quebex-syntax,
32      simple-smt
33
34    exposed-modules:
35      Language.QBE.Backend,
36      Language.QBE.Backend.Model,
37      Language.QBE.Backend.Store,
38      Language.QBE.Backend.ExecTree,
39      Language.QBE.Backend.DFS,
40      Language.QBE.Backend.Tracer,
41      Language.QBE.Simulator.Explorer,
42      Language.QBE.Simulator.Symbolic.Expression,
43      Language.QBE.Simulator.Concolic.State,
44      Language.QBE.Simulator.Concolic.Expression
45
46test-suite quebex-symex-test
47    import:           warnings
48    default-language: GHC2021
49    type:             exitcode-stdio-1.0
50    hs-source-dirs:   test
51    main-is:          Main.hs
52
53    other-modules:
54      Util,
55      Golden,
56      Backend,
57      Explorer,
58      Symbolic,
59      Concolic,
60
61    build-depends:
62        base,
63        filepath,
64        containers,
65        quebex,
66        quebex-syntax,
67        quebex-symex,
68        simple-smt,
69        tasty        >=1.4.3,
70        tasty-hunit  >=0.10,
71        tasty-golden >=2.3.5