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      quebex,
31      quebex-syntax,
32      optparse-applicative >=0.17.0.0
33
34    exposed-modules:
35      Language.QBE.CmdLine
36
37executable quebex
38    import:               warnings, opts
39    main-is:              Main.hs
40    hs-source-dirs:       app/quebex
41    default-language:     GHC2021
42    build-depends:
43      base,
44      quebex,
45      quebex-cli,
46      quebex-syntax,
47      optparse-applicative
48
49executable quebex-symex
50    import:               warnings, opts
51    main-is:              Main.hs
52    hs-source-dirs:       app/quebex-symex
53    default-language:     GHC2021
54    build-depends:
55      base,
56      quebex,
57      quebex-cli,
58      quebex-symex,
59      quebex-syntax,
60      optparse-applicative