-
Notifications
You must be signed in to change notification settings - Fork 0
/
package.yaml
55 lines (48 loc) · 1.05 KB
/
package.yaml
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
53
54
55
name: brick-dropdownmenu
version: 0.1.0
github: "mlang/brick-dropdownmenu"
license: BSD3
author: "Mario Lang"
maintainer: "mlang@blind.guru"
copyright: "2018 Mario Lang"
extra-source-files:
- ChangeLog.md
category: Graphics
synopsis: A drop-down menu widget for brick.
description: A simple drop-down menu widget for the declarative
text user interface library brick.
Each submenu and menu item can have an associated global key binding.
dependencies:
- base >= 4.7 && < 5
- brick >= 0.35 && < 0.42
- containers
- microlens
- microlens-ghc
- microlens-th
- pointedlist
- vector
- vty
flags:
demo:
description: Build the demo program
manual: yes
default: no
library:
source-dirs: src
executables:
brick-dropdownmenu-demo:
main: Demo.hs
source-dirs: app
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
dependencies:
- brick-dropdownmenu
- text
when:
- condition: flag(demo)
then:
buildable: yes
else:
buildable: no