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
23
24executable quebex-cli
25    import:               warnings, opts
26    main-is:              Main.hs
27    hs-source-dirs:       app
28    default-language:     GHC2021
29    build-depends:
30      base,
31      quebex,
32      quebex-symex,
33      quebex-syntax,
34      parsec,
35      directory,
36      optparse-applicative >=0.17.0.0
37