-
Notifications
You must be signed in to change notification settings - Fork 0
/
ParametricLambda.cabal
52 lines (48 loc) · 1.39 KB
/
ParametricLambda.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
name: ParametricLambda
version: 0.0.2
description: Parametric Lambda Calculus
author: Yun-Yan Chi
maintainer: jaiyalas@gmail.com
License: MIT
build-type: Simple
cabal-version: >= 1.12
Flag ui
Description: Build interactive ui
Default: False
--
Flag lib-only
Description: Build library only
Default: False
library
default-language: Haskell2010
hs-source-dirs: src
exposed-modules:
BrickUI.MyBrick
Lambda.Text.Universal
build-depends: base >= 4 && < 5
, brick >= 0.2
, lens >= 4.13
, vty >= 5.3.1
, containers >= 0.5.6
ghc-options: -threaded -O2
executable demo
if flag(lib-only)
Buildable: False
default-language: Haskell2010
hs-source-dirs: src
main-is: Demo.hs
ghc-options: -threaded -O2
build-depends: base >= 4 && < 5
, containers >= 0.5.6
executable ui
if !flag(ui) || flag(lib-only)
Buildable: False
default-language: Haskell2010
hs-source-dirs: src
main-is: ParametricLambda.hs
ghc-options: -threaded -O2
build-depends: base >= 4 && < 5
, brick >= 0.2
, lens >= 4.13
, vty >= 5.3.1
, containers >= 0.5.6